Automated Generation of High School Geometric Questions Involving Implicit Construction

Rahul Singhal, Martin Henz, Kevin McGee

2014

Abstract

We describe a framework that combines a combinatorial approach and automated deduction to generate geometry problems which require implicit constructions for their solution. This is an extension of our framework developed for generating geometric questions without construction. Such a system would help teachers to quickly generate large numbers of questions involving implicit construction on a geometry topic. Students can explore, revise and master specific topics covered in classes and textbooks based on construction-based generated questions. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures and objects for construction (ii) automated deduction to generate new questions and solutions. By combining these methods, we are able to generate questions involving finding or proving relationships between geometric objects based on a specification of the geometry objects, concepts, theorems and construction object to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time.

References

  1. annonymous (2013). Automated generation of geometry questions for high school mathematics. In Sixth International Conference on Computer Supported Education.
  2. Chou, S. C., Gao, X. S., and Zhang, J. Z. (1994). Machine proofs in geometry: Automated production of readable proofs for geometry theorems.
  3. Frühwirth, T. and Raiser, F., editors (March 2011). Constraint Handling Rules: Compilation, Execution, and Analysis.
  4. Gao, X.-S. and Lin, Q. (2004). Mmp/geometer a software package for automated geometric reasoning. In Winkler, F., editor, Automated Deduction in Geometry, volume 2930 of Lecture Notes in Computer Science, pages 44-66. Springer Berlin Heidelberg.
  5. Greeno, G., J., Magone, and Maria E. Chaiklin, S. (1979). Theory of constructions and set in problem solving. Technical report, Pittsburg Univ Pa Learning Research and Development Center.
  6. Matsuda, N. and Vanlehn, K. (2004). Gramy: A geometry theorem prover capable of construction. J. Autom. Reason., 32(1):3-33.
  7. R. Singh, S. G. and Rajamani, S. (2012). Automatically generating algebra problems. In AAAI.
  8. Schrijvers, T. and Demoen, B. (2004). The k.u.leuven chr system: Implementation and application.
  9. Vicknair, C. and Macias, M. (2010). A Comparison of a Graph Database and a Relational Database.
  10. Wilson, S. and Fleuriot, J. D. (2006). Geometry explorer: A tool for generating diagrammatic full-angle method proofs. Technical report, University of Edinburgh.
Download


Paper Citation


in Harvard Style

Singhal R., Henz M. and McGee K. (2014). Automated Generation of High School Geometric Questions Involving Implicit Construction . In Proceedings of the 6th International Conference on Computer Supported Education - Volume 1: CSEDU, ISBN 978-989-758-020-8, pages 467-472. DOI: 10.5220/0004947904670472


in Bibtex Style

@conference{csedu14,
author={Rahul Singhal and Martin Henz and Kevin McGee},
title={Automated Generation of High School Geometric Questions Involving Implicit Construction},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 1: CSEDU,},
year={2014},
pages={467-472},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004947904670472},
isbn={978-989-758-020-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 1: CSEDU,
TI - Automated Generation of High School Geometric Questions Involving Implicit Construction
SN - 978-989-758-020-8
AU - Singhal R.
AU - Henz M.
AU - McGee K.
PY - 2014
SP - 467
EP - 472
DO - 10.5220/0004947904670472