Diagnostic reasoning with A-Prolog

TL;DR

This paper proposes an architecture for a software agent that diagnoses and repairs physical devices using A-Prolog, leveraging logic programming to simplify the reasoning process.

Contribution

It introduces a novel architecture combining action language ${ m AL}$ with logic programming for diagnostic reasoning in software agents.

Findings

Defines symptom, diagnosis, and candidate diagnosis based on ${ m AL}$

Simplifies agent behavior to computing stable models of logic programs

Provides a framework for diagnosis and repair of physical devices

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.