Protoconcept Graphs: The Lattice of Conceptual Contents

Protoconcept graphs are part of Contextual Judgment Logic. Generalizing the well-developed theory of concept graphs, they express judgments with a negation on the level of concepts and relations by representing information given in a power context family in a rhetorically structured way. The conceptual content of a protoconcept graph is understood as the information which is represented in the graph directly, enlarged by the information deducible from it by protoconcept implications of the power context family. The main result of this paper is that conceptual contents of protoconcept graphs of a given power context family can be derived as extents of the so-called conceptual information context of the power context family, thus a generalization of the Basic Theorem on \(\overrightarrow{{\mathbb K}}-\)Conceptual Contents in [Wi03].

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

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

[3]  Frithjof Dau,et al.  Concept Graphs without Negations: Standard Models and Standard Graphs , 2003 .

[4]  Rudolf Wille Boolean Judgment Logic , 2001, ICCS.

[5]  Rudolf Wille,et al.  Boolean Concept Logic , 2000, ICCS.

[6]  Frithjof Dau,et al.  Background Knowledge in Concept Graphs , 2004, ICFCA.

[7]  Rudolf Wille,et al.  Existential Concept Graphs of Power Context Families , 2002, ICCS.

[8]  Gerd Stumme,et al.  A Contextual-Logic Extension of TOSCANA , 2000, ICCS.

[9]  Rudolf Wille,et al.  Semiconcept and Protoconcept Algebras: The Basic Theorems , 2005, Formal Concept Analysis.

[10]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[11]  I. Rumfitt,et al.  Making it Explicit: Reasoning, Representing, and Discursive Commitment. , 1997 .

[12]  Rudolf Wille Contextual logic summary , 2000 .

[13]  Rudolf Wille,et al.  Concept Graphs with Subdivision: A Semantic Approach , 2003, ICCS.

[14]  Susanne Prediger,et al.  Kontextuelle Urteilslogik mit Begriffsgraphen: ein Beitrag zur Restrukturierung der mathematischen Logik , 1998 .

[15]  Frithjof Dau,et al.  The Logic System of Concept Graphs with Negation , 2003, Lecture Notes in Computer Science.

[16]  Frithjof Dau,et al.  From Formal Concept Analysis to Contextual Logic , 2005, Formal Concept Analysis.

[17]  Rudolf Wille Conceptual Contents as Information - Basics for Contextual Judgment Logic , 2003, ICCS.

[18]  Rudolf Wille,et al.  The Lattice of Concept Graphs of a Relationally Scaled Context , 1999, ICCS.

[19]  Rudolf Wille,et al.  Conceptual Graphs and Formal Concept Analysis , 1997, ICCS.