Hostname: page-component-74656f9884-54qdv Total loading time: 0 Render date: 2026-11-10T13:10:36.078Z Has data issue: false hasContentIssue false

Diagnostic reasoning with A-Prolog

Published online by Cambridge University Press:  31 July 2003

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)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

In this paper, we suggest an architecture for a software agent whichoperates a physical device and is capable of making observations andof testing and repairing the device's components. We presentsimplified definitions of the notions of symptom, candidatediagnosis, and diagnosis which are based on the theory of actionlanguage ${\cal AL}$.The definitions allow one to give a simple account of the agent'sbehavior in which many of the agent's tasks are reduced to computingstable models of logic programs.

Information

Type
Regular Papers
Copyright
© 2003 Cambridge University Press