Automatic Understanding and Formalization of Plane Geometry Proving Problems in Natural Language: A Supervised Approach

Automatically understanding natural language problems is a long-standing challenging research problem in automatic solving. This paper models the understanding of geometry problems as a problem of ...

[1]  Qingtang Liu,et al.  Using Restricted Natural Language for Geometric Construction , 2011 .

[2]  Julien Narboux,et al.  Formalization of the arithmetization of Euclidean plane geometry and applications , 2019, J. Symb. Comput..

[3]  Tomás Recio,et al.  Automated Theorem Proving in GeoGebra: Current Achievements , 2015, Journal of Automated Reasoning.

[4]  Haibo He,et al.  Learning from Imbalanced Data , 2009, IEEE Transactions on Knowledge and Data Engineering.

[5]  M. Ganesalingam,et al.  A Fully Automatic Theorem Prover with Human-Style Output , 2016, Journal of Automated Reasoning.

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

[7]  Oren Etzioni,et al.  My Computer Is an Honor Student - but How Intelligent Is It? Standardized Tests as a Measure of AI , 2016, AI Mag..

[8]  Jianguo Jiang,et al.  A review and prospect of readable machine proofs for geometry theorems , 2012, J. Syst. Sci. Complex..

[9]  Xiaoyu Chen,et al.  Representation and automated transformation of geometric statements , 2014, J. Syst. Sci. Complex..

[10]  Wing-Kwong Wong,et al.  Drawing Dynamic Geometry Figures Online with Natural Language for Junior High School Geometry. , 2012 .

[11]  Heng Tao Shen,et al.  The Gap of Semantic Parsing: A Survey on Automatic Math Word Problem Solvers , 2018, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[12]  Xinguo Yu,et al.  Automatically Proving Plane Geometry Theorems Stated by Text and Diagram , 2019, Int. J. Pattern Recognit. Artif. Intell..

[13]  Julien Narboux,et al.  A Graphical User Interface for Formal Proofs in Geometry , 2007, Journal of Automated Reasoning.

[14]  Suresh Manandhar,et al.  Grounding proposition stores for question answering over linked data , 2017, Knowl. Based Syst..

[15]  Vincent Aleven,et al.  Help Helps, But Only So Much: Research on Help Seeking with Intelligent Tutoring Systems , 2016, International Journal of Artificial Intelligence in Education.

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