Abstract
In this work, questions are tasks posed to students to help them understand a subject, or to help educators assess their level of competency in it. Automated question generation is important today as content providers in education try to scale their efforts. In particular, MOOCs need a continuous supply of new questions in order to offer educational content to thousands of students, and to provide a fair assessment process. In this paper we establish first-order logic as a suitable formal tool to describe question scenarios, questions and answers. We apply this approach to the domain of mechanics (physics) in high school education.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cinderella geometry tool (January 2013). http://www.cinderella.de/tiki-index.php
Geogebra geometry tool (January 2013). http://www.geogebra.org
Alvin, C., Gulwani, S., Majumdar, R., Mukhopadhyay, S.: Synthesis of geometry proof problems. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence, pp. 245–252 (2014)
Frühwirth, T., Raiser, F. (eds.): Constraint Handling Rules: Compilation, Execution, and Analysis. Books On Demand (2011)
Gao, X.-S., Lin, Q.: MMP/geometer – a software package for automated geometric reasoning. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol. 2930, pp. 44–66. Springer, Heidelberg (2004)
Melis, E., Siekmann, J.H.: ActiveMath: an intelligent tutoring system for mathematics. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol. 3070, pp. 91–101. Springer, Heidelberg (2004)
Schrijvers, T., Demoen, B.: The K. U. Leuven CHR system-implementation and application. In: First Workshop on Constraint Handling Rules-Selected Contributions, pp. 1–5 (2004)
Singh, R., Gulwani, S., Rajamani, S.: Automatically generating algebra problems. In: Brodley, C.E., Stone, P. (eds.) Proceedings of the 26th AAAI Conference on Artificial Intelligence, pp. 1620–1627 (2012)
Singhal, R., Henz, M., McGee, K.: Automated generation of geometry questions for high school mathematics. In: Proceeedings of the Sixth International Conference on Computer Supported Education, Barcelona, Spain (2014)
Vanlehn, K., Lynch, C., Schulze, K., Shapiro, J.A., Shelby, R.H., Taylor, L., Treacy, D.J., Weinstein, A., Wintersgill, M.C.: The Andes physics tutoring system-five years of evaluations. In: Proceedings of the Artificial Intelligence in Education Conference, pp. 678–685 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Singhal, R., Henz , M., Goyal, S. (2015). A Framework for Automated Generation of Questions Based on First-Order Logic. In: Conati, C., Heffernan, N., Mitrovic, A., Verdejo, M. (eds) Artificial Intelligence in Education. AIED 2015. Lecture Notes in Computer Science(), vol 9112. Springer, Cham. https://doi.org/10.1007/978-3-319-19773-9_114
Download citation
DOI: https://doi.org/10.1007/978-3-319-19773-9_114
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19772-2
Online ISBN: 978-3-319-19773-9
eBook Packages: Computer ScienceComputer Science (R0)