REVISE Report : An Architecture for a Diagnosis Agent

In this article we describe a layered architecture for a diagnosis agent based on REVISE, a non-monotonic reasoning system that revises contradictory extended logic programs. We discuss the agent's inference machine consisting of REVISE and a strategy component. We sketch the REVISE algorithm and evaluate it in the domain of digital circuits. We show how to specify the agent's behaviour with an extended logic program and define a meta-interpreter for the agent's top-layer for communication and control.

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

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

[3]  R. Marques,et al.  Using PVM With a Logic Programming Interface , 1995 .

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

[5]  José Júlio Alferes,et al.  SLX - A Top-down Derivation Procedure for Programs with Explicit Negation , 1994, ILPS.

[6]  Peter Fröhlich,et al.  A Formal Semantics for Preferences and Strategies in Model-Based Diagnosis , 1994 .

[7]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[8]  Peter Fröhlich,et al.  A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems , 1995, IJCAI.

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

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

[11]  Luís Moniz Pereira,et al.  Model-based diagnosis preferences and strategies representation with logic meta-programming , 1995 .

[12]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[13]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

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

[15]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

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

[17]  Robert A. Kowalski,et al.  Using Meta-Logic to Reconcile Reactive with Rational Agents , 1995, PAAM.

[18]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[19]  José Júlio Alferes,et al.  Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation , 1994, ECAI.