论文信息 - A Cognitive Analysis of Geometry Proof Focused on Intelligent Tutoring Systems

A Cognitive Analysis of Geometry Proof Focused on Intelligent Tutoring Systems

The elaboration of an Intelligent Tutoring System in geometry proof requires a model of geometry proof problem solving. Actually, the development of these models is still directed by the system’s processes and not by a study of human behaviour. Here we present elements of a cognitive and didactical analysis of proof in geometry that must be taken in account in such a model. This study was carried out with mathematic teachers (GIA: Artificial Intelligence group, IREM Strasbourg).

Dominique Guin

[1] John R. Anderson,et al. Cognitive principles in the design of computer tutors , 1984 .

[2] John R. Anderson,et al. Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry , 1990, Cogn. Sci..

[3] Raymond Duval,et al. Structure du raisonnement deductif et apprentissage de la demonstration , 1991 .

[4] John R. Anderson,et al. Intelligent Tutoring and High School Mathematics , 1992, Intelligent Tutoring Systems.

[5] Claude Frasson,et al. DYNABOARD: User Animated Display of Deductive Proofs in Mathematics , 1989, Int. J. Man Mach. Stud..

[6] Régis Gras,et al. Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire , 1988 .