SAGE: A logical agent-based environment monitoring and control system

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5859 LNCS, Issue , 2009, Pages 112-117

  Broda, Krysia ^a   Clark, Keith ^a   Miller, Rob ^b   Russo, Alessandra ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Abduction; Environmental control; Event calculus; Logic; Logic programming; Multi agent reasoning; Teleo reactive programs

Indexed keywords

ABDUCTION; ENVIRONMENTAL CONTROL; EVENT CALCULUS; LOGIC; MULTI-AGENT; TELEO-REACTIVE PROGRAMS;

ARTIFICIAL INTELLIGENCE; CALCULATIONS; CONTROL SYSTEMS; ENVIRONMENTAL ENGINEERING; LOGIC PROGRAMMING; MONITORING; REMOTE CONTROL;

COMPUTATION THEORY;

EID: 77955827559     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05408-2_14     Document Type: Conference Paper

References (13)

1. Anastasopoulos, M., et al.: Towards a Reference Middleware Architecture for Ambient Intelligence Systems. In: Building Software for Pervasive Computing, OOPSLA 2005 (2005).
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).
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).
4. Bromuri, S., Stathis, K.: Distributed Agent Environment in the Ambient Event Calculus. In: DEBS 2009 (2009).
5. Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison Wesley Professional, Reading (2002).
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).
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).
8. Muhl, G., Fiege, L., Pietzuch, P.: Distributed Event-Based Systems. Springer, Heidelberg (2006).
9. Nilsson, N.: Teleo-Reactive Programs for Agent Control. Journal of Artificial Intelligence Research 1, 139-158 (1994).
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).
11. Foundation for Intelligent Physical Agents, Fipa Communicative Act Library Specification (2002), http://www.fipa.org/specs/fipa00008/XC00008H.html.
12. Robinson, P.J., Clark, K.L.: Pedro: A Publish/Subscribe Server Using Prolog Technology. Software Practice and Experience (2009) (submitted).
13. Clark, K.L.: AgentMT(TR): a Multi-threaded Agent Architecture Using Teleo-Reactive Plans (in preparation).