Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Abductive and Consistency-Based Diagnosis Revisited: a Modeling
  Perspective   Diagnostic reasoning has been characterized logically as consistency-based
reasoning or abductive reasoning. Previous analyses in the literature have
shown, on the one hand, that choosing the (in general more restrictive)
abductive definition may be appropriate or not, depending on the content of the
knowledge base [Console&Torasso91], and, on the other hand, that, depending on
the choice of the definition the same knowledge should be expressed in
different form [Poole94].
  Since in Model-Based Diagnosis a major problem is finding the right way of
abstracting the behavior of the system to be modeled, this paper discusses the
relation between modeling, and in particular abstraction in the model, and the
notion of diagnosis.

8
The categories of this paper are: hep-ex
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
13
The categories of this paper are: quant-ph
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
19
The categories of this paper are: eess
36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
5
The categories of this paper are: gr-qc