Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
References [1] Aristotle. On memory and reminiscence, 350 B.C.E. Translated by J. I. Beare. [2] Jon Barwise and John Etchemendy. Visual information and valid reasoning. In Gerard Allwein and Jon Barwise, editors, Logical Reasoning with Diagrams, pages 3–25. Oxford University Press, Oxford, 1990. [3] Jon Barwise and John Etchemendy. Hyperproof. CSLI Publications, Stanford, CA, 1994. [4] Jon Barwise and John Etchemendy. Heterogeneous logic. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 211– 234. AAAI Press, Menlo Park, CA, 1995. [5] B. Chandrasekaran, Unmesh Kurup, Bonny Banerjee, John R. Josephson, and Robert Winkler. An architecture for problem solving in diagrams. In Diagrammatic Representation and Inference: Third International Conference, Diagrams 2004, pages 151–165, 2004. [6] Peter C.-H. Cheng. Electifying diagrams for learning: principles for complex representational systems. Cognitve Science, 26:685–736, 2002. [7] J. Decuyper, D. Keymeulen, and L. Steels. A hybrid architecture for modeling liquid behavior. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 731–751. AAAI Press, Menlo Park, CA, 1995. [8] Fred I. Dretske. Knowledge and the Flow of Information. The MIT Press, Cambridge, MA, 1981. [9] Brian V. Funt. Problem-solving with diagrammatic representations. In J. I. Glasgow, N. H. Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 33–68. The MIT Press and the AAAI Press, Cambridge, MA and Menlo Park, CA, 1980. 1 [10] Francesco Gardin and Bernard Meltzer. Analogical representation of naive physics. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 669–689. AAAI Press, Menlo Park, CA, 1995. [11] M. Giaquinto. Visualizing in arithmetic. Philosophy and Phenomenological Research, 53(2):385–396, 1993. [12] Gabriela Goldschmidt. On visual design thinking: the vis kids of architecture. Design Studies, 15(2):158–174, 1994. [13] Nelson Goodman. Languages of Art: an Approach to a Theory of Symbols. The Bobbs-Merrill Company, Indianapolis, IN, 1968. [14] Corin A. Gurr. Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages and Computation, 10(4):317–342, 1999. [15] Corin A. Gurr, John Lee, and Keith Stenning. Theories of diagrammatic reasoning: Distinguishing component problems. Minds and Machines, 8(4):533–557, 1998. [16] T. R. Ioerger. Diagrammatic semantics for spatial prepositions. In N. Hari Narayanan, editor, Reasoning with Diagrammatic Representations: Papers from the AAAI Spring Symposium, pages 191–194. AAAI Press, Menlo Park, CA, 1992. Technical Report SS-92-02. [17] K. R. Koedinger. Emergent properties and structural constraints: advantages of diagrammatic representations in reasoning and learning. In N. Hari Narayanan, editor, Reasoning with Diagrammatic Representations: Papers from the AAAI Spring Symposium, pages 151–156. AAAI Press, Menlo Park, CA, 1992. Technical Report SS-92-02. [18] Stephen M. Kosslyn. Elements of Graph Design. W. H. Freeman and Company, New York, 1994. [19] Zenon Kulpa. From picture processing to interval diagrams. Technical report, Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk, Warszawa, 2003. [20] Jill H. Larkin and Herbert A. Simon. Why a diagram is (sometimes) worth ten thousand words. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 69–109. AAAI Press, Menlo Park, CA, 1987. [21] Bryan Lawson. How Designers Think: the Design Process Demystified. Achitectural Press, Oxford, 1997. [22] Oliver Lemon and Ian Pratt. Spatial logic and the complexity of diagrammatic reasoning. Machine Graphics and Vision, 6(1):77–88, 1997. 2 [23] H. J. Levesque. Logic and the complexity of reasoning. Journal of Philosophical Logic, 17:355–389, 1988. [24] Robert K. Lindsay. Images and inference. In J. I. Glasgow, N. H. Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 111–135. The MIT Press and the AAAI Press, Cambridge, MA and Menlo Park, CA, 1988. [25] Richard K. Lowe. Speech strategies and inference in the exploration of scientific diagrams. Educational Psychology, 9(1):27–44, 1989. [26] I. Luengo. Diagrams in Geometry. PhD thesis, Department of Philosophy, Indiana University, 1995. [27] N. Hari Narayanan, Masaki Suwa, and Hiroshi Motoda. Hypothesizing behaviors from device diagrams. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 501–534. AAAI Press, Menlo Park, CA, 1995. [28] Jesse Norman. Differentiating diagrams: A new approach. In Theory and Application of Diagrams: First International Conference, Diagrams 2000, pages 105–116, 2000. [29] Gordon Novak. Diagrams for solving physical problems. In J. I. Glasgow, N. H. Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 111–135. The MIT Press and the AAAI Press, Cambridge, MA and Menlo Park, CA, 1988. [30] Patrick Olivier. Diagrammatic reasoning: an artificial intelligence perspective. In Alan F. Blackwell, editor, Thinking with Diagrams, pages 63–78. Kluwer Academic Publishers, Dordrecht, 2001. [31] Patrick Olivier, Andrew Ormsby, and Nakata Keiichi. Occupancy arraybased kinematic reasoning. Engineering Applications of Artificial Intelligence, 9(5):541–549, 1996. [32] Marian Petre. Why looking isn’t always seeing: Readership skills and graphical programming. Communications of the ACM, 38(6):33–44, 1995. [33] Raj M. Ratwani, J. Gregory Trafton, and Deborah A. Boehm-Davis. Thinking graphically: Extracting local and global information. In Proceedings of the Twenty-fifth Annual Conference of the Cognitive Science Society, pages 958–963, 2003. [34] Donald A. Schön. The Reflective Practioner: How Professionals Think in Action. Basic Books, New York, 1983. [35] Daniel L. Schwartz. Reasoning about the referent of a picture versus reasoning about the picture as the referent: an effect of visual realism. Memory and Cognition, 23(6):709–722, 1995. 3 [36] Atsushi Shimojima. Reasoning with diagrams and geometrical constraints. In J. Seligman and D. Westerstahl, editors, Logic, Language and Computation, Volume 1, pages 527–540. CSLI Publications, Stanford, CA, 1996a. [37] Atsushi Shimojima. On the Efficacy of Representation. PhD thesis, Department of Philosophy, Indiana University, 1996b. [38] Atsushi Shimojima. Derivative meaning in graphical representations. In Proceedings of the 1999 IEEE Symposium on Visual Languages, pages 212– 219. IEEE Computer Society, Washington, D. C., 1999. [39] Atsushi Shimojima. The inferential-expressive trade-off: A case study of tabular representations. In Diagrammatic Representation and Inference: Second International Conference, Diagrams 2002, pages 116–130, 2002. [40] Atsushi Shimojima and Takugo Fukaya. Do we really reason about the picture as the referent? In Proceedings of the Twenty-Fifth Annual Conference of the Cognitive Science Society, pages 1076–1081, 2003. [41] A. Sloman. Interactions between philosophy and ai: the role of intuition and non-logical reasoning in intelligence. Artificial Intelligence, 2:209–225, 1971. [42] Keith Stenning and Robert Inder. Applying semantic concepts to analyzing media and modalities. In Janice Glasgow, N. Hari Narayanan, and B. Chandrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 303–338. The MIT Press and the AAAI Press, Cambridge, MA and Menlo Park, CA, 1995. [43] Keith Stenning and Jon Oberlander. A cognitive theory of graphical and linguistic reasoning: Logic and implementation. Cognitive Science, 19(1):97–140, 1995. [44] Masaki Suwa, John S. Gero, and Terry A. Purcell. Unexpected discoveries and s-invention of design requirements: Important vehicles for a design process. Design Studies, 21(4):539–567, 2000. [45] Shirley Tessler, Yumi Iwasaki, and Kincho Law. Qualitative structural analysis using diagrammatic reasoning. In Janice Glasgow, N. Hari Narayanan, and B. Chanrasekaran, editors, Diagrammatic Reasoning: Cognitive and Computational Perspectives, pages 711–729. AAAI Press, Menlo Park, CA, 1995. [46] Shirley Tessler, Yumi Iwasaki, and Kincho Law. Qualitative structural analysis using diagrammatic reasoning. In IJCAI-95: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, Volume 1, pages 885–891, 1995. 4 [47] J. Gregory Trafton and Susan B. Trickett. A new model of graph and visualization usage. In Proceedings of the Twenty-Third Annual Conference of the Cognitive Science Society, pages 1048–1053, 2001. [48] E. R. Tufte. The Visual Display of Quantitative Information. Graphics Press, Cheshire, CN, 1983. [49] William Winn. Learning from maps and diagrams. Educational Psychology Review, 3(3):211–247, 1991. [50] Daniel Winterstein, Alan Bundy, and Mateja Jamnik. A proposal for automating diagrammatic reasoning in continuous domains. In Theory and Application of Diagrams: First International Conference, Diagrams 2000, pages 286–299, 2000. 5