Skip to main content
SpringerLink
Log in

Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9345))

  • 757 Accesses

Abstract

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.

Extended Abstract as part of the program of the 1st Joint ADT/LPNMR 2015 Doctoral Consortium co-chaired by Esra Erdem and Nicholas Mattei.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  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)

    Article  Google Scholar 

  2. Aiello, M., Pratt-Hartmann, I., van Benthem, J.F.: Handbook of Spatial Logics. Springer, Heidelberg (2007)

    Book  MATH  Google Scholar 

  3. Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  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. 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. 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)

    Chapter  Google Scholar 

  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. 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. Gooday, J., Cohn, A.G.: Conceptual neighbourhoods in temporal and spatial reasoning. Spat. Temporal Reasoning, ECAI 94 (1994)

    Google Scholar 

  10. Guesgen, H.W.: Spatial Reasoning Based on Allen’s Temporal Logic. Technical report, International Computer Science Institute (1989)

    Google Scholar 

  11. Hazarika, S.M.: Qualitative spatial change: space-time histories and continuity. Ph.D. thesis, The University of Leeds (2005)

    Google Scholar 

  12. Muller, P.: A qualitative theory of motion based on spatio-temporal primitives. KR 98, 131–141 (1998)

    Google Scholar 

  13. Pearce, D.: Equilibrium logic. Ann. Math. Artif. Intell. 47(1–2), 3–41 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  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. Reiter, R.: A logic for default reasoning. Artif. Intell. 13(1), 81–132 (1980)

    Article  MATH  MathSciNet  Google Scholar 

  16. Shanahan, M.: Prediction is deduction but explanation is abduction. IJCAI 89, 1055–1060 (1989)

    Google Scholar 

  17. Shanahan, M.: Default reasoning about spatial occupancy. Artif. Intell. 74(1), 147–163 (1995)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Warsaw, Institute of Philosophy, Warsaw, Poland

    Przemysław Andrzej Wałęga

Authors
  1. Przemysław Andrzej Wałęga
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Przemysław Andrzej Wałęga .

Editor information

Editors and Affiliations

  1. University of Calabria, Rende, Italy

    Francesco Calimeri

  2. University of Calabria, Rende, Italy

    Giovambattista Ianni

  3. University of Kentucky Dept. Computer Science, Lexington, Kentucky, USA

    Miroslaw Truszczynski

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Wałęga, P.A. (2015). Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. Lecture Notes in Computer Science(), vol 9345. Springer, Cham. https://doi.org/10.1007/978-3-319-23264-5_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-23264-5_48

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-23263-8

  • Online ISBN: 978-3-319-23264-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation