SAGE: A Logical Agent-Based Environment Monitoring and Control System

Authors:
Krysia Broda;Keith Clark;Rob Miller;Alessandra Russo
Affiliations:
Department of Computing, Imperial College London,;Department of Computing, Imperial College London,;Department of Information Studies, University College London,;Department of Computing, Imperial College London,
Venue:
AmI '09 Proceedings of the European Conference on Ambient Intelligence
Year:
2009

Citing 8
Cited 4

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems

The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Distributed Event-Based Systems

Distributed Event-Based Systems
DARE: a system for distributed abductive reasoning

Autonomous Agents and Multi-Agent Systems
Distributed Defeasible Contextual Reasoning in Ambient Computing

AmI '08 Proceedings of the European Conference on Ambient Intelligence
Teleo-reactive programs for agent control

Journal of Artificial Intelligence Research
Distributed agent environments in the Ambient Event Calculus

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Pedro: a publish-subscribe server using Prolog technology

Software—Practice & Experience

Low latency complex event processing on parallel hardware

Journal of Parallel and Distributed Computing
Processing flows of information: From data stream to complex event processing

ACM Computing Surveys (CSUR)
A core ontology on events for representing occurrences in the real world

Multimedia Tools and Applications
Complex event processing with T-REX

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sensor data to high level events, multi-agent abductive reasoning to provide possible explanations for these events, and teleo-reactive programming to react to these explanations, e.g. to gather extra information to check abduced hypotheses. The system is embedded in a publish/subscribe architecture.