Artificial Intelligence - Special issue on knowledge representation
The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
The Design and Performance of a Real-Time Notification Service
RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Reconfigurable Path Planning for an Autonomous Unmanned Aerial Vehicle
ICHIT '06 Proceedings of the 2006 International Conference on Hybrid Information Technology - Volume 02
Development environments for autonomous mobile robots: A survey
Autonomous Robots
Towards an integrated robot with multiple cognitive functions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A temporal logic-based planning and execution monitoring framework for unmanned aircraft systems
Autonomous Agents and Multi-Agent Systems
A stream-based hierarchical anchoring framework
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
A stream-based hierarchical anchoring framework
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Stream-Based Reasoning Support for Autonomous Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A delegation-based architecture for collaborative robotics
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Event-processing in autonomous robot programming
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
Engineering autonomous agents that display rational and goal-directed behavior in dynamic physical environments requires a steady flow of information from sensors to high-level reasoning components. However, while sensors tend to generate noisy and incomplete quantitative data, reasoning often requires crisp symbolic knowledge. The gap between sensing and reasoning is quite wide, and cannot in general be bridged in a single step. Instead, this task requires a more general approach to integrating and organizing 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 example changes in qualitative spatial relations, which are used to detect traffic violations expressed as declarative chronicles.