Vers une approche déclarative pour les logiciels de dessins géométriques - Archive ouverte HAL Access content directly
Conference Papers Year : 1995

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

(1)
1
Denis Bouhineau
  • Function : Author
  • PersonId : 748357
  • IdHAL : denisb

Abstract

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.

Keywords

Fichier principal
Vignette du fichier
Bouhineau-Denis-1995.pdf (1.17 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00190299 , version 1 (23-11-2007)

Identifiers

  • HAL Id : hal-00190299 , version 1

Cite

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⟩
115 View
257 Download

Share

Gmail Facebook Twitter LinkedIn More