Recherche Avancée

Thèse soutenue

Raisonner avec des opérations de graphes : graphes conceptuels et règles d'inférence

FR  |  
EN
Auteur / Autrice : Eric Salvat
Direction : Michel Chein
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1997
Etablissement(s) : Montpellier 2

Résumé

FR

Le modele des graphes conceptuels a ete propose par j. F. Sowa en 1984. Les graphes conceptuels simples sont des graphes etiquetes. L'operation de base, la projection, est un morphisme de graphes. Le modele des graphes conceptuels simples possede une semantique en logique du premier ordre qui est adequate et complete par rapport a la deduction. Un interet fondamental des graphes conceptuels reside donc dans la possibilite de pouvoir effectuer des raisonnements avec des operations de graphes. Dans ce travail, nous proposons une extension du modele par des regles d'inferences du type si g1 alors g2 ou g1 et g2 sont des graphes conceptuels. Nous presentons des operations de graphes permettant d'utiliser des regles de graphes conceptuels dans des mecanismes de chainage avant et de chainage arriere. Dans les deux cas les operations proposees sont adequates et completes par rapport a la deduction en logique du premier ordre. Les graphes conceptuels emboites constituent une autre extension du modele de base. L'emboitement permet d'ajouter de l'information a l'interieur meme d'un sommet concept. Cette information est donc interne a ce sommet, c'est-a-dire qu'elle est pertinente dans le contexte represente par ce sommet. Nous avons etendu les regles de graphes conceptuels aux graphes conceptuels emboites. Tout comme precedemment les mecanismes de chainage avant et de chainage arriere definis sont adequats et complets vis-a-vis de la deduction en logique du premier ordre.