Skip to main content
SpringerLink
Log in

Cognitive Patterns for Semantic Presentation of Natural-Language Descriptions of Well-Formalizable Problems

  • Conference paper
  • First Online:
Artificial Intelligence (RCAI 2021)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 12948))

Included in the following conference series:

Abstract

The paper suggests and develops a method for creating cognitive patterns for well-formalizable problems described in a natural language. The method takes into account the full set of human cognitive abilities: the understanding of a natural language in the light of a well-formalizable problem, its formalization for an automatic solution, a graphical display of the solution, and its psychological aspects. The method is focused on a holistic approach to applied artificial intelligence systems considered in terms of interdisciplinarity. We have conducted an experimental study of the method capabilities on a set of geometric problems. Our experiment has included the modification of the source text at the level of morphology, syntax, and significant objects of a geometric problem followed by the preparation of a drawing. We have suggested an extension of the experiment to the problems with physical content.

This study was supported by the Russian Foundation for Basic Research (project No. 18-07-00098 А, No. 20-07-00439 A, No. 18-29-03088 A).

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 79.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.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. Kuhn, T.: The Structure of Scientific Revolutions. Chicago, 1962; 2edn. Chicago, 1970. HOL interactive theorem prover (2018)

    Google Scholar 

  2. Lakoff, G.: Metaphors We Live By. University of Chicago Press. 2003 edition contains an 'Afterword', 2003 (1980)

    Google Scholar 

  3. Naidenova, X., Kurbatov, S., Ganapolsky, V.: Cognitive models in planimetric task text processing. Int. J. Cogn. Res. Sci. Eng. Educ. (ISSN: 2334–847X)

    Google Scholar 

  4. Kurbatov, S.S., Fominykh, I.B., Vorobyev, A.B.: ontology-controlled geometric solver. In: Kuznetsov, S.O., Panov, A.I., Yakovlev, K.S. (eds.) Artificial Intelligence. RCAI 2020. LNCS, vol. 12412. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-59535-7_19

  5. Polya, G.: Mathematical Discovery: On Understanding, Learning and Teaching Problem Solving, p. 432. Wiley, Hoboken (1981)

    Google Scholar 

  6. 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

  7. MathJax is a cross-browser JavaScript library that displays mathematical notation in web browsers, using MathML, LaTeX and ASCIIMathML markup. – https://github.com/mathjax/MathJax/releases/tag/3.1.2

  8. Screenshot-1. http://www.eia--dostup.ru/APP-1.pdf

  9. Screenshot-2. http://www.eia--dostup.ru/APP-2.pdf

  10. Kulanin, E.D.: 3000 konkursnyh zadach po matematike. Geometriya, Ileksa (2018)

    Google Scholar 

  11. Schenk, R.C., Goldman, N.M., Rieger, C.J., Riesbeck, C.K.: Conceptual information processing. Norh-Holland Publishing Company, Amsterdam (1975)

    Google Scholar 

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

    Book  Google Scholar 

  13. Sergeeva, T.F., Shabanova, M.V., Grozdev, S.I.: Fundamentals of Dynamic Geometry, p. 152. Publishing house ASOU, Russia (2016).(in Russian)

    Google Scholar 

  14. Sergey, S., Kurbatov, I.B., Fominykh, A.B.: Vorobyev applied aspects of the integrated problem solving system with natural language interface. In: Conference: 2020 V International Conference on Information Technologies in Engineering Education ( Inforino ), IEEE Computer Society (2020)

    Google Scholar 

  15. 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 

  16. 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

  17. 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 Natural Language Processing. Lisbon, Portugal, 17–21 September, pp. 1132–1142 (2015)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. AllenNLP 2.5.0. https://pypi.org/project/allennlp/

Download references

Author information

Authors and Affiliations

  1. Research Centre of Electronic Computing, Moscow, Russia

    Sergey Kurbatov

  2. National Research University MPEI, Moscow, Russia

    Igor Fominykh & Aleksandr Vorobyev

Authors
  1. Sergey Kurbatov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Igor Fominykh
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Aleksandr Vorobyev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Aleksandr Vorobyev .

Editor information

Editors and Affiliations

  1. Rostov State Transport University, Rostov-on-Don, Russia

    Sergei M. Kovalev

  2. National Research University Higher School of Economics, Moscow, Russia

    Sergei O. Kuznetsov

  3. Russian Academy of Sciences, Moscow, Russia

    Aleksandr I. Panov

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kurbatov, S., Fominykh, I., Vorobyev, A. (2021). Cognitive Patterns for Semantic Presentation of Natural-Language Descriptions of Well-Formalizable Problems. In: Kovalev, S.M., Kuznetsov, S.O., Panov, A.I. (eds) Artificial Intelligence. RCAI 2021. Lecture Notes in Computer Science(), vol 12948. Springer, Cham. https://doi.org/10.1007/978-3-030-86855-0_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-86855-0_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-86854-3

  • Online ISBN: 978-3-030-86855-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation