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.
Origine : Fichiers produits par l'(les) auteur(s)