Automated Generation of Geometry Questions for High School Mathematics

Rahul Singhal, Martin Henz, Kevin McGee

2014

Abstract

We describe a framework that combines a combinatorial approach, pattern matching and automated deduction to generate and solve geometry problems for high school mathematics. Such a system would help teachers to quickly generate large numbers of questions on a geometry topic. Students can explore and revise specific topics covered in classes and textbooks based on generated questions. The system can act as a personalized instructor - it can generate problems that meet users specific weaknesses. This system may also help standardize tests such as GMAT and SAT. Our novel methodology uses (i) a combinatorial approach for generating geometric figures (ii) a pattern matching approach for generating questions and (iii) 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 and theorems to be covered by the questions. Experimental results show that a large number of questions can be generated in a short time. We have tested our generated questions on an existing geometry question solving software JGEX, verifying the validity of the generated questions.

References

  1. Chou, S. C. and Gao, X. S. (2001). Handbook-ofAutomated-Reasoning. Elsevier and MIT Press.
  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. Chou, S. C., Gao, X. S., and Zhang, J. Z. (2000). A deductive database approach to automated geometry theorem proving and discovering. J. Autom. Reason., 25(3):219-246.
  4. Chou, S. C., Gao, X. S., and Zhang, J. Z. (2011). Area method and automated reasoning in affine geometries.
  5. Coelho, H. and Pereira, L. (1986). Automated reasoning in geometry theorem proving with prolog. Journal of Automated Reasoning, 2(4):329-390.
  6. Francis, G. (2002). Axiomatic systems for geometry.
  7. Frühwirth, T. and Raiser, F., editors (March 2011). Constraint Handling Rules: Compilation, Execution, and Analysis.
  8. Gao, X.-S. and Lin, Q. (2004). Mmp/geometer asoftware 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.
  9. Gao, X. S., Zhu, C. C., and Huang, Y. (1998). Building dynamic mathematical models with geometry expert, i. geometric transformations, functions and plane curves. In Proceedings of the Third Asian Technology Conference in Mathematics.
  10. Greeno, G., J., Magone, and Maria E. Chaiklin, S. (1979). Theory of constructions and set in problem solving. Memory and Cognition, 7:445-461.
  11. Jiang, J. and Zhang, J. (2012). A review and prospect of readable machine proofs for geometry theorems. Journal of Systems Science and Complexity, 25:802-820.
  12. McCharen, J. D., Overbeek, R. A., and Wos, L. A. (1976). Problems and experiments for and with automated theorem-proving programs. IEEE Trans. Comput., 25(8):773-782.
  13. Meikle, L. and Fleuriot, J. (2003). , formalizing hilberts grundlagen in isabelle/isar. In Theorem Proving in Higher Order Logics.
  14. Narboux, J. (2010). The area method: a recapitulation. Journal of Automated Reasoning, 48:489-532.
  15. National Council of Teachers of Mathematics (1989). Curriculum and evaluation standards for school mathematics.
  16. Nevins, A. (1975). Plane geometry theorem proving using forward chaining. Artificial Intelligence, 6(1):1-23.
  17. Quaife, A. (1989). Automated development of tarskis geometry. Journal of Automated Reasoning, 5:97-118.
  18. Schrijvers, T. and Demoen, B. (2004). The k.u.leuven chr system: Implementation and application.
  19. Vicknair, C. and Macias, M. (2010). A Comparison of a Graph Database and a Relational Database.
  20. Wilson, S. and Fleuriot, J. D. (2005). Combining dynamic geometry, automated geometry theorem proving and diagrammatic proofs. In European joint conference on Theory And Practice of Software - ETAPS.
  21. Zhang, J. Z., Gao, X. S., and Chou, S. C. (1996). The geometric information search system by forward reasoning. Chinese Journal of Computers, 19(10):721727.
Download


Paper Citation


in Harvard Style

Singhal R., Henz M. and McGee K. (2014). Automated Generation of Geometry Questions for High School Mathematics . In Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU, ISBN 978-989-758-021-5, pages 14-25. DOI: 10.5220/0004795300140025


in Bibtex Style

@conference{csedu14,
author={Rahul Singhal and Martin Henz and Kevin McGee},
title={Automated Generation of Geometry Questions for High School Mathematics},
booktitle={Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,},
year={2014},
pages={14-25},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004795300140025},
isbn={978-989-758-021-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Computer Supported Education - Volume 2: CSEDU,
TI - Automated Generation of Geometry Questions for High School Mathematics
SN - 978-989-758-021-5
AU - Singhal R.
AU - Henz M.
AU - McGee K.
PY - 2014
SP - 14
EP - 25
DO - 10.5220/0004795300140025