Abstract
To advance the understanding of different diagrammatic reasoning architectures that reason directly with images, we examine the relationship between Anderson’s Inter-Diagrammatic Reasoning (IDR) architecture and Furnas’ BITPICT architecture using the technique of cross-implementation. Implementing substantial functionality of each in the other, and noting what is easy and what is difficult, yields insights into the two architectures and such systems in general.
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
Lindsay, R.K.: Knowing about diagrams. In: Anderson, M., McCartney, R. (eds.) Learning from Diagrams. Special Issue on Diagrammatic Reasoning of Journal of Machine Vision and Graphics, vol. 6(1) (1997)
Lindsay, R.K.: Using diagrams to understand geometry. Computational Intelligence 14, 222–256 (1998)
Jamnik, M.: Mathematical Reasoning with Diagrams. CSLI Publications, Stanford (2001)
Furnas, G.: Formal models for imaginal deduction. In: Proceedings of the Twelfth Annual Conference of the Cognitive Science Society, Cambridge, Mass., July 25-28, pp. 662–669. Lawrence Erlbaum, Hillsdale (1990)
Furnas, G.: Reasoning with Diagrams Only. In: Narayanan, N. (ed.) Proceedings of AAAI Spring Symposium on Reasoning with Diagrammatic Representations. AAAI Press, Menlo Park (1992)
Furnas, G., Qu, Y.: Shape Manipulation using Pixel Rewrites (at Visual Computation 2002). In: Proceedings of the Distributed Multimedia Systems 2002, San Francisco, CA, September 26-29, pp. 630–639 (2002)
Furnas, G., Qu, Y.: Using Pixel Rewrites for Shape-Rich Interaction. In: Proceedings of the Human Factors in Computing Systems CHI 2003 Conference, pp. 369–376. ACM, New York (2003)
Furnas, G., Qu, Y., Shrivastava, S., Peters, G.: The use of intermediate graphical constructions in problem solving with dynamic, pixel-level diagrams. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889, pp. 314–329. Springer, Heidelberg (2000)
Anderson, M., McCartney, R.: Inter-diagrammatic reasoning. In: Proc. IJCAI 1995, Montreal, Canada, pp. 878–884 (1995)
Anderson, M., McCartney, R.: Diagrammatic reasoning and cases. In: Proc. AAAI 1996, Portland, OR, pp. 1004–1009 (1996)
Anderson, M.: Toward diagram processing: A diagrammatic information system. In: Proc. AAAI 1999, Orlando, FL, pp. 394–401 (1999)
Anderson, M., McCartney, R.: Diagram processing: computing with diagrams. Artif. Intell. 145(1-2), 181–226 (2003)
El-Kafrawy, P.: Graphical Deadlock Avoidance. In: International Conference on Advances in Computing, Control, and Telecommunication Technologies (2009)
Lathrop, S.: Extending Cognitive Architectures with Spatial and Visual Imagery Mechanisms, Ph.D. Dissertation in Computer Science and Engineering, University of Michigan (2008)
Lathrop, S., Laird, J.: Extending Cognitive Architectures with Mental Imagery. In: Proceedings of the Second Conference on Artificial General Intelligence (AGI 2009) Arlington, Virginia, March 6-9 (2009)
Yamamoto, K.: Visulan: A Visual Programming Language for Self-Changing Bitmaps. In: Proc. of International Conference on Visual Information Systems, pp. 88–96. Victoria Univ. of Tech. cooperation with IEEE, Melbourne (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Anderson, M., Furnas, G. (2010). Relating Two Image-Based Diagrammatic Reasoning Architectures. In: Goel, A.K., Jamnik, M., Narayanan, N.H. (eds) Diagrammatic Representation and Inference. Diagrams 2010. Lecture Notes in Computer Science(), vol 6170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14600-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-14600-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14599-5
Online ISBN: 978-3-642-14600-8
eBook Packages: Computer ScienceComputer Science (R0)