Vers une approche déclarative pour les logiciels de dessins géométriques

Résumé : Cet article est consacré à la conception d'un environnement d'apprentissage de la géométrie orienté vers la manipulation directe de figures géométriques. À travers deux exemples d'activités, proposées en classe, on distingue les notions de construction géométriques, de spécification, et de manipulation directe. Dans le cadre ainsi défini, nous présentons notre approche. Elle consiste à intégrer des mécanismes et la méthodologie de l'intelligence artificielle dans un logiciel de spécification de figures géométriques au niveau de l'utilisateur et du programmeur. Cette approche repose sur une démarche déclarative pour l'acquisition de la spécification de la figure et se distingue donc des environnements procéduraux et constructifs. Nous montrons son intérêt dans divers domaines : la recherche de constructions, la découverte et la vérification de propriétés.
keyword : ProLog
Type de document :
Communication dans un congrès
4e journée EIAO de l'ENS Cachan, 1995, Cachan, France. pp.55-66, 1995
Liste complète des métadonnées

https://telearn.archives-ouvertes.fr/hal-00190299
Contributeur : Jerome Zeiliger <>
Soumis le : vendredi 23 novembre 2007 - 08:39:54
Dernière modification le : lundi 12 septembre 2016 - 15:33:23
Document(s) archivé(s) le : lundi 12 avril 2010 - 03:54:22

Fichier

Bouhineau-Denis-1995.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00190299, version 1

Collections

Citation

Denis Bouhineau. Vers une approche déclarative pour les logiciels de dessins géométriques. 4e journée EIAO de l'ENS Cachan, 1995, Cachan, France. pp.55-66, 1995. 〈hal-00190299〉

Partager

Métriques

Consultations de la notice

248

Téléchargements de fichiers

70