Automatic Exercise Generation in Euclidean Geometry - Artificial Intelligence Applications and Innovations Access content directly
Conference Papers Year : 2013

Automatic Exercise Generation in Euclidean Geometry

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.
Fichier principal
Vignette du fichier
978-3-642-41142-7_15_Chapter.pdf (256.6 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01459606 , version 1 (07-02-2017)

Licence

Attribution

Identifiers

Cite

Andreas Papasalouros. Automatic Exercise Generation in Euclidean Geometry. 9th Artificial Intelligence Applications and Innovations (AIAI), Sep 2013, Paphos, Greece. pp.141-150, ⟨10.1007/978-3-642-41142-7_15⟩. ⟨hal-01459606⟩
56 View
209 Download

Altmetric

Share

Gmail Facebook X LinkedIn More