Skip to main content
SpringerLink
Log in

Natural Language Processing and Functioning Ontological Solver with Visualization in an Integrated System

  • Conference paper
  • First Online:
Intelligent Systems and Applications (IntelliSys 2022)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 543))

Included in the following conference series:

  • 669 Accesses

Abstract

In this article, we consider the issue of artificial intelligence integrated systems. This issue was studied within the experimental system of automatic solving geometry problems. The system comprises a linguistic processor, domain ontology, solver, and interactive visualization. The cognitive schemes are considered to create drawing in accordance with the text of geometric problems written in Russian natural language. System’s explanatory means are based on the synthesis of a natural language description of semantic representation. The research results, including the processing of elliptical sentences and possibilities for cognitive systems to support the formation of problem semantic representations and their drawing are described. The applied value of the research for creating learning systems in education have taken into account.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Schenk, R.C., Goldman, N.M., Rieger, C.J., Riesbeck, C.K.: Conceptual Information Processing. North-Holland Publishing Company, Amsterdam (1975)

    Google Scholar 

  2. Winograd, T.: Understanding Natural Language. Academic Press, New York (1972)

    Book  Google Scholar 

  3. IBM Watson. https://ru.wikipedia.org/wiki/IBM_Watson. Accessed 11 Jan 2022

  4. Brown, T.B., et al.: Language Models are Few-Shot Learners. arXiv:2005.14165v4 [cs.CL] 22 (2020)

  5. Zhu, X., Goldberg, A.B., Eldawy, M., Dyer, C.R., Strock, B.: A text-to-picture synthesis system for augmenting communication. https://www.aaai.org/Papers/AAAI/2007/AAAI07-252.pdf. Accessed 09 Apr 2022

  6. Zakraoui, J., Saleh, M., Al Ja’am, J.: Text-to-picture tools, systems, and approaches: a survey. Multimed. Tools App. 78(16), 22833–22859 (2019). https://doi.org/10.1007/s11042-019-7541-4

    Article  Google Scholar 

  7. Podkolzin, A.S.: The study of logical processes by computer simulation. J. Intell. Syst. Theory Appl. 20, 164–168 (2016)

    Google Scholar 

  8. JSXGraph. http://jsxgraph.uni-bayreuth.de/docs/symbols/JXG.Board.html. Accessed 11 June 2021

  9. MathJax. https://www.mathjax.org/. Accessed 13 July 2021

  10. Kurbatov, S., Fominykh, I., Vorobyev, A.: Cognitive patterns for semantic presentation of natural-language descriptions of well-formalizable problems. In: Kovalev, S.M., Kuznetsov, S.O., Panov, A.I. (eds.) RCAI 2021. LNCS (LNAI), vol. 12948, pp. 317–330. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-86855-0_22

    Chapter  Google Scholar 

  11. Kulanin, E.D., et al.: 3000 Competition Tasks on Mathematics Geometry. Ileksa, Moscow (2018)

    Google Scholar 

  12. Naidenova, X., Kurbatov, S., Ganapol’skii, V.: An analysis of plane task text ellipticity and the possibility of ellipses reconstructing based on cognitive modelling geometric objects and actions. In: A. Elizarov, N. Loukachevich (eds.), Proceedings of Computational Models in Language and Speech Workshop (CMLS 2018), Co-located with the 15th TEL International Conference on Computational and Cognitive Linguistics (TEL-2018), vol. 2, pp. 70–85. The Tatarstan Academy of Sciences, Kazan, Russia (2018)

    Google Scholar 

  13. Naidenova, X., Kurbatov, S., Ganapolsky, V.: Cognitive models in planimetric task text processing. Int. J. Cogn. Res. Sci. Eng. Educ. 8(1), 25–35 (2020)

    Google Scholar 

  14. Kurbatov, S.S., Fominykh, I.B., Vorobyev, A.B.: Ontology-controlled geometric solver. In: Kuznetsov, S.O., Panov, A.I., Yakovlev, K.S. (eds.) RCAI 2020. LNCS (LNAI), vol. 12412, pp. 262–273. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-59535-7_19

    Chapter  Google Scholar 

  15. Mel’cuk, I.: Lexical functions: a tool for the description of lexical relations in the Lexicon. In: Wanner, L. (ed.), Lexical functioning lexicography and NLP. Amsterdam/Philadelphia, Benjamins, pp. 37–102 (1996)

    Google Scholar 

  16. Gvozdev, A.: Modern Russian Literature Language Part II. Syntax. UchPedGis, Moscow (1958)

    Google Scholar 

  17. Kobzareva, T., Epifanov, M., Lakhuty, D.: Restoring grammatical ellipses in syntax analysis. In: Proceeding of 14th National Conference on Artificial Intelligence with International Participation (CAI-2014), vol. 1, pp. 108–116, Kazan, Tatarstan (2014)

    Google Scholar 

  18. The Coq proof assistant (2019). https://coq.inria.fr/news/coq-890-is-out.html. Accessed 11 June 2021

  19. HOL interactive theorem prover (2018). https://hol-theorem-prover.org/. Accessed 13 May 2020

  20. Isabelle is a generic proof assistant. http://isabelle.in.tum.de. Accessed 01 July 2020

  21. Gan, W., Yu, X.: Automatic understanding and formalization of natural language geometry problems using syntax-semantics models. Int. J. Innov. Comput. Inf. Control ICIC 14(1), 83–98 (2018)

    Google Scholar 

  22. Seo, M., Hajishirzi, H., Farhadi, A., Etzioni, O., Malcolm, C.: Solving geometry problems: combining text and diagram interpretation, http://geometry.allenai.org/assets/emnlp2015.pdf. Accessed 11 June 2021

  23. Shi, S., Wang, Y., Lin, C.-Y., Liu, X., Yong Rui, Y.: Automatically solving number word problems by semantic parsing and reasoning. In: Proceedings of the 2015 Conference on Empirical Methods in NLP, pp. 1132–1142. Association for computational linguistics, Lisbon, Portugal (2015)

    Google Scholar 

  24. Wang, K., Su, Z.: Automated geometry theorem proving for human-readable proofs. In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, pp. 1193–1199. AAAI Press, Palo Alto, California, USA (2015)

    Google Scholar 

  25. Cobbe, K.: Training Verifiers to Solve Math Word Problems. arXiv:2110.14168v2 [csLG]

  26. Polya, G.: Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving, vol. 2. John Wiley & Sons, INC., New York - London (1965)

    MATH  Google Scholar 

  27. Naidenova, X.: Cognitive processing in generating and restoring elliptical sentences (2021). http://ceur-ws.org/vol-3036. Accessed 15 Mar 2022

  28. Kenyen-Dean, K., Cheung, J.C.K., Precup, D.: Verb Phrase Resolution Using Discriminative and Margin-Infused Algorithms. In: Proceedings of the 2016 Conference on Empirical Methods in NLP, pp. 1734–1743. Association for computational linguistics, Austin, Texas, USA (2016)

    Google Scholar 

  29. Liu, Z., Gonzalez, E., Gillick., D.: Exploring the steps of VPE. In: Proceedings of the Workshop on Conference Resolution Beyond OntoNotes (CORBON2016), Co-located with NAACL, pp. 32–63. Association for computational linguistics, San Diego, California (2016)

    Google Scholar 

  30. Schuster, S., Nivre, J., Manning, Ch. D.: Sentences with Gapping: Parsing and Reconstructing Elided Predicates. arXiv:1801.06922v1 [cs.CL]

  31. Jurafsky, D.: A Cognitive Model of Sentence Interpretation: The Construction Grammar Approach. TR-93–077, 43 p. International Computer Science Institute, Berkley, California (1993)

    Google Scholar 

  32. Zhao, G.: A cognitive approach to ellipsis. Theory Pract. Lang. Stud. 6(2), 372–377 (2016)

    Article  Google Scholar 

  33. Culicover, P.W., Jackendoff, R.: Simpler Syntax. Oxford University Press, Oxford (2005)

    Book  Google Scholar 

  34. Naidenova, X.: Cognitive elements in forming and understanding sentences. In: Proceedings of the International Workshop on Digital Technologies for Teaching and Learning (DTTL-2021), pp.65–73. The Academy of Sciences of Republic Tatarstan, Kazan (2021)

    Google Scholar 

Download references

Acknowledgments

The research was partially supported by Russian Foundation for Basic Research, research project No. 18-07-00098A.

Author information

Authors and Affiliations

  1. Research Centre of Electronic Computing, 117587, Moscow, Russia

    Sergey S. Kurbatov

  2. Military Medical Academy, Saint Petersburg, Russia

    Xenia A. Naidenova, Vyacheslav P. Ganapolsky & Tatyana A. Martirova

Authors
  1. Sergey S. Kurbatov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xenia A. Naidenova
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vyacheslav P. Ganapolsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tatyana A. Martirova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xenia A. Naidenova .

Editor information

Editors and Affiliations

  1. Faculty of Science and Engineering, Saga University, Saga, Japan

    Kohei Arai

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kurbatov, S.S., Naidenova, X.A., Ganapolsky, V.P., Martirova, T.A. (2023). Natural Language Processing and Functioning Ontological Solver with Visualization in an Integrated System. In: Arai, K. (eds) Intelligent Systems and Applications. IntelliSys 2022. Lecture Notes in Networks and Systems, vol 543. Springer, Cham. https://doi.org/10.1007/978-3-031-16078-3_46

Download citation

Publish with us

Policies and ethics

Search

Navigation