Distinctions with differences: Comparing criteria for distinguishing diagrammatic from sentential systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1889, Issue , 2000, Pages 132-148

  Stenning, Keith ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

ABSTRACT SYNTAX; EXISTENTIAL GRAPHS; INDIRECT SYSTEMS; S-SYSTEMS; SEMANTIC INTERPRETATION;

GRAPHIC METHODS;

EID: 34249868833     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44590-0_15     Document Type: Conference Paper

References (16)

1. R. B. Nelsen. 1993. Proofs without Words: Exercises in Visual Thinking. The Mathematical Association of America.
2. Barwise& Etchemendy Barwise, J. & Etchemendy, J. (1990) Visual information and valid reasoning visualization in mathematics. In W. Zimmerman (ed.) Mathematical Association of America: Washington, D. C.
3. Goodman, N. (1968) The languages of Art. Bobs Merrill: Indianapolis.
4. Gurr, C., Lee, J., & Stenning, K. (1998) Theories of diagrammatic reasoning: distinguishing component problems. Minds and Machines 8(4), pps. 533–557.
5. Netz, R. (1999) The origins of proof in Greek Geometry. CUP.
6. Scotto di Luzio, P. (2000) Formality and logical systems. This volume.
7. Shimojima, A. (1999) The graphic linguistic distinction. Artificial Intelligence Review, 13(4), 313–335.
8. Shin, S. (1998) Reading Peirce’s existential graphs. Thinking with Diagrams Conference: Aberystwyth.
9. Shin, S. (forthcoming) Iconicity in logical systems MIT Press.
10. Sowa, J. F. (1984) Conceptual Structures: Information Processing in Mind and Machine Addison Wesley.
11. Steedman, M. (2000) The syntactic process: language, speech and communication, MIT Press: Cambridge, Mass.
12. Stenning, K. (1992) Distinguishing conceptual and empirical issues about mental models. In Rogers, Y., Rutherford, A. and Bibby, P. (eds.) Models in the Mind. Academic Press. pps. 29–48.
13. Stenning, K. (forthcoming) Seeing Reason: image and language in learning to think. Oxford University Press: Oxford.
14. Stenning, K. & Lemon, O. (in press) Aligning logical and psychological perspectives on diagrammatic reasoning. Artificial Intelligence Review.
15. Stenning, K. & Oberlander, J. (1995) A cognitive theory of graphical and linguistic reasoning: logic and implementation. Cognitive Science, 19, pps. 97–140.
16. Stenning, K., Inder, R., & Neilson, I. (1995) Applying semantic concepts to the media assignment problem in multi-media communication. In Chandrasekaran, B. & J. Glasgow (eds.) Diagrammatic Reasoning: Computational and Cognitive Perspectives on Problem Solving with Diagrams. MIT Press. pps. 303-338.