Abstract
This paper introduces implicational concept graphs as special existential concept graphs of power context families and shows how such implicational concept graphs give rise to a mathematical semantics of implications. The advantage of the offered mathematical semantics is that it opens the door to mathematical structure theory with its rich structural insights and patterns of argumentations. As a consequence, it could be proved that the implicational theory of implicational concept graphs is equivalent (in the main) to the theory of attribute implications of formal contexts. This result could even be generalized to an analogue result for clausal concept graphs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barwise, J., Seligman, L.: Information flow: the logic of distributive systems. Cambridge University Press, Cambridge (1997)
Brandom, R.B.: Making it explicit. Reasoning, representing, and discursive commitment, Havard University Press, Cambridge (1994)
Ganter, B., Wille, R.: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg (1999); German version: Springer, Heidelberg (1996)
Ganter, B., Wille, R.: Contextual attribute logic. In: Tepfenhart, W., Cyre, W. (eds.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 377–388. Springer, Heidelberg (1999)
Sowa, J.F.: Conceptual structures: information processing in mind and machine. Adison-Wesley, Reading (1984)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, Reidel, Dordrecht-Boston, pp. 445–470 (1982)
Wille, R.: Contextual Logic summary. In: Stumme, G. (ed.) Working with conceptual structures: Contributions to ICCS 2000, pp. 265–276. Shaker-Verlag, Aachen (2000)
Wille, R.: Existential concept graphs of power context families. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 382–395. Springer, Heidelberg (2002)
Wille, R.: Conceptual content as information - basics for Conceptual Judgment Logic. In: de Moor, A., Lex, W., Ganter, B. (eds.) ICCS 2003. LNCS (LNAI), vol. 2746, pp. 1–15. Springer, Heidelberg (2003)
Wille, R.: A Contextual Logic mathematization of Brandom’s inferential semantics (in preparation)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wille, R. (2004). Implicational Concept Graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds) Conceptual Structures at Work. ICCS 2004. Lecture Notes in Computer Science(), vol 3127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27769-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-27769-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22392-4
Online ISBN: 978-3-540-27769-9
eBook Packages: Springer Book Archive