QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC

Konstantine Arkoudas, Selmer Bringsjord, Sangeet Khemlani

Abstract

Systems for qualitative spatial reasoning (QSR) are usually formulated as relation algebras, and reasoning in such systems is performed by constraint-satisfaction techniques. While this is often adequate, it is a rather inexpressive framework that cannot model and solve many spatial reasoning problems; it can also complicate the combination of different spatial formalisms, e.g., the combination of topological with metric primitives, or absolute orientation with relative orientation. Here we suggest an alternative approach, whereby spatial information is expressed in a rich quantified 3-valued logic, equipped with a novel semantics for dealing with incomplete information. Decidability is ensured by a systematic compilation into propositional logic and the use of SAT solvers. To illustrate, we define and implement a new system for two-dimensional positional reasoning that combines Frank’s cardinal-direction calculus, the ip- op calculus for reasoning about relative orientation, and various new positional primitives. Unlike previous work, the system uses diagrams as well as symbolic formulas. In particular, the logic we introduce is heterogeneous, meaning that it combines symbolic and diagrammatic representation and inference.

References

  1. Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832- 843.
  2. Arkoudas, K. and Bringsjord, S. (2009). Vivid: An AI Framework for Heterogeneous Problem Solving. Artificial Intelligence. In press, doi:10.1016/ j.artint.2009.06.002.
  3. Frank, A. U. (1991). Qualitative Spatial Reasoning with Cardinal Directions. In Kaindl, H., editor, Proc. 7th Austrian Conference on Artificial Intelligence, pages 157-167. Springer.
  4. Freksa, C. (1992). Using Orientation Information for Qualitative Spatial Reasoning. In Frank, A. U., Campari, I., and Formentini, U., editors, Theories and methods of spatio-temporal reasoning in geographic space, pages 162-178. Springer.
  5. Isli, A., Haarslev, V., and Möller, R. (2001). Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning. Technical Report FBI-HH-M-304/01, Fachbereich Informatik, Universitöt Hamburg.
  6. Ligozat, G. F. (1993). Qualitative triangulation for spatial reasoning. In Frank, A. U. and Campari, I., editors, Spatial Information Theory. A Theoretical Basis for GIS. European Conference, COSIT'93, volume 716 of LNCS, pages 54-68. Springer.
  7. 5We have not had space to cover that aspect of the sys-
  8. tem here, but we discuss it in detail elsewhere (Arkoudas and Bringsjord, 2009).
  9. Randell, D. A., Cui, Z., and Cohn, A. G. (1992). A spatial logic based on regions and connection. In Proceedings of the Third International Conference on Knowledge Representation and Reasoning, pages 165-176.
  10. Röhrig, R. (1997). Representation and Processing of Qualitative Orientation Knowledge. In Proceedings of the 21st Annual German Conference on Artificial Intelligence, volume 1303 of LNCS, pages 219-230.
  11. Wallgrün, J. O., Frommberger, L., Wolter, D., Dylla, F., and Freksa, C. (2006). Qualitative Spatial Representation and Reasoning in the SparQ-Toolbox. In Barkowsky, T., Knauff, M., Ligozat, G., and Montello, D. R., editors, Spatial Cognition, volume 4387 of Lecture Notes in Computer Science, pages 39-58. Springer.
Download


Paper Citation


in Harvard Style

Bringsjord S., Arkoudas K. and Khemlani S. (2009). QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 80-87. DOI: 10.5220/0002306200800087


in Bibtex Style

@conference{keod09,
author={Selmer Bringsjord and Konstantine Arkoudas and Sangeet Khemlani},
title={QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={80-87},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002306200800087},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
SN - 978-989-674-012-2
AU - Bringsjord S.
AU - Arkoudas K.
AU - Khemlani S.
PY - 2009
SP - 80
EP - 87
DO - 10.5220/0002306200800087