SAGE: A Logical Agent-Based Environment Monitoring and Control System
- Cite this paper as:
- Broda K., Clark K., Miller R., Russo A. (2009) SAGE: A Logical Agent-Based Environment Monitoring and Control System. In: Tscheligi M. et al. (eds) Ambient Intelligence. AmI 2009. Lecture Notes in Computer Science, vol 5859. Springer, Berlin, Heidelberg
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.
KeywordsEnvironmental Control Logic Event Calculus Logic Programming Abduction Multi-Agent Reasoning Teleo-Reactive Programs
Unable to display preview. Download preview PDF.