Automatically generated exercise pages - Archive ouverte HAL Access content directly
Conference Papers Year : 2003

Automatically generated exercise pages

(1) , (1) , (1)
1

Abstract

In order to generate an exercise page on a particular knowledge, exercises have to be indexed according to the knowledge useful to solve them. Hence, the main idea of this project is to use a problem solver, Argos, to help us deal with this indexation. Argos aims not only at solving geometry problems, but also writes their proofs just as a teacher or a pupil would. Consequently, the meaningful data have to be extracted from the proofs found by the solver. Argos automatically generates rules from the properties given to it in a declarative way. We have linked the rules with geometric properties in order to deal with them, because the granularity of Argos' rules is too fine. The useful theorems are stored in a database, so it is easy to build an exercise page on a particular subject (e.g. Pythagoras' theorem) by interrogating it. Hence the system we propose provides an assistance to the teaching of the curriculum or to the planning of activities in an Intelligent Tutoring System.
Fichier principal
Vignette du fichier
Mathieu-Hibou-2003.pdf (156.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00190311 , version 1 (23-11-2007)

Identifiers

  • HAL Id : hal-00190311 , version 1

Cite

Mathieu Hibou, Jean-Marc Labat, Jean-Pierre Spagnol. Automatically generated exercise pages. AIED 2003 conference, 2003, Sydney, Australia. 7 p. ⟨hal-00190311⟩
111 View
180 Download

Share

Gmail Facebook Twitter LinkedIn More