Title: Logique et réseau sémantique : le raisonnement sur les graphes conceptuels
Author: Stéphane Lapalut
Reference: Premières Journées du Séminaire Junior du L.I.P.N., JSJ'96, Université Paris Nord, Institut Galilée, LIPN, mars 1996
article (compressed postscript file (62552 bytes)
Abstract: Dans le formalisme des graphes conceptuels coexistent deux ensembles de règles, provenant de sa consitution progressive : les règles de dérivation canonique, agissant sur la structure des graphes au sens algébrique, et les règles d'inférence, transpositions des règles du système beta de Peirce. Malgré de récentes propositions, ces deux ensembles restent dissociés dans leurs utilisations. Il nous semble primordiale de clarifier le statut de ces deux ensembles l'un par rapport à l'autre, permettant leur plein usage dans la mise en oeuvre de raisonnement sur les graphes conceptuels. Pour ce faire, nous proposons d'exprimer les règles des deux ensembles sur la même base, en utilisant des règles de grammaires de graphes. Nous présentons ici la démarche suivie et le modèle algébrique raffiné des graphes conceptuels permettant l'expression des règles de dérivation canonique. Nous discutons ensuite de l'expression des règles d'inférence, utilisant notamment la notion clef de contexte, telle qu'elle est actuellement utilisée dans le formalisme des graphes conceptuels. Nous concluons par les résultats espérés et leurs importances pour l'utilisation des graphes conceptuels pour la modélisation de raisonnements.
Keywords: dérivation canonique, règles d'inférence, graphes conceptuels, raisonnement, grammaires de graphes, modèle algébrique.