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

Direct link
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. , 74 p.
Keyword [en]
Qualitative Spatial Reasoning, Qualitative Spatio-Temporal Reasoning, RCC-8, DyKnow, Stream Reasoning, ROS, Knowledge Representation
National Category
Computer Science
URN: urn:nbn:se:liu:diva-75885ISRN: LIU-IDA/LITH-EX-A--12/008--SEOAI: diva2:510073
Subject / course
Master's programme in Computer Science
2012-02-06, Kurt Gödel, Linköping University, Linköping, 15:15 (English)
Collaborative Unmanned Aircraft Systems (CUAS)
Available from: 2012-03-28 Created: 2012-03-14 Last updated: 2014-03-27Bibliographically approved

Open Access in DiVA

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

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

Search outside of DiVA

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

Total: 162 hits
ReferencesLink to record
Permanent link

Direct link