Geomus : un resolveur de problemes de geometrie qui mobilise ses connaissances en fonction du probleme pose

par Jean-Michel Bazin

Thèse de doctorat en Sciences appliquées

Sous la direction de Dominique Pastre.

Soutenue en 1993

à Paris 6 .

mots clés

Résumé

Construire un demonstrateur automatique de theoremes capable de resoudre des problemes de geometrie presente de nombreuses difficultes. Devant un exercice de geometrie, quelles doivent-etre les connaissances mises en uvre? comment combiner des heuristiques? comment introduire des objets dans la figure? pour construire le systeme geomus (geometrie en muscadet) qui est presente ici, on s'est inspire du comportement humain. A l'aide d'observations de mathematiciens au travail, on a adapte les idees de m. Chi au domaine de la geometrie elementaire. On propose un modele conceptuel de resolution qui prend en compte l'enrichissement du probleme: l'utilisation de sous-figures caracteristiques permet au systeme d'etiqueter le probleme. Le systeme geomus resout les exercices a l'aide de metaconnaissances qui lui permettent de selectionner les connaissances a appliquer en fonction du probleme pose. Le systeme utilise une representation interne du probleme et introduit (si necessaire) des objets non specifies dans l'enonce. Ce travail est une contribution a l'elaboration d'un resolveur de problemes susceptible d'etre integre a un environnement interactif d'apprentissage avec ordinateur

Titre traduit

Geomus: a geometrical problem solver which mobilise its knowledge according to the problem

Pas de résumé disponible.