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.
EnglishOne of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete models is fundamental to many realworld domains. In this paper we propose a formal theory of causal diagnostic reasoning, dealing with different forms of incompleteness both in the general causal knowledge (missing or abstracted knowledge) and in the data describing a specific case under examination. Different forms of nonmonotonic reasoning (hypothetical and circumscriptive reasoning) are used in order to draw and confirm conclusions from incomplete knowledge. Multiple fault solutions are treated in a natural way and parsimony criteria are used to rank alternative solutions.
| Titolo: | A Theory of Diagnosis for Incomplete Causal Models | |
| Autori Riconosciuti: | ||
| Autori: | L. CONSOLE; D. THESEIDER DUPRE'; P. TORASSO | |
| Data di pubblicazione: | 1989 | |
| Abstract: | One of the problems of the recent approaches to problem solving based on deep knowledge is the lack of a formal treatment of incomplete knowledge. However, dealing with incomplete models is fundamental to many realworld domains. In this paper we propose a formal theory of causal diagnostic reasoning, dealing with different forms of incompleteness both in the general causal knowledge (missing or abstracted knowledge) and in the data describing a specific case under examination. Different forms of nonmonotonic reasoning (hypothetical and circumscriptive reasoning) are used in order to draw and confirm conclusions from incomplete knowledge. Multiple fault solutions are treated in a natural way and parsimony criteria are used to rank alternative solutions. | |
| Editore: | Morgan Kaufmann | |
| Titolo del libro: | Proceedings of the 11th International Joint Conference on Artificial Intelligence | |
| Volume: | 2 | |
| Pagina iniziale: | 1311 | |
| Pagina finale: | 1317 | |
| Nome del convegno: | 11th International Joint Conference on Artificial Intelligence | |
| Luogo del convegno: | Detroit, USA | |
| Anno del convegno: | August 1989 | |
| ISBN: | 9781558600942 | |
| URL: | http://dli.iiit.ac.in/ijcai/IJCAI-89-VOL-2/CONTENT/content.htm | |
| Parole Chiave: | Diagnosis; causal models; abductive reasoning; incomplete knowledge | |
| Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
Copyright © 2022