Abstract
We present ASP Modulo ‘Space-Time’, a declarative representational and computational framework to perform commonsense reasoning about regions with both spatial and temporal components. Supported are capabilities for mixed qualitative-quantitative reasoning, consistency checking, and inferring compositions of space-time relations; these capabilities combine and synergise for applications in a range of AI application areas where the processing and interpretation of spatio-temporal data is crucial. The framework and resulting system is the only general KR-based method for declaratively reasoning about the dynamics of ‘space-time’ regions as first-class objects.
Spatial Reasoning. www.spatial-reasoning.com.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We introduce a user-specified maximum duration threshold \(\alpha \) between these two time points to prevent unwanted scenarios being defined as follows events such as \(s_1\) taking one step towards \(s_2\) and then stopping while \(s_2\) continues to move away from \(s_1\).
References
Aiello, M., Pratt-Hartmann, I., van Benthem, J.: Handbook of Spatial Logics. Springer, Dordrecht (2007). https://doi.org/10.1007/978-1-4020-5587-4
Bartholomew, M., Lee, J.: System aspmt2smt: computing ASPMT theories by SMT solvers. In: Fermé, E., Leite, J. (eds.) JELIA 2014. LNCS (LNAI), vol. 8761, pp. 529–542. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11558-0_37
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). https://doi.org/10.1007/978-3-642-23196-4_12
Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spat. Cogn. Comput. 8(1), 86–130 (2008)
Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B., Schaub, T.: Answer set programming modulo acyclicity\({}^{\text{* }}\). Fundam. Inform. 147(1), 63–91 (2016)
Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Mag. 37(3), 53–68 (2016)
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Clingo = ASP + control: Preliminary report. In: Leuschel, M., Schrijvers, T. (eds.) Technical Communications of ICLP, vol. 14(4–5) (2014). theory and Practice of Logic Programming, Online Supplement
Gebser, M., Ostrowski, M., Schaub, T.: Constraint answer set solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 235–249. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02846-5_22
Gelfond, M.: Answer sets. Handbook of knowledge representation, vol. 1, p. 285 (2008)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, vol. 88, pp. 1070–1080 (1988)
Hazarika, S.M.: Qualitative spatial change: space-time histories and continuity. Ph.D. thesis, The University of Leeds (2005)
Kanellakis, P.C., Kuper, G.M., Revesz, P.Z.: Constraint query languages (preliminary report). In: Proceedings of the 9th Symposium on Principles of Database Systems, pp. 299–313. ACM (1990)
Lee, J., Meng, Y.: Answer set programming modulo theories and reasoning about continuous changes. In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3–9, 2013 (2013)
Ligozat, G.: Qualitative Spatial and Temporal Reasoning. Wiley-ISTE, London (2011)
Muller, P.: A qualitative theory of motion based on spatio-temporal primitives. KR 98, 131–141 (1998)
Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. KR 92, 165–176 (1992)
Suchan, J., Bhatt, M.: Deep semantic abstractions of everyday human activities. In: Ollero, A., Sanfeliu, A., Montano, L., Lau, N., Cardeira, C. (eds.) ROBOT 2017. AISC, vol. 693, pp. 477–488. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-70833-1_39
Suchan, J., Bhatt, M., Wałęga, P.A., Schultz, C.: Visual explanation by high-level abduction: on answer-set programming driven reasoning about moving objects. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the 32nd AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2–7, 2018. AAAI Press (2018)
Wałęga, P.A., Bhatt, M., Schultz, C.: ASPMT(QS): non-monotonic spatial reasoning with answer set programming modulo theories. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 488–501. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23264-5_41
Wallgrün, J.O.: Topological adjustment of polygonal data. In: Timpf, S., Laube, P. (eds.) Advances in Spatial Data Handling, pp. 193–208. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-32316-4_13
Acknowledgements
This work was partially supported by the Germany Research Foundation (DFG) as part of the CRC EASE; and partially by the NCN grant 2016/23/N/HS1/02168.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Schultz, C., Bhatt, M., Suchan, J., Wałęga, P.A. (2018). Answer Set Programming Modulo ‘Space-Time’. In: Benzmüller, C., Ricca, F., Parent, X., Roman, D. (eds) Rules and Reasoning. RuleML+RR 2018. Lecture Notes in Computer Science(), vol 11092. Springer, Cham. https://doi.org/10.1007/978-3-319-99906-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-99906-7_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99905-0
Online ISBN: 978-3-319-99906-7
eBook Packages: Computer ScienceComputer Science (R0)