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
Document type :
Conference papers
Complete list of metadatas

https://telearn.archives-ouvertes.fr/hal-00190299
Contributor : Jerome Zeiliger <>
Submitted on : Friday, November 23, 2007 - 8:39:54 AM
Last modification on : Wednesday, September 18, 2019 - 1:31:52 AM
Long-term archiving on : Monday, April 12, 2010 - 3:54:22 AM

File

Bouhineau-Denis-1995.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨hal-00190299⟩

Share

Metrics

Record views

301

Files downloads

104