Learn More
Formal Concept Analysis has been originally developed as a subfield of Applied Mathematics based on the mathematization of concept and concept hierarchy. Only after more than a decade of development, the connections to the philosophical logic of human thought became clearer and even later the connections to Piaget’s cognitive structuralism which Thomas(More)
1 Triadic Con tex t s Formal Concept Analysis views concepts as means of intersubjective understanding in situations of purpose-oriented action. The formalization of concepts and concept systems shall especially support the interpretat ion and communicat ion of conceptual relationships in different situations. This requires tha t the formalization of(More)
The \Formal Concept Analysis" project was born around 1980, when a research group in Darmstadt, Germany, begun to systematically develop a framework for lattice theory applications. It was rst presented to the mathematical public in a programmatic lecture given at the 1981 Bann conference on Ordered Sets 5]. Since then, several hundred articles 1] have been(More)
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,(More)
Contextual Attribute Logic is part of Contextual Concept Logic. It may be considered as a contextual version of the Boolean Logic of Signs and Classes. In this paper we survey basic notions and results of a Contextual Attribute Logic. Main themes are the clause logic and the implication logic of formal contexts. For algorithmically computing bases of those(More)