Some properties of modified Dempster-Shafer operators in rule based inference systems. (English) Zbl 1200.03014
Summary: A modification of the Dempster-Shafer theory of evidence is employed to formulate a computationally feasible approach to evidence accumulation in rule based inference systems. Properties of evidence combining operators are formulated axiomatically and employed to demonstrate the merits of the new approach. A finitary, parametric form of the evidence accumulator is proposed which makes it possible to set the rates at which evidence is accumulated toward certainty and contradiction states. The evidence accumulator appears to solve many of the problems previously encountered with certainty factor algorithms.
MSC:
| 03B35 | Mechanization of proofs and logical operations |
| 68T20 | Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) |
| 68T05 | Learning and adaptive systems in artificial intelligence |
References:
| [1] | B. G. Buchanan and E. H. Shortliffe ,Rule–Based Expert Systems. Addison–Wesley , Reading , Mass. , 1984 , Chaps. 11 – 12 |
| [2] | DOI: 10.1016/0004-3702(85)90064-5 · Zbl 1134.68530 · doi:10.1016/0004-3702(85)90064-5 |
| [3] | R. R. Yager , ”On the Dempster–Shafer framework and new combination rules.” Memo MII–504 , Machine Intelligence Institute, Iona College , New Rochelle , New York , 1985 . · Zbl 0629.68092 |
| [4] | DOI: 10.1080/01969728508927754 · Zbl 0583.68049 · doi:10.1080/01969728508927754 |
| [5] | Dubois D., In Fuzzy Information and Decision Processes pp 167– (1982) |
| [6] | DOI: 10.1080/03081078708934960 · doi:10.1080/03081078708934960 |
| [7] | D. Dubois and H. Prade , ”On the combination of uncertain or imprecise pieces of information in rule–based systems.” Rept. L.S.I. 263 , Universite Paul Sabatier , Jan. 1987 . · Zbl 0646.68112 |
| [8] | DOI: 10.1080/03081078608934937 · doi:10.1080/03081078608934937 |
| [9] | Lecot K., AI Expert 1 pp 32– (1986) |
| [10] | Lukasiewcz J., In Polish Logic (1967) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
