Temporal Abductive Diagnosis

Diagnostic problem solving aims to explain an observed divergence from the proper functioning of some case, human or other. The paper presents a temporal-abductive framework for diagnostic problem solving focusing on the integration of time. It is argued that time can be intrinsically relevant to diagnostic reasoning and as such it should be treated as an integral aspect of the knowledge and reasoning of a diagnostic problem solver. The proposal for achieving this is to model all relevant concepts as time-objects.

[1]  Elpida T. Keravnou,et al.  A temporal reasoning framework used in the diagnosis of skeletal dysplasias , 1990, Artif. Intell. Medicine.

[2]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[3]  Dean Allemang,et al.  The Computational Complexity of Abduction , 1991, Artif. Intell..

[4]  David Poole,et al.  Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..

[5]  William J. Long,et al.  Temporal reasoning for diagnosis in a causal probabilistic knowledge base , 1996, Artif. Intell. Medicine.

[6]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[7]  Harry E. Pople,et al.  Session 6 Theorem Proving and Logic: I I ON THE MECHANIZATION OF ABDUCTIVE LOGIC , 2006 .

[8]  N. Lavrac,et al.  Intelligent Data Analysis in Medicine and Pharmacology , 1997 .

[9]  Randy Goebel,et al.  Theorist: A Logical Reasoning System for Defaults and Diagnosis , 1987 .

[10]  Jacques Wainer,et al.  A Temporal Extension to the Parsimonious Covering Theory , 1996, SBIA.

[11]  Wolfgang Nejdl,et al.  Abstract temporal diagnosis in medical domains , 1997, Artif. Intell. Medicine.

[12]  James F. Allen Towards a General Theory of Action and Time , 1984, Artif. Intell..

[13]  Pietro Torasso,et al.  Integrating Models of the Correct Behavior into Abductive Diagnosis , 1990, ECAI.

[14]  Elpida T. Keravnou Temporal Abstraction of Medical Data: Deriving Periodicity , 1997 .

[15]  Pietro Torasso,et al.  On the co-operation between abductive and temporal reasoning in medical diagnosis , 1991, Artif. Intell. Medicine.

[16]  Elpida T. Keravnou,et al.  Temporal diagnostic reasoning based on time-objects , 1996, Artif. Intell. Medicine.

[17]  Pietro Torasso,et al.  A spectrum of logical definitions of model‐based diagnosis 1 , 1991, Comput. Intell..

[18]  Elpida T. Keravnou,et al.  Engineering time in medical knowledge-based systems through time-axes and time-objects , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[19]  Gerhard Friedrich,et al.  Diagnosing Temporal Misbehavior , 1991, IJCAI.