Abstract FR:

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