Ontology-Controlled Geometric Solver
Autor: | Sergey S. Kurbatov, Igor B. Fominykh, Aleksandr B. Vorobyev |
---|---|
Rok vydání: | 2020 |
Předmět: |
Linguistic analysis
Natural language user interface Computer science Programming language Component (UML) Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing) Solver Ontology (information science) computer.software_genre computer Interactive visualization Geometric problems Natural language |
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 |
Externí odkaz: |