Rules Dependencies in Backward Chaining of Conceptual Graphs Rules

Conceptual Graphs Rules were proposed as an extension of Simple Conceptual Graphs (CGs) to represent knowledge of form “ifAthenB”, where A and B are simple CGs. Optimizations of the deduction calculus in this KR formalism include a Backward Chaining that unifies at the same time whole subgraphs of a rule, and a Forward Chaining that relies on compiling dependencies between rules. In this paper, we show that the unification used in the first algorithm is exactly the operation required to compute dependencies in the second one. We also combine the benefits of the two approaches, by using the graph of rules dependencies in a Backward Chaining framework.

[1]  Jean-François Baget,et al.  Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..

[2]  Bernhard Ganter,et al.  Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.

[3]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[4]  Stéphane Coulondre,et al.  Piece Resolution: Towards Larger Perspectives , 1998, ICCS.

[5]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[6]  M. Mugnier,et al.  Représenter des connaissances et raisonner avec des graphes , 1996 .

[7]  Georg Gottlob,et al.  A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.

[8]  John F. Sowa,et al.  Handbook of Knowledge Representation Edited Conceptual Graphs 5.1 from Existential Graphs to Conceptual Graphs , 2022 .

[9]  John F. Sowa,et al.  Conceptual Graphs for a Data Base Interface , 1976, IBM J. Res. Dev..

[10]  Marie-Laure Mugnier,et al.  Concept Types and Coreference in Simple Conceptual Graphs , 2004, ICCS.

[11]  Marie-Laure Mugnier,et al.  Sound and Complete Forward and backward Chainingd of Graph Rules , 1996, ICCS.

[12]  Jean-François Baget,et al.  Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms , 2003 .

[13]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[14]  Harry S. Delugach,et al.  Conceptual Structures at Work , 2004, Lecture Notes in Computer Science.

[15]  Marie-Laure Mugnier,et al.  Conceptual Structures: Theory, Tools and Applications , 1998, Lecture Notes in Computer Science.

[16]  Eric Salvat,et al.  Theorem Proving Using Graph Operations in the Conceptual Graph Formalism , 1998, ECAI.

[17]  Jean-François Baget,et al.  Improving the Forward Chaining Algorithm for Conceptual Graphs Rules , 2004, KR.

[18]  Michael Jackman,et al.  Conceptual graphs , 1988 .

[19]  Marie-Laure Mugnier,et al.  Knowledge Representation and Reasonings Based on Graph Homomorphism , 2000, ICCS.

[20]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .