Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Diagnostic reasoning with A-Prolog   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.

3
The categories of this paper are: physics
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
6
The categories of this paper are: astro-ph
19
The categories of this paper are: eess
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
21
The categories of this paper are: adap-org