Title:Extended Conceptual Graph Reasoning
Author: Stéphane Lapalut
Reference: (submitted to ICCS'97 "Fulfilling the Peirce's Dream")

---

Abstract: Despite the numerous effort put on one hand the simple conceptual graph formalism, and on the other hand the Peirce existential graph theory, the only connection between the two, say the extended conceptual graphs, remains the 1984 Sowa's proposal. But as we show it, this extension lead to some problems with respects to the so-called ``context'' notion and when translating extended conceptual graphs to first order logic formulas. In this work, we propose a new approach of the extended conceptual graphs. We precise formations rules and rules of inference for these graphs, adapted from the Peirce proposal. An example is carried out to demonstrates their adequacy. We conclude with the pro and cons of this proposal.

---

Keywords: reasoning, extended conceptual graphs, inference, formation rule.