Ontology-Controlled Geometric Solver

Autor: Sergey S. Kurbatov, Igor B. Fominykh, Aleksandr B. Vorobyev
Rok vydání: 2020
Předmět:
Zdroj: Artificial Intelligence ISBN: 9783030595340
RCAI
DOI: 10.1007/978-3-030-59535-7_19
Popis: The paper describes an ontology-controlled geometric solver. The solver functions as a part of an integrated problem-solving system with a natural language interface. It is implemented in a prototype version of the system for the “school geometry” subject area. We described the solver interaction with the system linguistic processor, ontology, and the graphic component. We provided examples demonstrating automated solving non-trivial geometric problems formulated in a natural language. We suggested using cognitive structures in the dialogue for an effective linguistic analysis and building up a correct drawing.
Databáze: OpenAIRE