Ontology-Controlled Geometric Solver

Kurbatov, Sergey S.; Fominykh, Igor; Vorobyev, Aleksandr B.

doi:10.1007/978-3-030-59535-7_19

Cited by 5 publications

(2 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In mathematics, multiple problem-solving strategies have been developed that combine ontologies with reasoning: MathGraph 21 is an equation-based system that focuses on analytical problems, but there are also systems for solving discrete problems 22,23 and geometric problems. 24 In the latter, the solution and its development are represented graphically. Combining ontologies and reasoning has the advantage of obtaining explainable solutions.…”

Section: ■ Making Knowledge Actionablementioning

confidence: 99%

KnowTD─An Actionable Knowledge Representation System for Thermodynamics

Vollmer,

Fellenz,

Jirasek

et al. 2024

J. Chem. Inf. Model.

View full text Add to dashboard Cite

We demonstrate that thermodynamic knowledge acquired by humans can be transferred to computers so that the machine can use it to solve thermodynamic problems and produce explainable solutions with a guarantee of correctness. The actionable knowledge representation system that we have created for this purpose is called KnowTD. It is based on an ontology of thermodynamics that represents knowledge of thermodynamic theory, material properties, and thermodynamic problems. The ontology is coupled with a reasoner that sets up the problem to be solved based on user input, extracts the correct, pertinent equations from the ontology, solves the resulting mathematical problem, and returns the solution to the user, together with an explanation of how it was obtained. KnowTD is presently limited to simple thermodynamic problems, similar to those discussed in an introductory course in Engineering Thermodynamics. This covers the basic theory and working principles of thermodynamics. KnowTD is designed in a modular way and is easily extendable.

show abstract

Section: ■ Making Knowledge Actionablementioning

confidence: 99%

KnowTD─An Actionable Knowledge Representation System for Thermodynamics

Vollmer,

Fellenz,

Jirasek

et al. 2024

J. Chem. Inf. Model.

View full text Add to dashboard Cite

show abstract

“…The concept of an integrated system including a natural language interface, a heuristically oriented solver and conceptual visualization is described in (Kurbatov and Vorobyev, 2016;Kurbatov et al, 2018;Kurbatov et al, 2019). The system assumes a qualitatively new level of integration, the mechanisms of the system provide the integration "by knowledge" as opposed to the integration "by data".…”

Section: Theoretical Reviewmentioning

confidence: 99%

Linguistic Processor Integration for Solving Planimetric Problems

Kurbatov¹

2021

International Journal of Cognitive Informatics and Natural Intelligence

View full text Add to dashboard Cite

The research deals with the original algorithms of the linguistic processor integration for solving planimetric problems. The linguistic processor translates the natural language description of the problem into a semantic representation based on the ontology that supports the axiomatics of geometry. The linguistic processor synthesizes natural-language comments to the solution and drawing objects. The method of interactive visualization of the linguistic processor functioning is proposed. The method provides a step-by-step dialog control of syntactic structure construction and its display in semantic representation. During the experiments, several dozens of standard syntactic structures correctly displayed in the semantic structures of the subject area were obtained. The direction of further research related to the development of the proposed approach is outlined.

show abstract