Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T07:31:30.648Z Has data issue: false hasContentIssue false
  • English
  • Français

Diagnostic reasoning with A-Prolog

Published online by Cambridge University Press:  31 July 2003

MARCELLO BALDUCCINI  and
MICHAEL GELFOND
MARCELLO BALDUCCINI
Affiliation:
Department of Computer Science, Texas Tech University, Lubbock, TX 79409, USA (e-mail: balduccini@cs.ttu.edu)
MICHAEL GELFOND
Affiliation:
Department of Computer Science, Texas Tech University, Lubbock, TX 79409, USA (e-mail: mgelfond@cs.ttu.edu)
Get access Rights & Permissions [Opens in a new window]

Abstract

In this paper, we suggest an architecture for a software agent which operates a physical device and is capable of making observations and of testing and repairing the device's components. We present simplified definitions of the notions of symptom, candidate diagnosis, and diagnosis which are based on the theory of action language ${\cal AL}$. The definitions allow one to give a simple account of the agent's behavior in which many of the agent's tasks are reduced to computing stable models of logic programs.

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 3 , Issue 4-5 , July 2003 , pp. 425 - 461
Copyright
© 2003 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)