liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation
Linköpings universitet, Institutionen för datavetenskap, Artificiell intelligens och integrerade datorsystem. Linköpings universitet, Tekniska fakulteten. (KPLAB - Knowledge Processing Lab)ORCID-id: 0000-0001-6356-045X
2017 (Engelska)Licentiatavhandling, monografi (Övrigt vetenskapligt)
Abstract [en]

A lot of today's data is generated incrementally over time by a large variety of producers. This data ranges from quantitative sensor observations produced by robot systems to complex unstructured human-generated texts on social media. With data being so abundant, making sense of these streams of data through reasoning is challenging. Reasoning over streams is particularly relevant for autonomous robotic systems that operate in a physical environment. They commonly observe this environment through incremental observations, gradually refining information about their surroundings. This makes robust management of streaming data and its refinement an important problem.

Many contemporary approaches to stream reasoning focus on the issue of querying data streams in order to generate higher-level information by relying on well-known database approaches. Other approaches apply logic-based reasoning techniques, which rarely consider the provenance of their symbolic interpretations. In this thesis, we integrate techniques for logic-based spatio-temporal stream reasoning with the adaptive generation of the state streams needed to do the reasoning over. This combination deals with both the challenge of reasoning over streaming data and the problem of robustly managing streaming data and its refinement.

The main contributions of this thesis are (1) a logic-based spatio-temporal reasoning technique that combines temporal reasoning with qualitative spatial reasoning; (2) an adaptive reconfiguration procedure for generating and maintaining a data stream required to perform spatio-temporal stream reasoning over; and (3) integration of these two techniques into a stream reasoning framework. The proposed spatio-temporal stream reasoning technique is able to reason with intertemporal spatial relations by leveraging landmarks. Adaptive state stream generation allows the framework to adapt in situations in which the set of available streaming resources changes. Management of streaming resources is formalised in the DyKnow model, which introduces a configuration life-cycle to adaptively generate state streams. The DyKnow-ROS stream reasoning framework is a concrete realisation of this model that extends the Robot Operating System (ROS). DyKnow-ROS has been deployed on the SoftBank Robotics NAO platform to demonstrate the system's capabilities in the context of a case study on run-time adaptive reconfiguration. The results show that the proposed system – by combining reasoning over and reasoning about streams – can robustly perform spatio-temporal stream reasoning, even when the availability of streaming resources changes.

Ort, förlag, år, upplaga, sidor
Linköping: Linköping University Electronic Press, 2017. , s. 133
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1783
Nyckelord [en]
stream reasoning, stream processing, temporal reasoning, spatial reasoning, configuration planning, intelligent robotics
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-138645DOI: 10.3384/lic.diva-138645ISBN: 9789176854761 (tryckt)OAI: oai:DiVA.org:liu-138645DiVA, id: diva2:1139231
Presentation
2017-10-05, Alan Turing, Hus E, Campus Valla, Linköpings universitet, Linköping, 13:15 (Engelska)
Opponent
Handledare
Projekt
NFFP6CENIIT
Forskningsfinansiär
CUGS (National Graduate School in Computer Science)Stiftelsen för strategisk forskning (SSF), CUASELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsLinnaeus research environment CADICS
Anmärkning

The series name Linköping Studies in Science and Technology Licentiate Thesis is inocorrect. The correct series name is Linköping Studies in Science and Technology Thesis.

Tillgänglig från: 2017-09-08 Skapad: 2017-09-07 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation(1335 kB)175 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 1335 kBChecksumma SHA-512
5a7d850be05d20599cdb44682a82b6c94be6eef034de60e949914d892c5407847600710ddc6b471d14400f1e66093f5660bd46d80bc0ce3e00e55065645e1eba
Typ fulltextMimetyp application/pdf
omslag(21 kB)25 nedladdningar
Filinformation
Filnamn COVER01.pdfFilstorlek 21 kBChecksumma SHA-512
aaf8b61daae4395564b6fae3000d752b1ddd29550713ede631a03230efc462ff2a0c7a5374121e4cd16ec100d90c03321790ff3f3d3bc3c4d454da77d44ebf88
Typ coverMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Personposter BETA

de Leng, Daniel

Sök vidare i DiVA

Av författaren/redaktören
de Leng, Daniel
Av organisationen
Artificiell intelligens och integrerade datorsystemTekniska fakulteten
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 175 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 889 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf