Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
The Coq proof assistant (2019). https://coq.inria.fr/news/coq-890-is-out.html
HOL interactive theorem prover (2018). https://hol-theorem-prover.org/
Isabelle is a generic proof assistant. http://isabelle.in.tum.de/fff
Wolfram release 11.3. http://blog.stephenwolfram.com/2018/03/roaring-into-2018-with-another-big-release-launching-version-11-3-of-the-wolfram-language
Cyc is a long-living artificial intelligence project. https://www.cyc.com/
Podkolzin, A.S.: The study of logical processes by computer simulation. J. Intell. Syst. Theory Appl. 20, 164–168 (2016). (in Russian)
Podkolzin, A.S.: Computer Simulation of Logical Processes. Architecture and Problem Solver Languages, p. 1024. Fizmatlit, Moscow (2008). (in Russian)
Polya, G.: Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving, p. 432. Wiley, Hoboken (1981)
Kurbatov, S.S., Fominykh, I.B., Vorobyev, A.B.: Algorithmic and software cognitive agent based on the methodology. In: Poya, D. (ed.) Software Products and Systems/Software & Systems, vol. 32, no. 1, pp. 012–019 (2019). (in Russian)
JSXGraph. Dynamic mathematics with JavaScript, JSXGraph is a cross-browser JavaScript library for interactive geometry, function plotting, charting, and data visualization in the web browser. http://jsxgraph.uni-bayreuth.de/wp/index.html
Sergeeva, T.F., Shabanova, M.V., Grozdev, S.I.: Fundamentals of Dynamic Geometry, p. 152. Publishing house ASOU, Russia (2016). (in Russian)
Gan, W., Yu, X.: Automatic understanding and formalization of natural language geometry problems using syntax-semantics models. Int. J. Innovative Comput. Inf. Control ICIC 14(1), 83–98 (2018)
Seo, M., Hajishirz, H., Farhadi, A., Etzioni, O., Malcolm, C.: Solving geometry problems: combining text and diagram interpretation. http://geometry.allenai.org/assets/emnlp2015.pdf
Wang, K., Su, Z.: Automated geometry theorem proving for human-readable proofs. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25–31 July (2015)
Krötzsch, M.: Ontologies for knowledge graphs? In: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, 18–21 July (2017). http://ceur-ws.org/Vol-1879/invited2.pdf
Acknowledgment
This study was supported by the Russian Foundation for Basic Research (projects ## 18-07-00098, 18-29-03088, 18-07-00213). The authors are grateful to A.P. Lobzin and T.N. Asmayan for their assistance in testing the system.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Kurbatov, S.S., Fominykh, I.B., Vorobyev, A.B. (2020). Ontology-Controlled Geometric Solver. In: Kuznetsov, S.O., Panov, A.I., Yakovlev, K.S. (eds) Artificial Intelligence. RCAI 2020. Lecture Notes in Computer Science(), vol 12412. Springer, Cham. https://doi.org/10.1007/978-3-030-59535-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-59535-7_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-59534-0
Online ISBN: 978-3-030-59535-7
eBook Packages: Computer ScienceComputer Science (R0)