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

  • Krysia Broda
  • Keith Clark
  • Rob Miller
  • Alessandra Russo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5859)

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.

References

  1. 1.
    Anastasopoulos, M., et al.: Towards a Reference Middleware Architecture for Ambient Intelligence Systems. In: Building Software for Pervasive Computing, OOPSLA 2005 (2005)Google Scholar
  2. 2.
    Baldoni, R., Contenti, M., Virgillito, A.: The Evolution of Publish/Subscribe Communication Systems. In: Schiper, A., Shvartsman, M.M.A.A., Weatherspoon, H., Zhao, B.Y. (eds.) Future Directions in Distributed Computing. LNCS, vol. 2584, pp. 137–141. Springer, Heidelberg (2003)Google Scholar
  3. 3.
    Bikakis, A., Antoniou, G.: Distributed Defeasible Contextual Reasoning in Ambient Computing. In: Aarts, E., Crowley, J.L., de Ruyter, B., Gerhäuser, H., Pflaum, A., Schmidt, J., Wichert, R. (eds.) AmI 2008. LNCS, vol. 5355, pp. 308–325. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Bromuri, S., Stathis, K.: Distributed Agent Environment in the Ambient Event Calculus. In: DEBS 2009 (2009)Google Scholar
  5. 5.
    Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison Wesley Professional, Reading (2002)Google Scholar
  6. 6.
    Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for distributed abductive reasoning. Autonomous Agent Multi-Agent Systems 16, 271–297 (2008)CrossRefGoogle Scholar
  7. 7.
    Miller, R., Shanahan, M.: Some Alternative Formulations of the Event Calculus. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2408, pp. 452–490. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Muhl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006)Google Scholar
  9. 9.
    Nilsson, N.: Teleo-Reactive Programs for Agent Control. Journal of Artificial Intelligence Research 1, 139–158 (1994)Google Scholar
  10. 10.
    Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)Google Scholar
  11. 11.
    Foundation for Intelligent Physical Agents, Fipa Communicative Act Library Specification (2002), http://www.fipa.org/specs/fipa00008/XC00008H.html
  12. 12.
    Robinson, P.J., Clark, K.L.: Pedro: A Publish/Subscribe Server Using Prolog Technology. Software Practice and Experience (2009) (submitted)Google Scholar
  13. 13.
    Clark, K.L.: AgentMT(TR): a Multi-threaded Agent Architecture Using Teleo-Reactive Plans (in preparation)Google Scholar

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