Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning

  • Przemysław Andrzej WałęgaEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9345)


My work on PhD thesis consists in nonmonotonic reasoning about spatial relations and how they change in time. Although there are several approaches concerning this topic, to the best of my knowledge, there is no general framework that provides nonmonotonic (qualitative) spatial reasoning. The work I have accomplished so far consists in introducing the so-called ASPMT(QS) system. It is based on a paradigm of Answer Set Programming Modulo Theories (ASPMT) and polynomial encodings of spatial relations. The system enables modelling of dynamically varying spatial information, as well as abductive reasoning, and its first version is already implemented. As a future work I consider extending ASPMT(QS) in order to perform more complex spatio-temporal reasoning and try to overcome limitations of the current implementation.


Nonmonotonic spatial reasoning Declarative spatial reasoning Qualitative reasoning Answer set programming modulo theories 


  1. 1.
    Aguado, F., Cabalar, P., Diéguez, M., Pérez, G., Vidal, C.: Temporal equilibrium logic: a survey. J. Appl. Non-Class. Logics 23(1–2), 2–24 (2013)CrossRefGoogle Scholar
  2. 2.
    Aiello, M., Pratt-Hartmann, I., van Benthem, J.F.: Handbook of Spatial Logics. Springer, Heidelberg (2007) zbMATHCrossRefGoogle Scholar
  3. 3.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)zbMATHCrossRefGoogle Scholar
  4. 4.
    Bartholomew, M., Lee, J.: Functional stable model semantics and answer set programming modulo theories. In: Proceedings of the Twenty-Third international Joint Conference on Artificial Intelligence, pp. 718–724. AAAI Press (2013)Google Scholar
  5. 5.
    Bartholomew, M., Lee, J.: System aspmt2smt: computing ASPMT theories by SMT solvers. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 529–542. Springer, Heidelberg (2014) Google Scholar
  6. 6.
    Bhatt, M., Lee, J.H., Schultz, C.: CLP(QS): a declarative spatial reasoning framework. In: Egenhofer, M., Giudice, N., Moratz, R., Worboys, M. (eds.) COSIT 2011. LNCS, vol. 6899, pp. 210–230. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  7. 7.
    Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spat. Cogn. Comput. 8(1–2), 86–130 (2008)Google Scholar
  8. 8.
    Frank, A.U.: Qualitative spatial reasoning with cardinal directions. In: Kaindl, H. (ed.) 7. Österreichische Artificial-Intelligence-Tagung/Seventh Austrian Conference on Artificial Intelligence. Informatik-Fachberichte, vol. 287, pp. 157–167. Springer, Heidelberg (1991)Google Scholar
  9. 9.
    Gooday, J., Cohn, A.G.: Conceptual neighbourhoods in temporal and spatial reasoning. Spat. Temporal Reasoning, ECAI 94 (1994)Google Scholar
  10. 10.
    Guesgen, H.W.: Spatial Reasoning Based on Allen’s Temporal Logic. Technical report, International Computer Science Institute (1989)Google Scholar
  11. 11.
    Hazarika, S.M.: Qualitative spatial change: space-time histories and continuity. Ph.D. thesis, The University of Leeds (2005)Google Scholar
  12. 12.
    Muller, P.: A qualitative theory of motion based on spatio-temporal primitives. KR 98, 131–141 (1998)Google Scholar
  13. 13.
    Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1–2), 3–41 (2006)zbMATHMathSciNetCrossRefGoogle Scholar
  14. 14.
    Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165–176 (1992)Google Scholar
  15. 15.
    Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1), 81–132 (1980)zbMATHMathSciNetCrossRefGoogle Scholar
  16. 16.
    Shanahan, M.: Prediction is deduction but explanation is abduction. IJCAI 89, 1055–1060 (1989)Google Scholar
  17. 17.
    Shanahan, M.: Default reasoning about spatial occupancy. Artif. Intell. 74(1), 147–163 (1995)CrossRefGoogle Scholar
  18. 18.
    Cabalar, P.: Answer Set; Programming? In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol. 6565, pp. 334–343. Springer, Heidelberg (2011) CrossRefGoogle Scholar
  19. 19.
    Van de Weghe, N., Kuijpers, B., Bogaert, P., De Maeyer, P.: A qualitative trajectory calculus and the composition of its relations. In: Rodríguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 60–76. Springer, Heidelberg (2005) CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.University of Warsaw, Institute of PhilosophyWarsawPoland

Personalised recommendations