Abstract
[9]summarised a program of research into diagrammatic reasoning based on the semantics of diagrams. It distinguished direct diagrams from indirect ones by whether there was a direct semantic interpretation of some spatial relations in the diagram or whether all the interpreted spatial properties were mediated by a concatenation relation, as is the case in written natural language. So an Euler diagram is direct because its spatial property of containment in a labelled closed curve is directly interpreted as membership in a set designated by the label. In a typical abstract network diagram, such as a semantic graph, the nodes-and-link configurations take the place of the concatenation operator (as well as other matters), and play similar roles in determining the semantics of the diagram indirectly as the concatenation operator does in written natural and logical languages. The hallmark of indirectness is that the concatenation relation (whether one- or two-dimensional) has itself no semantic interpretation—only a syntactic one.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Anderson, J.R.: The Architecture of Cognition. Psychology Press, Hove (2013)
Doets, K.: From Logic to Logic Programming. MIT Press, Cambridge (1994)
Euler, L.: Lettres à une princesse d’Allemagne: sur divers sujets de physique & de philosophie. PPUR presses polytechniques, Lausanne (2003)
McCarthy, J.: Circumscription-a form of non-monotonic reasoning. In: Readings in Artificial Intelligence, pp. 466–472. Elsevier (1981)
Monaghan, P., Stenning, K.: Generalising individual differences and strategies across different deductive reasoning domains. In: Thinking: Psychological Perspectives on Reasoning, Judgment and Decision Making, p. 45. Wiley, Hoboken (2004)
Shanahan, M.: The event calculus explained. In: Wooldridge, M.J., Veloso, M. (eds.) Artificial Intelligence Today. LNCS (LNAI), vol. 1600, pp. 409–430. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48317-9_17
Shoham, Y.: A semantical approach to non-monotonic logics. In: Proceedings of Tenth International Joint Conference on Artificial Intelligence, pp. 388–392 (1987)
Stenning, K.: Anaphora as an approach to pragmatics. MIT Press, Cambridge (1978)
Stenning, K.: Seeing Reason: Image and Language in Learning to Think. Oxford University Press, Oxford (2002)
Stenning, K., Van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2012)
Stenning, K., Yule, P.: Image and language in human reasoning: a syllogistic illustration. Cognit. Psychol. 34(2), 109–159 (1997)
Van Lambalgen, M., Hamm, F.: The Proper Treatment of Events, vol. 6. Wiley, Hoboken (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Stenning, K. (2018). Diagrams and Nonmonotonic Logic: What Is the Cognitive Relation?. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-91376-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91375-9
Online ISBN: 978-3-319-91376-6
eBook Packages: Computer ScienceComputer Science (R0)