论文信息 - Diagnostic Agents for Distributed Systems

Diagnostic Agents for Distributed Systems

In this paper we introduce an agent—based framework for the diagnosis of spatially distributed technical systems, based on a suitable distributed diagnosis architecture. We implement the framework using the concepts of vivid agents and extended logic programming. To demonstrate the power of our approach, we solve a diagnosis example from the domain of unreliable datagram protocols.

[1] José Júlio Alferes,et al. Non-Monotonic Reasoning with Logic Programming , 1993, J. Log. Program..

[2] Luís Moniz Pereira,et al. A Deliberative and Reactive Diagnosis Agent Based on Logic Programming , 1996, ATAL.

[3] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[4] Luís Moniz Pereira,et al. A deliberative and reactive diagnosis agent based on logic programming , 1996, Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence.

[5] Kenneth A. Ross,et al. Unfounded sets and well-founded semantics for general logic programs , 1988, PODS.

[6] José Júlio Alferes,et al. Diagnosis and Debugging as Contradiction Removal , 1993, LPNMR.

[7] Gerd Wagner,et al. A Logical and Operational Model of Scalable Knowledge- and Perception-Based Agents , 1996, MAAMAW.

[8] José Júlio Alferes,et al. Reasoning with Logic Programming , 1996, Lecture Notes in Computer Science.

[9] Gerd Wagner,et al. Distributed diagnosis by vivid agents , 1997, AGENTS '97.

[10] José Júlio Alferes,et al. Contradiction Removal within Well Founded Semantics , 1991, LPNMR.

[11] José Júlio Alferes,et al. Well Founded Semantics for Logic Programs with Explicit Negation , 1992, ECAI.

[12] Luís Moniz Pereira,et al. REVISE: An Extended Logic Programming System for Revising Knowledge Bases , 1994, KR.

[13] Yoav Shoham,et al. Agent-Oriented Programming , 1992, Artif. Intell..