Diagnostic reasoning with A-Prolog

Details Diagnostic reasoning with A-Prolog Diagnostic reasoning with A-Prolog

2003-12-18

arxiv.org/abs/cs/0312040v1

TPLP Vol 3(4&5) (2003) 425-461

Computer Science

Artificial Intelligence

46 pages, 1 Postscript figure

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Diagnostic reasoning with A-Prolog does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Diagnostic reasoning with A-Prolog, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Diagnostic reasoning with A-Prolog will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-307949