Proof of the correctness of EMYCIN sequential propagation under conditional independence assumptions

IEEE Transactions on Knowledge and Data Engineering

Volumn 11, Issue 2, 1999, Pages 355-359

  Luo, Xudong ^b   Zhang, Chengqi ^a,c  

^a IEEE   (Australia)

^b CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^c DEAKIN UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CERTAINTY FACTOR; EMYCIN FORMULA; SEQUENTIAL PROPAGATION;

MATHEMATICAL MODELS; PARALLEL ALGORITHMS; PROBABILITY; UNCERTAIN SYSTEMS;

EXPERT SYSTEMS;

EID: 0032690337     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.761668     Document Type: Article

References (17)

1. J.B. Adams, "Probabilistic Reasoning and Certainty Factor," Rule-Based Expert Systems, B.G. Buchanan and E.H. Shortliffe, eds., pp. 263-271, Addison-Wesley, 1984.
2. D.I. Blockley, B.W. Pilsworth and J.F. Baldwin, "Measures of Uncertainty," Civil Eng. Systems, vol. 1, pp. 3-9, 1988.
3. R. Buxton, "Modeling Uncertainty in Expert Systems," Int'l J. Man-Machine Studies, vol. 31, no. 4, pp. 415-476, 1989.
4. G. Cooper, "The Computational Complexity of Probabilistic Inference Using the Bayesian Belief Network," Artificial Intelligence, vol. 42, pp. 393-405, 1990.
5. A.Y. Darwiche, "Objection-Based Causal Networks," Proc. Eighth Conf. Uncertainty in Artificial Intelligence, D. Dubois, et al., eds., pp. 67-73, Morgan Kaufmann, 1992.
6. D. Dubois and H. Prade, "Handling Uncertainty in Expert Systems: Pitfalls, Difficulties, Remedies," The Reliability of Expert Systems, E. Hollnagel, ed., pp. 64-118, Ellis Horwood Ltd., 1989.
7. R.O. Duda, P.E. Hart, and N.J. Nillson, "Subjective Bayesian Methods for Rule-Based Inference Systems," Proc. AFIPS Conf., vol. 45, pp. 1,075-1,082, AFIPS Press, 1976.
8. O. Heckerman, "Probabilistic Interpretations of MYCIN's Certainty Factors," Uncertainty in Artificial Intelligence, L.N. Kanal and J.F. Lemmer, eds., pp. 167-196, North-Holland, 1986.
9. J. Ihara, "Extension of Conditional Probability and Measures of Belief and Disbelief in a Hypothesis Based on Uncertain Evidence," IEEE Trans. Pattern Analysis and Machine Intelligence, vol. 9, no. 41, pp. 561-568, 1987.
10. X. Luo, "A Study of Probability-Based Uncertain Reasoning Model in Rule-Based Expert Systems: Prospector-Type Scheme," Automated Reasoning, Z. Shi, ed., pp. 123-135, North-Holland, 1992.
11. X. Luo and C. Zhang, "A Solution to the Problem of Prior Probabilities in the PROSPECTOR Uncertain Reasoning Model," Proc. Joint Pacific Asian Conf. Expert Systems/Singapore Int'l Conf. Intelligent Systems, D. Patterson, C. Leedham, K. Warendorf, and T.A. Hwee, eds., pp. 306-313, 1997.
12. X. Luo and C. Zhang, " ILSNCC: A PROSPECTOR-Like Uncertain Reasoning Model," Australia J. Intelligent Information Processing Systems, vol. 4, no. 1, pp. 1-11, 1997.
13. W.V. Melle, "A Domain-Independent System that Aids in Constructing Knowledge-Based Consultation Programs," PhD dissertation, Report No. STAN-CS-80-820, Computer Science Dept., Stanford Univ., 1980.
14. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, 1988.
15. S. Schocken, "On the Rational Scope of Probabilistic Rule-Based Inference Systems," Uncertainty in Artificial Intelligence, J.F. Lemmer and L.N. Kanal, eds., vol. 2, pp. 175-189, Elsevier, North-Holland, 1988.
16. E.H. Shortliffe and B.G. Buchanan, "A Model of Inexact Reasoning in Medicine," Math. Bioscience, vol. 23, pp. 351-379, 1975.
17. C. Zhang and X. Luo, "Isomorphic Transformation of Uncertainties of Propositions Among the EMYCIN and PROSPECTOR Uncertain Models," Proc. Second Int'l Conf. Multi-Agent Systems, M. Tokoro, ed., p. 465, AAAI Press, 1996.