Conceptual Graphs and Formal Concept Analysis

It is shown how Conceptual Graphs and Formal Concept Analysis may be combined to obtain a formalization of Elementary Logic which is useful for knowledge representation and processing. For this, a translation of conceptual graphs to formal contexts and concept lattices is described through an example. Using a suitable mathematization of conceptual graphs, basics of a unified mathematical theory for Elementary Logic are proposed.

[1]  John F. Sowa,et al.  Syntax, Semantics, and Pragmatics of Contexts , 1995, ICCS.

[2]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[3]  Rudolf Wille.  Restructuring mathematical logic: an approach based on Peirce's pragmatism , 1996 .

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

[5]  Stephen W. Smoliar,et al.  J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine , 1987, Artif. Intell..

[6]  R. Wille.  Concept lattices and conceptual knowledge systems , 1992 .

[7]  Peter W. Eklund,et al.  Conceptual Structures: Knowledge Representation as Interlingua , 1996, Lecture Notes in Computer Science.

[8]  Rudolf Wille.  Begriffsdenken: Von der griechischen Philosophie bis zur Künstlichen Intelligenz heute , 1995 .

[9]  Peter W. Eklund,et al.  Conceptual structures: current research and practice , 1992 .

[10]  Charles Sanders Peirce,et al.  Phänomen und Logik der Zeichen , 1993 .

[11]  Rudolf Wille,et al.  Conceptual Structures of Multicontexts , 1996, ICCS.

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

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

[14]  John F. Sowa,et al.  Conceptual Structures: Applications, Implementation and Theory , 1995, Lecture Notes in Computer Science.

[15]  Rudolf Wille,et al.  A Triadic Approach to Formal Concept Analysis , 1995, ICCS.

[16]  Bernhard Ganter,et al.  Formale Begriffsanalyse - mathematische Grundlagen , 1996 .

[17]  John F. Sowa,et al.  Conceptual graphs summary , 1992 .