A New Approach to Inference Under Uncertainty for Knowledge Based Systems

Uncertainties Expert systems for diagnosis, decision support systems, robot and real time control, engineering design etc. must necessarily use incomplete, contaminated and imprecise knowledge. A database of diseases with associated symptoms may not register presence or absence of a given symptom for a given disease. We can say that the symptom may or may not be present. We may be able to express this incompleteness in terms of probabilities. This is a form of incomplete information and is common in real application areas. Incompleteness can arise because of complete absence of knowledge or through only knowing approximately the answer. In the latter case this might be expressed in words with imprecise meaning such as "tail", "strong", "probable" etc. This imprecision can be taken into account by expressing it by means of fuzzy sets, ZADEH 1965, 75, 83. These fuzzy sets impose a possibility distribution over the set of possible values a variable can take, ZADEH 1978. This in turn imposes a family of possible probability distributions for the value of the variable. Contaminated knowledge arises from noise present in the system, perhaps through the unreliability of a communication channel or the unreliability of a measuring device etc. This form of uncertainty can be represented in probabilistic terms, perhaps as a family of conditional probability distributions, but may also require the use of fuzzy sets to express imprecision once again. Imprecise knowledge is fuzzy. Most everyday concepts cannot be precisely defined by means of necessary and sufficient conditions. The meaning of concepts which are acquired through examples of their usage and their applicability to new situations which do not perfectly match with those used previously cannot be deduced with certainty.

[1]  Philippe Smets,et al.  The Combination of Evidence in the Transferable Belief Model , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[2]  J. Baldwin Support Logic Programming , 1986 .

[3]  Jf Baldwin,et al.  An Introduction to Fuzzy Logic Applications in Intelligent Systems , 1992 .

[4]  James F. Baldwin,et al.  Combining evidences for evidential reasoning , 1991, Int. J. Intell. Syst..

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

[6]  James F. Baldwin,et al.  Evidential support logic programming , 1987 .

[7]  Lotfi A. Zadeh,et al.  A Simple View of the Dempster-Shafer Theory of Evidence and Its Implication for the Rule of Combination , 1985, AI Mag..

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

[9]  Prakash P. Shenoy,et al.  A valuation-based language for expert systems , 1989, Int. J. Approx. Reason..

[10]  Jf Baldwin,et al.  Inference for Information Systems contain Probabilistic and Fuzzy Uncertainties , 1992 .

[11]  James F. Baldwin,et al.  An Abstract Mechanism for Handling Uncertainty , 1990, IPMU.

[12]  Ramon López de Mántaras,et al.  Approximate Reasoning Models , 1990 .

[13]  Jf Baldwin Computational models of uncertainty reasoning in expert systems , 1990 .

[14]  H. Zimmermann,et al.  Fuzzy sets theory and applications , 1986 .

[15]  George J. Klir,et al.  Fuzzy sets, uncertainty and information , 1988 .

[16]  Prakash P. Shenoy,et al.  Axioms for probability and belief-function proagation , 1990, UAI.

[17]  Judea Pearl,et al.  Reasoning with belief functions: An analysis of compatibility , 1990, Int. J. Approx. Reason..

[18]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[19]  LangJérôme,et al.  Fuzzy sets in approximate reasoning, part 2 , 1991 .

[20]  J. F. Baldwin,et al.  Evidential Reasoning Under Probabilistic and Fuzzy Uncertainties , 1992 .

[21]  R. Jeffrey The Logic of Decision , 1984 .

[22]  Smets Ph.,et al.  Belief functions, Non-standard logics for automated reasoning , 1988 .

[23]  D. Dubois,et al.  Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .