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

Direct link
Extending the Stream Reasoning in DyKnow with Spatial Reasoning in RCC-8
2012 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudentuppsats (Examensarbete)
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, 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
Identifiers
urn:nbn:se:liu:diva-75885 (URN)LIU-IDA/LITH-EX-A--12/008--SE (ISRN)oai:DiVA.org:liu-75885 (OAI)
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 from2012-03-28 Created:2012-03-14 Last updated:2014-03-27Bibliographically approved

Open Access in DiVA

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

Search in DiVA

By author/editor
Lazarovski, Daniel
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Totalt: 135 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
Totalt: 125 hits
ReferencesLink to record
Permanent link

Direct link