Skip to Main content Skip to Navigation

Étude et réalisation d'un système tuteur pour la construction de figures géométriques

Abstract : The general framework in which the research for this thesis is undertaken is the design and implementation of intelligent computer systems for teaching. The requirements for systems that implement such an ITS (Intelligent Tutoring System) are both of a didactic nature and of a technological nature: the requirement of a didactic contract with a clear and precise semantics; the requirement to provide maximum liberty to the teacher in the formulation of this contract; the requirement that system capabilities for deduction be complete; the requirement that system performance guarantee a level of interactivity sufficient. Concretely, we have conceived and implemented the TALC system (Tuteur d'Aide Logique à la Construction) for teaching geometry. The objective of this system is to diagnose the correctness of a student construction with regard to the specification of the figure that is given by the teacher. The definition of the didactic contract constitues the central point of this research. The point of view held here is that the expression of the contract must be given in first order logic in order to obtain a definition that is clear and to supply good explanantions to the learner. A precise semantics is given for each of the three languages manipulated by the system: the LDL logic language (from which system diagnosis is determined) and the two interface languages. A presentation is given of the principles for formulating the logical theory representing the geometric knowledge presumed known by the students. A logical expression of the correction of a construction is derived in successive stages. This point of view is fruitful and led us to establish the concept of logical extension of a formula with respect to another one, necessary to take into account objects not described in the specification. The possible works offered are the following: improving the formulation of the didactic contract (by a better definition of the negation); extending the interface languages; defining didactic series; generating a student model based on a learning method; defining a language to express which dialogs to have.
Document type :
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download
Contributor : Thèses Imag <>
Submitted on : Wednesday, February 25, 2004 - 11:39:36 AM
Last modification on : Monday, October 19, 2020 - 10:55:15 AM
Long-term archiving on: : Friday, April 2, 2010 - 8:07:07 PM


  • HAL Id : tel-00005086, version 1



Cyrille Desmoulins. Étude et réalisation d'un système tuteur pour la construction de figures géométriques. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1994. Français. ⟨tel-00005086⟩



Record views


Files downloads