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.

A Theory of Diagnosis for Incomplete Causal Models

CONSOLE, Luca;THESEIDER DUPRE', Daniele;TORASSO, Pietro
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.
11th International Joint Conference on Artificial Intelligence
Detroit, USA
August 1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence
Morgan Kaufmann
2
1311
1317
9781558600942
http://dli.iiit.ac.in/ijcai/IJCAI-89-VOL-2/CONTENT/content.htm
Diagnosis; causal models; abductive reasoning; incomplete knowledge
L. CONSOLE; D. THESEIDER DUPRE'; 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/19723
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact