Advertisement

La programmation logique par contraintes pour l'aide à l'enseignant

  • Denis Bouhineau
  • Stéphane Channac
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1086)

Mots clés

Spécifications logiques de figures de géométrie Préceptoriel Production de contre-exemples Calculs sur intervalles 

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Act93]
    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.Google Scholar
  2. [A1190]
    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.Google Scholar
  3. [Bal95]
    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.Google Scholar
  4. [Ben94]
    Frédéric Benhamou. Interval Constraint Logic Programming. Constraint Programming: Basics and Trends, pages 1–21, May 1994.Google Scholar
  5. [Bou95]
    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.Google Scholar
  6. [Cha96]
    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.Google Scholar
  7. [Nol90]
    Alain Colmerauer. An Introduction to Prolog lII. Communication of the ACM, 33(7):69–90, July 1990.Google Scholar
  8. [Des94]
    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.Google Scholar
  9. [JM94]
    Joxan Jaffar and Michael J. Mäher. Constraint Logic Programming: a Survey. The Journal of Logic Programming, 19/20:503–581, 1994.Google Scholar
  10. [Lab95]
    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.Google Scholar
  11. [Ler95]
    P. Leroux, Conception et réalisation d'un système coopératif d'apprentissage, Thèse de L'Université Paris VI, 1995.Google Scholar
  12. [OB94]
    William J. Older and Frédéric Benhamou. Programming in CLP(BNR). PPCP'94, Newport, 1994.Google Scholar
  13. [Py90]
    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.Google Scholar
  14. [Wu94]
    W. Wu, Mechanical Theorem Proving in Geometries, Springer-Verlag, 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Denis Bouhineau
    • 1
  • Stéphane Channac
    • 1
  1. 1.Laboratoire IMAG - LSRGrenoble Cedex 9France

Personalised recommendations