Boolean Judgment Logic

How to introduce negations for formal (semi-)concepts of formal contexts was shown in "Boolean Concept Logic" [Wi00a]. For formal judgments, which are represented by concept graphs of power context families, there is the problem that the negation of a judgment is no more a judgment since judgments are understood as valid propositions. This problem is solved in "Boolean Judgment Logic" by introducing the "negating inversion". This leads to basic algebras of (semi-)concept graphs of power context families which are investigated in this paper to obtain a mathematical foundation of Boolean Judgment Logic. The basic notions and relationships are illustrated by an example concerned with an information system for supporting the configuration of PCs.

[1]  Rudolf Wille,et al.  Lattices in Data Analysis: How to Draw Them with a Computer , 1989 .

[2]  Julia Klinger.  Simple Semiconcept Graphs: A Boolean Logic Approach , 2001, ICCS.

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

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

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

[6]  William M. Tepfenhart,et al.  Conceptual Structures: Standards and Practices , 1999, Lecture Notes in Computer Science.

[7]  Rudolf Wille.  Contextual logic summary , 2000 .

[8]  I. Rival.  Algorithms and Order , 1988 .

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

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

[11]  Frithjof Dau,et al.  Concept Graphs as Semantic Structures for Contextual Judgment Logic , 2007, CLA.

[12]  John F. Sowa,et al.  Conceptual Structures: Fulfilling Peirce's Dream , 1997, Lecture Notes in Computer Science.

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

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

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

[16]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[17]  Frithjof Dau,et al.  Negations in Simple Concept Graphs , 2000, ICCS.