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

  • Krysia Broda
  • Keith Clark
  • Rob Miller
  • Alessandra Russo
Conference paper

DOI: 10.1007/978-3-642-05408-2_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5859)
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

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.

Keywords

Environmental Control Logic Event Calculus Logic Programming Abduction Multi-Agent Reasoning Teleo-Reactive Programs 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Krysia Broda
    • 1
  • Keith Clark
    • 1
  • Rob Miller
    • 2
  • Alessandra Russo
    • 1
  1. 1.Department of ComputingImperial College London 
  2. 2.Department of Information StudiesUniversity College London 

Personalised recommendations