TEXT-TO-DIAGRAM CONVERSION: A METHOD FOR FORMAL REPRESENTATION OF NATURAL LANGUAGE GEOMETRY PROBLEMS

Natural language geometry problems are translated into formal representation. This is done as an essential step involved in text to diagram conversion. A parser is designed that analyzes a problem statement in order to describe it as a language independent, unambiguous formal representation. Natural language processing tools and a lexical knowledge base are used to assist the parser that finally generates a graph as the parsing output. The parse graph is the formal representation of the input natural language problem. This graph is later translated into another intermediate representation consisting of a set of graphics-friendly statements. High school level geometry problems are used to develop and test the proposed methods. Experimental results show high accuracy of the approach in translating a natural language problem into a formal description.

[1]  Hwee Tou Ng,et al.  A Generative Model for Parsing Natural Language to Meaning Representations , 2008, EMNLP.

[2]  Nhon Do,et al.  An approach for translating mathematics problems in natural language to specification language COKB of intelligent education software , 2010, 2010 International Conference on Artificial Intelligence and Education (ICAIE).

[3]  Anirban Mukherjee,et al.  A review of methods for automatic understanding of natural language mathematical problems , 2008, Artificial Intelligence Review.

[4]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[5]  Michael P. Wellman,et al.  A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base , 2010, FOIS.

[6]  Barry Smith,et al.  Formal Ontology in Information Systems (FOIS) , 2001 .

[7]  Daniel G. Bobrow,et al.  Natural Language Input for a Computer Problem Solving System , 1964 .

[8]  Gordon S. Novak Jr..  Computer Understanding Of Physics Problems Stated In Natural Language , 1979, ACL Microfiche Series 1-83, Including Computational Linguistics.

[9]  Jiayu Zhou,et al.  Using Inverse lambda and Generalization to Translate English to Formal Languages , 2011, IWCS.

[10]  R. P. van de Riet,et al.  Analyzing Informal Requirements Speciications: a First Step towards Conceptual Modeling , 2022 .

[11]  Harold Boley,et al.  Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation , 2008, SEKE.

[12]  Jiayu Zhou,et al.  Using inverse λ and generalization to translate English to formal languages , 2011 .

[13]  Mita Nasipuri,et al.  On construction of a geometryNet , 2007, Artificial Intelligence and Applications.

[14]  Eric Brill,et al.  A Simple Rule-Based Part of Speech Tagger , 1992, HLT.

[15]  Shih-Hung Wu,et al.  LIM-G: Learner-initiating instruction model based on cognitive knowledge for geometry word problem comprehension , 2007, Comput. Educ..

[16]  Christian Kop,et al.  Mapping Functional Requirements: From Natural Language to Conceptual Schemata , 2002, ICSE 2002.

[17]  Leo C. Ureel,et al.  Integrating Natural Language, Knowledge Representation and Reasoning, and Analogical Processing to Learn by Reading , 2007, AAAI.