This Article 
 Bibliographic References 
 Add to: 
Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions
March/April 1999 (vol. 11 no. 2)
pp. 355-359

Abstract—In this paper, we prove that under the assumption of conditional independence, the EMYCIN formula for sequential propagation can be derived strictly from the definition of the certainty factor according to probability theory. We already have known that Adams [1] and Schocken [15] have proved that the EMYCIN formula for parallel propagation is partially consistent with probability theory. Our result supplements their contribution and, together with theirs, explains why the EMYCIN model has been working reasonably well.

[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.F. Cooper,"The computational complexity of probabilistic inference using Bayesian belief networks," 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. Van 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. San Mateo, Calif.: Morgan Kaufman, 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.

Index Terms:
Uncertainty, expert system, probability theory, certainty factor, sequential propagation.
Xudong Luo, Chengqi Zhang, "Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions," IEEE Transactions on Knowledge and Data Engineering, vol. 11, no. 2, pp. 355-359, March-April 1999, doi:10.1109/69.761668
Usage of this product signifies your acceptance of the Terms of Use.