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
Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2012 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Autonomous systems require a lot of information about the environment in which they operate in order to perform different high-level tasks. The information is made available through various sources, such as remote and on-board sensors, databases, GIS, the Internet, etc. The sensory input especially is incrementally available to the systems and can be represented as streams. High-level tasks often require some sort of reasoning over the input data, however raw streaming input is often not suitable for the higher level representations needed for reasoning. DyKnow is a stream processing framework that provides functionalities to represent knowledge needed for reasoning from streaming inputs. DyKnow has been used within a platform for task planning and execution monitoring for UAVs. The execution monitoring is performed using formula progression with monitor rules specified as temporal logic formulas. In this thesis we present an analysis for providing spatio-temporal functionalities to the formula progressor and we extend the formula progression with spatial reasoning in RCC-8. The result implementation is capable of evaluating spatio-temporal logic formulas using progression over streaming data. In addition, a ROS implementation of the formula progressor is presented as a part of a spatio-temporal stream reasoning architecture in ROS.

Place, publisher, year, edition, pages
2012. , p. 74
Keywords [en]
Qualitative Spatial Reasoning, Qualitative Spatio-Temporal Reasoning, RCC-8, DyKnow, Stream Reasoning, ROS, Knowledge Representation
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-75885ISRN: LIU-IDA/LITH-EX-A--12/008--SEOAI: oai:DiVA.org:liu-75885DiVA, id: diva2:510073
Subject / course
Master's programme in Computer Science
Presentation
2012-02-06, Kurt Gödel, Linköping University, Linköping, 15:15 (English)
Uppsok
Technology
Supervisors
Examiners
Projects
Collaborative Unmanned Aircraft Systems (CUAS)Available from: 2012-03-28 Created: 2012-03-14 Last updated: 2018-01-12Bibliographically approved

Open Access in DiVA

fulltext(925 kB)345 downloads
File information
File name FULLTEXT01.pdfFile size 925 kBChecksum SHA-512
324af2f7271f90b9e4a2335fe2ecb74d50d7ebf84e983aa681eadd0ce4e78fc4f406dfb4370f91cda0d3673306f38e07eac11ec594602131327d70a027db0d4b
Type fulltextMimetype application/pdf

By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Sciences

Search outside of DiVA

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

urn-nbn

Altmetric score

urn-nbn
Total: 399 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