liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Licentiatavhandling, monografi (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 2017. , s. 133
Serie
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1783
Emneord [en]
stream reasoning, stream processing, temporal reasoning, spatial reasoning, configuration planning, intelligent robotics
HSV kategori
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 (engelsk)
Opponent
Veileder
Prosjekter
NFFP6CENIIT
Forskningsfinansiär
CUGS (National Graduate School in Computer Science)Swedish Foundation for Strategic Research , CUASELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsLinnaeus research environment CADICS
Merknad

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.

Tilgjengelig fra: 2017-09-08 Laget: 2017-09-07 Sist oppdatert: 2018-01-13bibliografisk kontrollert

Open Access i DiVA

Spatio-Temporal Stream Reasoning with Adaptive State Stream Generation(1335 kB)176 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1335 kBChecksum SHA-512
5a7d850be05d20599cdb44682a82b6c94be6eef034de60e949914d892c5407847600710ddc6b471d14400f1e66093f5660bd46d80bc0ce3e00e55065645e1eba
Type fulltextMimetype application/pdf
omslag(21 kB)25 nedlastinger
Filinformasjon
Fil COVER01.pdfFilstørrelse 21 kBChecksum SHA-512
aaf8b61daae4395564b6fae3000d752b1ddd29550713ede631a03230efc462ff2a0c7a5374121e4cd16ec100d90c03321790ff3f3d3bc3c4d454da77d44ebf88
Type coverMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

de Leng, Daniel

Søk i DiVA

Av forfatter/redaktør
de Leng, Daniel
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 176 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 891 treff
RefereraExporteraLink to record
Permanent link

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