Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning
- First Online:
- Cite this paper as:
- 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
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.