Heintz, Fredrik de Leng, Daniel 2014 (English)In: Proceedings of the Twenty-first European Conference on Artificial Intelligence (ECAI'14), August 18-22, 2014, Prague, Czech Republic / [ed] Torsten Schaub, Gerhard Friedrich and Barry O'Sullivan, IOS Press, 2014, 429-434Conference paper (Refereed)
Reasoning about time and space is essential for many applications, especially for robots and other autonomous systems that act in the real world and need to reason about it. In this paper we present a pragmatic approach to spatio-temporal stream reasoning integrated in the Robot Operating System through the DyKnow framework. The temporal reasoning is done in the Metric Temporal Logic and the spatial reasoning in the Region Connection Calculus RCC-8. Progression is used to evaluate spatio-temporal formulas over incrementally available streams of states. To handle incomplete information the underlying first-order logic is extended to a three-valued logic. When incomplete spatial information is received, the algebraic closure of the known information is computed. Since the algebraic closure might have to be re-computed every time step, we separate the spatial variables into static and dynamic variables and reuse the algebraic closure of the static variables, which reduces the time to compute the full algebraic closure. The end result is an efficient and useful approach to spatio-temporal reasoning over streaming information with incomplete information.
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 (print) | 1879-8314 (online) ; Vol. 263
National CategoryComputer Science
Identifiersurn:nbn:se:liu:diva-109044 (URN)978-1-61499-418-3 (print) (ISBN)978-1-61499-419-0 (online) (ISBN)oai:DiVA.org:liu-109044 (OAI)diva2:735926 (DiVA)
21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic