A deliberative and reactive diagnosis agent based on logic programming

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

Volumn 1193, Issue , 2015, Pages 293-307

  Schroeder, Michael ^a   Mora, Iara De Almeida ^b   Pereira, Luis Moniz ^b  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

Distributed Logic Programming; Model based Diagnosis; Multi Agent Systems

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; INFERENCE ENGINES; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MESSAGE PASSING; NETWORK SECURITY; PROGRAM DIAGNOSTICS; PROLOG (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; INTELLIGENT AGENTS; RECONFIGURABLE HARDWARE;

COMMUNICATION AND CONTROL; DIAGNOSTIC AGENTS; DISTRIBUTED SYSTEMS; EXTENDED LOGIC PROGRAMMING; INFERENCE MACHINE; META-INTERPRETERS; MODEL BASED DIAGNOSIS; REACTIVE LAYERS;

MULTI AGENT SYSTEMS;

EID: 84926291147     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (26)

1. J. J. Alferes, C. V. Damasio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Cohn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140-144. John Wiley & Sons, August 1994.
2. J. J. Alferes, C. V. Damasio, and L. M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14(1):93-147, 1995.
3. D. Chu. I.C. PROLOG II: A language for implementing multi-agent systems. In S. M. Dean, editor, Proceedings of the 1992 Workshop on Cooperating Knowledge Based systems (CKBS92), pages 61-74. DAKE Centre, University of Keele, UK, 1993.
4. J. C. Cunha and R. F. P. Marques. Distributed algorithm development with PVM-Prolog. In 5th Euromicro Workshop on Parallel and Distributed Processing, London, UK, 1997. IEEE Computer Society Press.
5. C. V. Damasio, W. Nejdl, L. Pereira, and M. Schroeder. Model-based diagnosis preferences and strategies representation with meta logic programming. In Krzysztof R. Apt and Franco Turini, editors, Mela-logics and Logic Programming, chapter 11, pages 269-311. The MIT Press, 1995.
6. C. V. Damasio, W. Nejdl, and L. Moniz Pereira. REVISE: An extended logic programming system for revising knowledge bases. In J. Doyle, E. Sandewall, and P. Torasso, editors, Knowledge Representation and Reasoning, pages 607-618, Bonn, Germany, May 1994. Morgan Kaufmann.
7. P. Frohlich, W. Nejdl, and M. Schroeder. Design and implementation of diagnostic strategy using modal logic. In JEL1A96 - European workshop on Logic in AI. (LNAI1126), Springer-Verlag, 1996.
8. A. Geist and et al. PVM: Parallel Virtual Machine. MIT Press, 1994.
9. A. Van Gelder, K. Ross, and J. S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles ofDatabse Systems, pages 221-230. Austin, Texas, 1988.
10. F. F. Ingrand and M. P. Georgeff. Managing deliberation and reasoning in real-time ai systems. In Proceedings of the 1990 DARPA Workshop on Innovative Approaches to Planning, pages 284-291, San Diego, CA, 1990.
11. N. R. Jennings, J. M. Corera, I. Laresgoiti, E. H. Mamdani, F. Perriollat, P. Skarek, and L. Z. Varga. Using ARCHON to develop real-world DAI applications for electricity transportation management and particle accelerator control. IEEE Expert, 1996.
12. D. Kinny, M. Georgeff, J. Bailey, D. B. Kemp, and K. Ramamohanarao. Actice databases and agent systems - a comparison. In Proceedings ofRlDS95, International Workshop of Rules in Database Systems, Athens, Greece, 1995.
13. R. A. Kowalski. Using meta-logic to reconcile reactive with rational agents. In Krzysztof R. Apt and Franco Turini, editors, Meta-logics and Logic Programming, chapter 9, pages 227-242. The MIT Press, 1995.
14. L. Lamport. The Bizantine generals problems. ACM Transactions on Programming and Systems, 4(3)-382-401, 1982.
15. J. Lee, M. J. Huber, E. H. Durfee, and P. G. Kenny. UM-PRS: An implementation of the procedural reasoning system for multirobot applications. In CIRFSS94, Conference on Intelligent Robotics in Field, Factory, Service and Space, pages 842-849. MIT Press, 1994.
16. D.R. McCarthy and U. Dayal. The architecture of an active database management system. In Proceedings ofACMSIGMOD-89, pages 215-224, 1989.
17. I. A. Mora and J. J. Alferes. Diagnosis of distributed systems using logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence EPIA95, volume LNA 1990, pages 409-428. Springer-Verlag, Funchal, Portugal, 1995.
18. W. Nejdl, P. Frohlich, and M. Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems. In International Joint Conference on Artificial Intelligence, Montreal, August 1995.
19. L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed.), European Conference on Artificial Intelligence, pages 102-106. John Wiley & Sons, 1992.
20. L. M. Pereira, J. J. Alferes, and J. Apar'cio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, Logic Programming and Nonmonotonic Reasoning, pages 105-119, Washington, USA, June 1991. MIT Press.
21. A. S. Rao. Agentspeak(l): BDI agents speak out in a logical computable language. In Proceedings of MAAMAW96, LNAI1038. Springer-Verlag, 1996.
22. A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In J. Allen, R. Fikes, and E. Sandewall, editors, KR91, International Conference on Principlies of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, Inc., 1991.
23. A. S. Rao and M. P. Georgeff. A model-theoretic approach to the verification of situated reasoning systems. In Ruzena Bajcsy, editor, IJCAI93, International joint Conference on Artificial Intelligence, volume 1, pages 318-324. Morgan Kaufmann Publishers, Inc., 1993.
24. M. Schroeder, C. V. Damasio, and L. M. Pereira. Revise report: An architecture for a diagnosis agent. In Proceedings of the ECAI'96 Workshop on Integrating Nonmonotonicity into Automated Reasoning Systems, number 18-96, Universitat Koblenz-Landau, Institut fur Informatik, Rheinau 1, D-56075 Koblenz, 1996.
25. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(l):51-92, 1993.
26. G. Wagner. A logical and operational model of scalable knowledge-and perception-based agents. In Proceedings of MAAMAW96, LNAI1038. Springer-Verlag, 1996.