Abstract
Cet article soutient le point de vue que les Environnements Informatisés d'Apprentissage Humain (EIAH) ne considèrent pas assez l'enseignant comme un utilisateur potentiel distinct de l'apprenant. Aussi, le néologisme “préceptoriel” est introduit pour décrire des EIAH ayant une approche centrée sur le professeur.
Le domaine des logiciels de construction de figures géométriques est ensuite pris comme exemple. Une analyse des aides que l'on peut apporter au professeur dans ces logiciels est menée. Elle conduit au problème de la validation des constructions de l'apprenant et de la production de contreexemples. La notion de contre-exemple est étudiée en vue de son intégration dans un préceptoriel de géométrie à l'aide de la programmation logique par contraintes. Une mise en œuvre informatique est présentée ainsi qu'un exemple d'utilisation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Acte de l'université d'été: Apprentissage et enseignement de la géométrie avec ordinateur. Utilisation du logiciel Cabri-Géomètre en classe Édition Lsd2-IMAG IREM/IUFM de Grenoble Juillet 1993.
Richard Allen, Pierrick Nicolas et Laurent Trilling, Figure Correctness in an expert System for Teaching Geometry, Proceedings of the eight biennial conference of the Canadian society for computer studies of intelligence, Ottawa, 1990.
Nicolas Balacheff, TéléCabri: principe d'une machine partenaire du formateur dans un contexte d'apprentissage distant utilisant la téléprésence, 1995.
Frédéric Benhamou. Interval Constraint Logic Programming. Constraint Programming: Basics and Trends, pages 1–21, May 1994.
Denis Bouhineau. Vers une approche déclarative pour les logiciels de dessins géométriques. IVèmes journées EIAO de Cachan, ed Eyrolles, 1995.
Stéphane Channac. Techniques d'Intelligence Artificielle pour l'Exécution de Programmes Logiques Géométriques. IIèmea Journées 3IA de Limoges, 1996.
Alain Colmerauer. An Introduction to Prolog lII. Communication of the ACM, 33(7):69–90, July 1990.
Cyrille Desmoulins, Étude et réalisation d'un système tuteur pour la construction de figures géométrique, Thèse de Doctorat, Université Joseph Fourier, 1994.
Joxan Jaffar and Michael J. Mäher. Constraint Logic Programming: a Survey. The Journal of Logic Programming, 19/20:503–581, 1994.
J.M. Laborde, Des connaissances abstraites aux réalités artificielles, le concept de micromonde Cabri, IVèmes journées EIAO de Cachan, ed Eyrolles, 1995.
P. Leroux, Conception et réalisation d'un système coopératif d'apprentissage, Thèse de L'Université Paris VI, 1995.
William J. Older and Frédéric Benhamou. Programming in CLP(BNR). PPCP'94, Newport, 1994.
Dominique Py, Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie, Thèse de Doctorat, Université de Rennes, 1990.
W. Wu, Mechanical Theorem Proving in Geometries, Springer-Verlag, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bouhineau, D., Channac, S. (1996). La programmation logique par contraintes pour l'aide à l'enseignant. In: Frasson, C., Gauthier, G., Lesgold, A. (eds) Intelligent Tutoring Systems. ITS 1996. Lecture Notes in Computer Science, vol 1086. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61327-7_131
Download citation
DOI: https://doi.org/10.1007/3-540-61327-7_131
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61327-5
Online ISBN: 978-3-540-68460-2
eBook Packages: Springer Book Archive