liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
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)
Abstract [en]

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) ; 263
National Category
Computer Science
URN: urn:nbn:se:liu:diva-109044DOI: 10.3233/978-1-61499-419-0-429ISI: 000349444700073ISBN: 978-1-61499-418-3 (print)ISBN: 978-1-61499-419-0 (online)OAI: diva2:735926
21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic
Available from2014-08-04 Created:2014-08-04 Last updated:2015-03-13Bibliographically approved

Open Access in DiVA

fulltext(801 kB)22 downloads
File information
File name FULLTEXT02.pdfFile size 801 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Heintz, Fredrikde Leng, Daniel
By organisation
Artificial Intelligence and Intergrated Computer systemsThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 22 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 46 hits
ReferencesLink to record
Permanent link

Direct link