From Formal Concept Analysis to Contextual Logic

A main goal of Formal Concept Analysis from its very beginning has been the support of rational communication. The source of this goal lies in the understanding of mathematics as a science which should encompass both its philosophical basis and its social consequences. This can be achieved by a process named ‘restructuring'. This approach shall be extended to logic, which is based on the doctrines of concepts, judgments, and conclusions. The program of restructuring logic is named Contextual Logic (CL). A main idea of CL is to combine Formal Concept Analysis and Concept Graphs (which are mathematical structures derived from conceptual graphs). Concept graphs mathematize judgments which combine concepts, and conclusions can be drawn by inferring concept graphs from others. So we see that concept graphs can be understood as a crucial part of the mathematical implementation of CL, based on Formal Concept Analysis as the mathematization of the doctrine of concepts.

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

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

[3]  Rudolf Wille,et al.  On the Contextual Logic of Ordinal Data , 2000, ICCS.

[4]  Peter Becker,et al.  The ToscanaJ Suite for Implementing Conceptual Information Systems , 2005, Formal Concept Analysis.

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

[6]  Gerd Stumme,et al.  Conceptual Structures: Broadening the Base , 2001, Lecture Notes in Computer Science.

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

[8]  Julia Klinger,et al.  Semiconcept Graphs with Variables , 2002, ICCS.

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

[10]  Peter Aczel etc.  HANDBOOK OF MATHEMATICAL LOGIC , 1999 .

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

[12]  Sebastian Rödl.  Robert B. Brandom, Making It Explicit. Reasoning, Representing, and Discursive Commitment , 1999 .

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

[14]  Gerd Stumme,et al.  Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis , 1999, ICCS.

[15]  Rudolf Wille.  Transdisziplinarität und allgemeine Wissenschaft , 2002 .

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

[17]  Galia Angelova,et al.  Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.

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

[19]  Rudolf Wille.  The contextual-logic structure of distinctive judgements , 2001 .

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

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

[22]  Susanne Prediger,et al.  Simple Concept Graphs: A Logic Approach , 1998, ICCS.

[23]  Yi Zhang.  Logic and Algebra , 2002 .

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

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

[26]  H. Keisler,et al.  Handbook of mathematical logic , 1977 .

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

[28]  Silke Pollandt,et al.  Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations , 2002, ICCS.

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

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

[31]  Peter Øhrstrøm,et al.  Working with Conceptual Structures - Contributions to ICCS 2000 , 2000 .

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

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

[34]  Julia N. Klinger,et al.  Contextual boolean logic : how did it develop? , 2003 .

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

[36]  Bernhard Ganter,et al.  Using Conceptual Structures: Contributions to ICCS 2003 , 2003 .

[37]  Bernhard Ganter,et al.  Contextual Attribute Logic , 1999, ICCS.

[38]  Joachim Hereth Correia,et al.  Nested Concept Graphs with Cuts : Mathematical Foundations , 2003 .

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

[40]  Rudolf Wille.  Triadic Concept Graphs , 1998, ICCS.

[41]  Susanne Prediger.  Nested Concept Graphs and Triadic Power Context Families , 2000, ICCS.

[42]  Arnulf Deppermann,et al.  Robert Β. Brandom: Expressive Vernunft : Begründung, Repräsentation und diskursive Festlegung, Frankfurt am Main, Suhrkamp, 2000, 1014 S. - Robert B. Brandom: Begründen und Begreifen : eine Einführung in den Inferentialismus, Frankfurt a.M., Suhrkamp 2001. 264 S. , 2002 .

[43]  I. Levi,et al.  Making It Explicit , 1994 .

[44]  Hartmut von Hentig.  Magier oder Magister? : über die Einheit der Wissenschaft im Verständigungsprozeß , 1972 .

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

[46]  Robert Brandom,et al.  Begründen und Begreifen : eine Einführung in den Inferentialismus , 2001 .

[47]  Rudolf Wille,et al.  Algebras of semiconcepts and double Boolean algebras , 2000 .

[48]  Bernhard Ganter,et al.  Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.

[49]  Silke Pollandt.  Relational constructions on semiconcept graphs , 2001 .

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