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

Direct link
DyKnow : A Stream-Based Knowledge Processing Middleware Framework
2009 (English)Doktorsavhandling, monografi (Other academic)
Abstract [en]

As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. To construct and integrate these representations and maintain a correlation between them and the environment it is necessary to extract information and knowledge from data collected by sensors. However, deliberative functionalities tend to assume symbolic and crisp knowledge about the current state of the world while the information extracted from sensors often is noisy and incomplete quantitative data on a much lower level of abstraction. There is a wide gap between the information about the world normally acquired through sensing and the information that is assumed to be available for reasoning about the world.

As physical autonomous systems grow in scope and complexity, bridging the gap in an ad-hoc manner becomes impractical and inefficient. Instead a principled and systematic approach to closing the sensereasoning gap is needed. At the same time, a systematic solution has to be sufficiently flexible to accommodate a wide range of components with highly varying demands. We therefore introduce the concept of knowledge processing middleware for a principled and systematic software framework for bridging the gap between sensing and reasoning in a physical agent. A set of requirements that all such middleware should satisfy is also described.

A stream-based knowledge processing middleware framework called DyKnow is then presented. Due to the need for incremental refinement of information at different levels of abstraction, computations and processes within the stream-based knowledge processing framework are modeled as active and sustained knowledge processes working on and producing streams. DyKnow supports the generation of partial and context dependent stream-based representations of past, current, and potential future states at many levels of abstraction in a timely manner.

To show the versatility and utility of DyKnow two symbolic reasoning engines are integrated into Dy-Know. The first reasoning engine is a metric temporal logical progression engine. Its integration is made possible by extending DyKnow with a state generation mechanism to generate state sequences over which temporal logical formulas can be progressed. The second reasoning engine is a chronicle recognition engine for recognizing complex events such as traffic situations. The integration is facilitated by extending DyKnow with support for anchoring symbolic object identifiers to sensor data in order to collect information about physical objects using the available sensors. By integrating these reasoning engines into DyKnow, they can be used by any knowledge processing application. Each integration therefore extends the capability of DyKnow and increases its applicability.

To show that DyKnow also has a potential for multi-agent knowledge processing, an extension is presented which allows agents to federate parts of their local DyKnow instances to share information and knowledge.

Finally, it is shown how DyKnow provides support for the functionalities on the different levels in the JDL Data Fusion Model, which is the de facto standard functional model for fusion applications. The focus is not on individual fusion techniques, but rather on an infrastructure that permits the use of many different fusion techniques in a unified framework.

The main conclusion of this thesis is that the DyKnow knowledge processing middleware framework provides appropriate support for bridging the sense-reasoning gap in a physical agent. This conclusion is drawn from the fact that DyKnow has successfully been used to integrate different reasoning engines into complex unmanned aerial vehicle (UAV) applications and that it satisfies all the stated requirements for knowledge processing middleware to a significant degree.

Place, publisher, year, pages
Linköping: Linköping University Electronic Press, 2009. 258 p.
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1240
National Category
Computer Science
Identifiers
urn:nbn:se:liu:diva-16650 (URN)978–91–7393–696–5 (ISBN)oai:DiVA.org:liu-16650 (OAI)
Public defence
2009-03-20, Visionen, hus B, Campus Valla, Linköpings universitet, Linköping, 13:15 (English)
Opponent
Supervisors
Available from2009-02-09 Created:2009-02-09 Last updated:2009-04-29Bibliographically approved

Open Access in DiVA

fulltext(6575 kB)921 downloads
File information
File name FULLTEXT01.pdfFile size 6575 kBChecksum SHA-512
51ab244c3461ab8e22584ba7f0f329d159f5f1140bea6c6ab413e51a2bcbec482aa8843e514b4df93227b63dcfc994edbd1822c251d9b218c50ab58a9079b11d
Typ fulltextMimetype application/pdf
cover(407 kB)81 downloads
File information
File name COVER01.pdfFile size 407 kBChecksum SHA-512
abd52a8f0163b0f40155b8a7aae3084a1807eb4f054c728e5450d1f39f42bcfb2ed4ca3b35f3b8a36eee11f77c1b1bb9ec264d0fc72f504b87ec7deb5934a232
Typ coverMimetype application/pdf

Search in DiVA

By author/editor
Heintz, Fredrik
By organisation
The Institute of TechnologyKPLAB - Knowledge Processing Lab
Computer Science

Search outside of DiVA

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

Direct link