Diagnostic reasoning with A-Prolog

Simple item page
dc.creatorBalduccini, Marcello
dc.creatorGelfond, Michael
dc.date2003-12-18
dc.date.accessioned2026-07-07T03:20:45Z
dc.date.available2026-07-07T03:20:45Z
dc.descriptionIn 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.
dc.description46 pages, 1 Postscript figure
dc.identifierhttps://arxiv.org/abs/cs/0312040
dc.identifierhttp://arxiv.org/abs/cs/0312040
dc.identifierTPLP Vol 3(4&5) (2003) 425-461
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31936
dc.subjectArtificial Intelligence
dc.subjectF.4.1; F.2.2
dc.titleDiagnostic reasoning with A-Prolog
dc.typetext

Files

Collections

arXiv