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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Spatio-Temporal Stream Reasoning with Incomplete Spatial Information
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, The Institute of Technology. (KPLAB)
Linköping University, Department of Computer and Information Science, Artificial Intelligence and Integrated Computer Systems. Linköping University, The Institute of Technology. (KPLAB)
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, p. 429-434Conference paper, Published 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.

Place, publisher, year, edition, pages
IOS Press, 2014. p. 429-434
Series
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389, E-ISSN 1879-8314 ; 263
National Category
Computer Sciences
Identifiers
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 (print)OAI: oai:DiVA.org:liu-109044DiVA, id: diva2:735926
Conference
21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic
Projects
CUASCADICSCENIITAvailable from: 2014-08-04 Created: 2014-08-04 Last updated: 2018-01-31Bibliographically approved

Open Access in DiVA

Spatio-Temporal Stream Reasoning with Incomplete Spatial Information(801 kB)380 downloads
File information
File name FULLTEXT02.pdfFile size 801 kBChecksum SHA-512
81a56e2deaa548777530f0026a25b424477aad805058157e9eb0c36850fc1678005e44debaf4b79b40cc60ca46903d5b754e3876a6957ae856f7fab41a4b6b8f
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records

Heintz, Fredrikde Leng, Daniel

Search in DiVA

By author/editor
Heintz, Fredrikde Leng, Daniel
By organisation
Artificial Intelligence and Integrated Computer SystemsThe Institute of Technology
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 380 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

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 345 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf