Representations and strategies for solving spatial problems with diagrams
Spatial problems (SP) are inevitable in reasoning with diagrams. In this paper, we investigate general representations and computational strategies for a SP-solver such that it can accept problems from a human in a high-level language and output the solution without human intervention. We propose a language in which a variety of domain-independent 2D SPs can be specified in terms of constraints. The constraints are specified in first-order logic over the real domain using a vocabulary of objects, properties, relations and actions. We also propose two general and independent computational strategies - constraint satisfaction and spatial search -for autonomously solving the SPs. Ideas about how to make these strategies computationally efficient are discussed and illustrated by examples. © 2007 IEEE.
Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2007
Banerjee, B., & Chandrasekaran, B. (2007). Representations and strategies for solving spatial problems with diagrams. Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2007, 183-186. https://doi.org/10.1109/VLHCC.2007.46