Construction automatique de figures géometriques et programmation logique avec contraintes

Résumé : Les contributions théoriques de ce travail comportent : 1) la définition d'une représentation exacte et normale des nombres constructibles (expressions arithmétiques avec racines carrées imbriquées), 2) un algorithme pour tester l'égalité, la différence et l'inégalité entre ces nombres et 3) une méthode pour la vérification de contraintes redondantes vis a vis d'un systême de contraintes quadratiques. L'ensemble de ce travail est intégré dans un environnement CLP(géométrie) reprenant l'approche de la programmation logique avec contraintes. La principale contribution expérimentale porte sur un ensemble de 512 théorèmes de géométrie proposés par Chou. Elle consiste en la réduction du nombre d'extensions quadratiques nécessaires pour représenter ces situations géométriques grâce à un choix soigneux des constructions employées. Cette réduction s'accompagne du résultat suivant : la grande majorité des 512 théorèmes proposés par Chou peuvent être prise en compte de manière exacte avec un surcoût limité, en pratique les nombres rationnels sont suffisants. Le lien étroit de ce travail avec les préoccupations liées à la réalisation de tuteurs homme-machine font de cette approche un outils intéressant pour l'enseignement de la géométrie. Trois applications sont données dans ce domaine. La principale concerne une approche déclarative pour la définition et la manipulation de figures géométriques.
Type de document :
Thèse
Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00004922
Contributeur : Thèses Imag <>
Soumis le : vendredi 20 février 2004 - 11:19:14
Dernière modification le : jeudi 11 janvier 2018 - 06:14:33
Document(s) archivé(s) le : jeudi 13 septembre 2012 - 14:05:19

Identifiants

  • HAL Id : tel-00004922, version 1

Collections

Citation

Denis Bouhineau. Construction automatique de figures géometriques et programmation logique avec contraintes. Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 1997. Français. 〈tel-00004922〉

Partager

Métriques

Consultations de la notice

326

Téléchargements de fichiers

5526