Abstract
Automatic assessment has recently drawn the efforts of researchers in a number of fields. While most available approaches deal with the construction of question items that assess factual and conceptual knowledge, this paper presents a method and a tool for generating questions assessing procedural knowledge, in the form of simple proof problems in the domain of the Euclidean Geometry. The method is based on rules defined as Horn clauses. The method enumerates candidate problems and certain techniques are proposed for selecting interesting problems. With certain adaptations, the method is possible to be applied in other knowledge domains as well.
Keywords
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Scandura, J.M.: Knowledge representation in structural learning theory and relationships to adaptive learning and tutoring systems. Tech., Inst., Cognition and Learning 5, 169–271 (2007)
Anderson, J.R., Boyle, C.F., Farrel, R., Reiser, B.J.: Modelling cognition. In: Morris, P. (ed.) Cognitive Principles in the Design of Computer Tutors, pp. 93–133. John Wiley and Sons Ltd. (1987)
Schoenfeld, A.H.: Handbook for research on mathematics teaching and learning. In: Grows, D. (ed.) Learning to Think Mathematically: Problem Solving, Metacognition, and Sense-Making in Mathematics, pp. 334–370. MacMillan, New York (1992)
Novick, L.R., Bassok, M.: Cambridge handbook of thinking and reasoning. In: Holyoak, J., Morrison, R.G. (eds.) Problem Solving, pp. 321–349. Cambridge University Press, New York (2005)
Greeno, J.G., Pearson, P.D., Schoenfeld, A.H.: Implications for NAEP of Research for Learning and Cognition. Institute for Research on Learning, Menlo Park (1996)
Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science 3(3), 349–370 (2010)
Jonassen, D.H.: Toward a design theory of problem solving. ETR&D 48(4), 63–85 (2000)
Holohan, E., Melia, M., McMullen, D., Pahl, C.: The generation of e-learning exercise problems from subject ontologies. In: ICALT, pp. 967–969. IEEE Computer Society (2006)
Williams, S.: Generating mathematical word problems. In: 2011 AAAI Fall Symposium Series (2011)
Alsubait, T., Parsia, B., Sattler, U.: Mining ontologies for analogy questions: A similarity-based approach. In: Klinov, P., Horridge, M. (eds.) OWLED. CEUR Workshop Proceedings, vol. 849. CEUR-WS.org (2012)
Žitko, B., Stankov, S., Rosić, M., Grubišić, A.: Dynamic test generation over ontology-based knowledge representation in authoring shell. Expert Systems with Applications 36, 8185–8196 (2009)
Papasalouros, A., Kotis, K., Kanaris, K.: Automatic generation of tests from domain and multimedia ontologies. Interactive Learning Environments 19(1), 5–23 (2011)
Schoenfleld, A.H.: On having and using geometric knowledge. In: Hiebert, J. (ed.) Conceptual and Procedural Knowledge: The Case of Mathematics, pp. 225–264. LEA Publishers, Hillsdale (1986)
Greeno, J.G.: Understanding and procedural knowledge in mathematics instruction. Educational Psychologist 12(3), 262–283 (1987)
Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving, 1st edn. Academic Press, Inc., Orlando (1997)
Chi, M.T., Glaser, R.: Problem solving ability. In: Sternberg, R. (ed.) Human Abilities: An Information-Processing Approach, pp. 227–257. W. H. Freeman & Co. (1985)
Coelho, H., Pereira, L.M.: Automated reasoning in geometry theorem proving with prolog. Journal of Automated Reasoning 2, 329–390 (1986)
Kendall, M.: Rank Correlation Methods. C. Griffin, London (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Papasalouros, A. (2013). Automatic Exercise Generation in Euclidean Geometry. In: Papadopoulos, H., Andreou, A.S., Iliadis, L., Maglogiannis, I. (eds) Artificial Intelligence Applications and Innovations. AIAI 2013. IFIP Advances in Information and Communication Technology, vol 412. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41142-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-41142-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41141-0
Online ISBN: 978-3-642-41142-7
eBook Packages: Computer ScienceComputer Science (R0)