Linguistique de l’écrit

Revue internationale en libre accès

Collections | Livre | Chapitre

193448

Rules dependencies in backward chaining of conceptual graphs rules

Jean-François Baget

pp. 102-116

Résumé

Conceptual Graphs Rules were proposed as an extension of Simple Conceptual Graphs (CGs) to represent knowledge of form "if A then B", 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.

Détails de la publication

Publié dans:

Hitzler Pascal, Øhrstrøm Peter (2006) Conceptual structures: inspiration and application: 14th international conference on conceptual structures, iccs 2006, aalborg, denmark, july 16-21, 2006. proceedings. Dordrecht, Springer.

Pages: 102-116

DOI: 10.1007/11787181_8

Citation complète:

Baget Jean-François, 2006, Rules dependencies in backward chaining of conceptual graphs rules. In P. Hitzler & P. Øhrstrøm (eds.) Conceptual structures: inspiration and application (102-116). Dordrecht, Springer.