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 credits
Student 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)2012-03-282012-03-142018-01-12Bibliographically approved