Concept Graphs as Propositions of First Order Logic
by
Frithjof Dau

Concept graphs (CGs) are a formal system of logic based on the existential graphs of Charles Sanders Peirce and semantic networks. They are mathematically precise and computationally tractable structures, but have a graphic representation which is humanly readable. Therefore the were used in a variety of applications for computer linguistics, knowledge representation, information retrieval or database design. In this talk, a fragment of CGs which is isomorphic to first order logic will be presented. In particular, a sound and complete calculus is developed. It is based on the appropriate calculus of Peirce of existential graphs.

Date received: February 1, 2001