Unifying time and uncertainty for diagnosis

Existing models of diagnosis have not unified the notions of time, uncertainty and abduction which are necessary in domains such as clinical diagnosis, dynamic systems modelling, and fault diagnosis. We present a new approach which models information through linear constraints and find that many aspects of our knowledge-base and inferencing mechanism are naturally suited towards these constraints. Furthermore, this approach properly subsumes existing abductive and temporal models and provides a precise framework for explanatory reasoning.

[1]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[2]  Solomon Eyal Shimony,et al.  Probabilistic Semantics for Cost Based Abduction , 1990, AAAI.

[3]  L. Zadeh.  The role of fuzzy logic in the management of uncertainty in expert systems , 1983 .

[4]  R R Yager,et al.  Using Approximate Reasoning to Represent Default Knowledge , 1987, Artif. Intell..

[5]  Michael P. Wellman,et al.  Planning and Control , 1991 .

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

[7]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[8]  Eugene Santos,et al.  Dynamic MAP Calculations for Abduction , 1992, AAAI.

[9]  Solomon Eyal Shimony,et al.  A new algorithm for finding MAP assignments to belief networks , 1990, UAI.

[10]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[11]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[12]  Eugene Santos.  Modelling cyclicity and generalized cost-based abduction using linear constraint satisfaction , 1993, J. Exp. Theor. Artif. Intell..

[13]  Eugene Santos,et al.  A Linear Constraint Satisfaction Approach to Cost-Based Abduction , 1994, Artif. Intell..

[14]  Murray Shanahan,et al.  Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.

[15]  David K. Smith.  Theory of Linear and Integer Programming , 1987 .

[16]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[17]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[18]  Eugene Santos,et al.  A fast hill-climbing approach without an energy function for probabilistic reasoning , 1993, Proceedings of 1993 IEEE Conference on Tools with Al (TAI-93).