CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishIn 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.
| Titolo: | A spectrum of logical definitions of model-based diagnosis |
| Autori Riconosciuti: | |
| Autori: | L. CONSOLE; P. TORASSO |
| Data di pubblicazione: | 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. |
| Editore: | Blackwell Publishing Limited:9600 Garsington Road, Oxford OX4 2DQ United Kingdom:011 44 1865 776868 , (781)388-8200, EMAIL: agentservices@oxon.blackwellpublishing.com, e-help@blackwellpublishers.co.uk, INTERNET: http://www.blackwellpublishing.com, Fax: 011 44 1865 714591 |
| Volume: | 7 |
| Pagina iniziale: | 133 |
| Pagina finale: | 141 |
| URL: | http://www3.interscience.wiley.com/search/allsearch?mode=viewselected&product=journal&ID=119994089&view_selected.x=71&view_selected.y=14 |
| Parole Chiave: | model-based reasoning; theory of diagnosis; abductive reasoning; consistency-based diagnosis |
| Rivista: | COMPUTATIONAL INTELLIGENCE |
| Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
Copyright © 2020