Skip to main content Accessibility help
×
Home

Diagnostic reasoning with A-Prolog

  • MARCELLO BALDUCCINI (a1) and MICHAEL GELFOND (a2)

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.

Copyright

Diagnostic reasoning with A-Prolog

  • MARCELLO BALDUCCINI (a1) and MICHAEL GELFOND (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed