Aligning logical and psychological perspectives on diagrammatic reasoning

Artificial Intelligence Review

Volumn 15, Issue 1-2, 2001, Pages 29-62

  Stenning, Keith ^a   Lemon, Oliver ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b STANFORD UNIVERSITY   (United States)

Author keywords

Availability; Complexity; Constraints; Diagrammatic reasoning; Direct interpretation; Efficacy; Formal semantics; Logic; Psychology

Indexed keywords

DIAGRAMMATIC REASONING; DIAGRAMMATIC REPRESENTATION SYSTEMS;

COMPUTATIONAL COMPLEXITY; CONSTRAINT THEORY; FORMAL LOGIC; GRAPHIC METHODS; KNOWLEDGE REPRESENTATION; PSYCHOLOGY COMPUTING; SEMANTICS;

ARTIFICIAL INTELLIGENCE;

EID: 0035273121     PISSN: 02692821     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1006617525134     Document Type: Article

References (55)

1. Imperfect information flow
2. Tracts in theoretical computer science
3. Surrogate reasoning
4. Hybrid languages
5. On the relationship between the natural logic of reasoning and standard logic
6. Linguistic processes in deductive reasoning
7. The modal logic of inequality
8. Linear diagrams for syllogisms (with relationals)
9. Mental representation, conceptual spaces, and metaphors
10. Modal logic with names
11. Topological inference
12. On the isomorphism (or otherwise) of representations
13. Formal semantics of visual languages using spatial reasoning
14. Studies in logic, language, and computation
15. Ordinary pictures, mental representations, and logical forms
16. Constructing spatial images: A strategy in reasoning
17. Why a diagram is (sometimes) worth 10,000 words
18. Semantical foundations of spatial logics
19. Review of "logic and visual information"
20. Theories of representation
21. Logical and diagrammatic reasoning: The complexity of conceptual space
22. On the incompleteness of modal logics of space: Advancing complete modal logics of place
23. Spatial logic and the complexity of diagrammatic reasoning
24. On the insufficiency of linear diagrams for syllogisms
25. Putting channels on the map: A channel-theoretic semantics of maps?
26. Efficacy of diagrammatic reasoning (editorial)
27. Making believers out of computers
28. Logic and the complexity of reasoning
29. Computational properties of qualitative spatial reasoning: First results
30. Individual differences in proof development strategy following multimodal logic teaching
31. Hyperproof: The multi-modal moral
32. Fundamental aspects of cognitive representation
33. A complete axiom system for polygonal mereotopology of the real plane
34. Extending the expressive power of semantic networks
35. Mental representations
36. Distinguishing semantic from processing explanations of the usability of representations: Applying expressiveness analysis to animation
37. Embedding logic in communication: Lessons from the logic classroom
38. The effect of graphical and sentential logic teaching on spontaneous external representation
39. Applying semantic concepts to analyzing media and modalities
40. A cognitive theory of graphical and linguistic reasoning: Logic and implementation
41. Assigning information to modalities: Comparing graphical treatments of the syllogism
42. Image and language in human reasoning: A syllogistic ilustration
43. The linguistic realisation of information packaging
44. Correspondence theory
45. Visual programming languages: The empirical evidence for and against