Abstract
When developing intelligent tutoring systems, it is necessary to generate questions that reflect the scope of the material and adapt to a student’s individual learning needs. Automatic generation of questions for learning tools can provide variation in the questions generated, while eliminating the time cost for the instructor. For courses teaching deductive logic, web-based tools such as Deep Thought allow students to solve deductive logic proofs set by the instructor and record their progress. Our goal is to automatically generate these proofs in such a way that fulfills the parameters set by the instructors, while using the progress recorded to generate further questions specific to the individual student.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Barnes, T., Stamper, J.: Toward the Extraction of Production Rules for Solving Logic Proofs. In: Proceedings of the 13th International Conference on Artificial Intelligence in Education, Educational Data Mining Workshop (AIED 2007), Marina del Rey, CA (2007)
Croy, M.: Problem Solving, Working Backwards, and Graphic Proof Representation. Teaching Philosophy 23, 169–187 (2000)
Croy, M., Barnes, T., Stamper, J.: Towards an Intelligent Tutoring System for Propositional Proof Construction. In: Woolf, B.P., Aïmeur, E., Nkambou, R., Lajoie, S. (eds.) ITS 2008. LNCS, vol. 5091, pp. 373–382. Springer, Heidelberg (2008)
McGough, J., Mortensen, J., Johnson, J., Fadali, S.: A web-based testing system with dynamic question generation. In: 31st Annual Frontiers in Education Conference, vol. 3, pp. 23–28 (2001)
Murray, T.: Authoring Intelligent Tutoring Systems: An analysis of the state of the art. Artificial Intelligence in Education 10, 98–129 (1999)
VanLehn, K.: The Behavior of Tutoring Systems. International Journal of Artificial Intelligence in Education 16, 227–265 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mostafavi, B. (2011). Automatic Generation of Deductive Logic Proof Problems. In: Biswas, G., Bull, S., Kay, J., Mitrovic, A. (eds) Artificial Intelligence in Education. AIED 2011. Lecture Notes in Computer Science(), vol 6738. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21869-9_116
Download citation
DOI: https://doi.org/10.1007/978-3-642-21869-9_116
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21868-2
Online ISBN: 978-3-642-21869-9
eBook Packages: Computer ScienceComputer Science (R0)