In this paper we propose a logical formalization of the reasoning mechanisms to be adopted for diagnosing multiple faults in a physical (or physiological) system represented by means of causal models. After a brief discussion of the similarities and differences with respect to ontological models, the paper present in detail a formalism to represent causal knowledge and in particular an approach to deal with incomplete knowledge. We propose a logical semantic for the formalism and we introduce a precise definition of the concepts of "diagnostic problem" and of "definite and plausible solution to a diagnostic problem". A particular form of hypothetical reasoning is presented in order to deal with incomplete models: the observation (or non observation) of findings is used to confirm (reject) the hypothetical assumptions introduced during the diagnostic process. The correspondence between the confirmation criterion we have defined and the circumscription principle is discussed.

HYPOTHETICAL REASONING IN CAUSAL-MODELS / L. CONSOLE; P. TORASSO. - In: INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS. - ISSN 0884-8173. - 5(1990), pp. 83-124.

HYPOTHETICAL REASONING IN CAUSAL-MODELS

CONSOLE, Luca;TORASSO, Pietro
1990

Abstract

In this paper we propose a logical formalization of the reasoning mechanisms to be adopted for diagnosing multiple faults in a physical (or physiological) system represented by means of causal models. After a brief discussion of the similarities and differences with respect to ontological models, the paper present in detail a formalism to represent causal knowledge and in particular an approach to deal with incomplete knowledge. We propose a logical semantic for the formalism and we introduce a precise definition of the concepts of "diagnostic problem" and of "definite and plausible solution to a diagnostic problem". A particular form of hypothetical reasoning is presented in order to deal with incomplete models: the observation (or non observation) of findings is used to confirm (reject) the hypothetical assumptions introduced during the diagnostic process. The correspondence between the confirmation criterion we have defined and the circumscription principle is discussed.
5
83
124
http://portal.cilea.it/portal.cgi?Init=Yes&SID=W1cbB5ACmi38naD66HP
causal models; non-monotonic reasoning; diagnostic problem solving; incomplete knowledge; hypothetical reasoning
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/10415
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact