Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing

nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware as a systematic approach to organizing such processing. Desirable properties are presented and motivated. We argue that a declarative stream-based system is appropriate for the required functionality and present DyKnow, a concrete implemented instantiation of stream-based knowledge processing middleware with a formal semantics. Several types of knowledge processes are defined and motivated in the context of a UAV traffic monitoring application. In the implemented application, DyKnow is used to incrementally bridge the sense-reasoning gap and generate partial logical models of the environment over which metric temporal logical formulas are evaluated. Using such formulas, hypotheses are formed and validated about the type of vehicles being observed. DyKnow is also used to generate event streams representing for ...

• Type: Journal
• Year: 2010
• Where: AEI
• Authors: Fredrik Heintz, Jonas Kvarnström, Patrick Doherty
• Keywords: AEI 2010, Concrete Implemented Instantiation, Partial Logical Models, Propose Knowledge Processing