Abstract
Diagrammatic reasoning (DR) requires perceiving information from a diagram and modifying/creating objects in a diagram according to problem solving needs. The perceptions and actions in most DR systems are hand-coded for the specific application. The absence of a general framework for executing perceptions/actions poses as a major hindrance to using them opportunistically. Our goal is to develop a framework for executing a wide variety of specified perceptions and actions across tasks/domains without human intervention. We observe that the domain/task-specific perceptions/actions can be transformed into domain/task-independent spatial problems. In our framework, a human problem solver specifies a spatial problem as a quantified constraint satisfaction problem (QCSP) in the real domain using an open-ended vocabulary of properties, relations and actions involving three types of spatial objects – points, curves, regions. Traditional approaches solve such QCSPs by computing the equivalent quantifier-free algebraic expression, the complexity of which is inherently doubly exponential. In this paper, we investigate a domain-independent framework of spatial search for solving 2D spatial problems specified as QCSPs. The framework searches for the solution in the space of the diagram instead of in the space of algebraic equations/inequalities. We prove the correctness of our approach and show that it is more efficient than cylindrical algebraic decomposition, a well-known algebraic approach, by executing perceptions/actions in two army applications.
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
Chandrasekaran, B., Kurup, U., Banerjee, B., Josephson, J.R., Winkler, R.: An architecture for problem solving with diagrams. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 151–165. Springer, Heidelberg (2004)
Pisan, Y.: A visual routines based model of graph understanding. In: Proc. 17th Annual Conf. Cognitive Science Society. Erlbaum, Pittsburgh (1995)
Tessler, S., Iwasaki, Y., Law, K.: Qualitative structural analysis using diagrammatic reasoning. In: Proc. 14th Intl. Joint Conf. AI, Montreal, pp. 885–893 (1995)
Lindsay, R.K.: Using diagrams to understand geometry. Computational Intelligence 14(2), 238–272 (1998)
Jamnik, M.: Mathematical Reasoning with Diagrams: From Intuition to Automation. CSLI Press/Stanford University, CA (2001)
Ferguson, R.W.: Magi: Analogy-based encoding using symmetry and regularity. In: Proc. 16th Annual Conf. Cognitive Science Society, Atlanta, GA, pp. 283–288 (1994)
Banerjee, B.: Spatial problem solving for diagrammatic reasoning. PhD thesis, Dept. of Computer Science & Engineering, The Ohio State University, Columbus (2007)
Egenhofer, M.J., Franzosa, R.D.: Point set topological relations. Intl. Journal of Geographical Information Systems 5, 161–174 (1991)
Frank, A.U.: Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages and Computing 3, 343–371 (1992)
Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.: RCC: A calculus for region based qualitative spatial reasoning. GeoInformatica 1, 275–316 (1997)
Brown, C.W., Davenport, J.H.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In: Proc. Intl. Symp. Symbolic and Algebraic Computation, pp. 54–60. ACM, New York (2007)
Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation 12(3), 299–328 (1991)
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
Banerjee, B., Chandrasekaran, B. (2010). A Spatial Search Framework for Executing Perceptions and Actions in Diagrammatic Reasoning. 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_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-14600-8_15
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)