In this paper, we analyze the logical definitions of model-based diagnosis recently presented in the literature, and we propose a unified framework (based on the integration of abductive and consistency-based reasoning) in which most of such definitions can be captured. This allows us to single out the existence of a spectrum of alternatives in the logical definition of diagnosis. A lot of attention in the paper is devoted to analyzing the differences among the definitions in the spectrum. In particular, we show that the definitions can be compared on the basis of their restrictiveness and we relate such a restrictiveness with the completeness of the model of the system to be diagnosed.

A spectrum of logical definitions of model-based diagnosis

CONSOLE, Luca;TORASSO, Pietro
1991

Abstract

In this paper, we analyze the logical definitions of model-based diagnosis recently presented in the literature, and we propose a unified framework (based on the integration of abductive and consistency-based reasoning) in which most of such definitions can be captured. This allows us to single out the existence of a spectrum of alternatives in the logical definition of diagnosis. A lot of attention in the paper is devoted to analyzing the differences among the definitions in the spectrum. In particular, we show that the definitions can be compared on the basis of their restrictiveness and we relate such a restrictiveness with the completeness of the model of the system to be diagnosed.
7
133
141
http://www3.interscience.wiley.com/search/allsearch?mode=viewselected&product=journal&ID=119994089&view_selected.x=71&view_selected.y=14
model-based reasoning; theory of diagnosis; abductive reasoning; consistency-based diagnosis
L. CONSOLE; P. TORASSO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/2318/10449
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact