
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
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. 355359, March/April, 1999.  
BibTex  x  
@article{ 10.1109/69.761668, author = {Xudong Luo and Chengqi Zhang}, title = {Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions}, journal ={IEEE Transactions on Knowledge and Data Engineering}, volume = {11}, number = {2}, issn = {10414347}, year = {1999}, pages = {355359}, doi = {http://doi.ieeecomputersociety.org/10.1109/69.761668}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Knowledge and Data Engineering TI  Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions IS  2 SN  10414347 SP355 EP359 EPD  355359 A1  Xudong Luo, A1  Chengqi Zhang, PY  1999 KW  Uncertainty KW  expert system KW  probability theory KW  certainty factor KW  sequential propagation. VL  11 JA  IEEE Transactions on Knowledge and Data Engineering ER   
Abstract—In this paper, we prove that under the assumption of conditional independence, the EMYCIN formula for sequential propagation can be derived
[1] J.B. Adams, "Probabilistic Reasoning and Certainty Factor," RuleBased Expert Systems, B.G. Buchanan and E.H. Shortliffe, eds., pp. 263271, AddisonWesley, 1984.
[2] D.I. Blockley, B.W. Pilsworth, and J.F. Baldwin, "Measures of Uncertainty," Civil Eng. Systems, vol. 1, pp. 39, 1988.
[3] R. Buxton, "Modeling Uncertainty in Expert Systems," Int'l J. ManMachine Studies, vol. 31, no. 4, pp. 415476, 1989.
[4] G.F. Cooper,"The computational complexity of probabilistic inference using Bayesian belief networks," Artificial Intelligence, vol. 42, pp. 393405, 1990.
[5] A.Y. Darwiche, "ObjectionBased Causal Networks," Proc. Eighth Conf. Uncertainty in Artificial Intelligence, D. Dubois, et al., eds., pp. 6773, 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. 64118, Ellis Horwood Ltd., 1989.
[7] R.O. Duda, P.E. Hart, and N.J. Nillson, "Subjective Bayesian Methods for RuleBased Inference Systems," Proc. AFIPS Conf., vol. 45, pp. 1,0751,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. 167196,NorthHolland, 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. 561568, 1987.
[10] X. Luo, "A Study of ProbabilityBased Uncertain Reasoning Model in RuleBased Expert Systems: ProspectorType Scheme," Automated Reasoning, Z. Shi, ed., pp. 123135,NorthHolland, 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. 306313, 1997.
[12] X. Luo and C. Zhang, "ILSNCC: A PROSPECTORLike Uncertain Reasoning Model," Australia J. Intelligent Information Processing Systems, vol. 4, no. 1, pp. 111, 1997.
[13] W. Van Melle, “A DomainIndependent System that Aids in Constructing KnowledgeBased Consultation Programs,” PhD dissertation, Report No. STANCS80820, 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 RuleBased Inference Systems," Uncertainty in Artificial Intelligence, J.F. Lemmer and L.N. Kanal, eds., vol. 2, pp. 175189, Elsevier, NorthHolland, 1988.
[16] E.H. Shortliffe and B.G. Buchanan, "A Model of Inexact Reasoning in Medicine," Math. Bioscience, vol. 23, pp. 351379, 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. MultiAgent Systems, M. Tokoro, ed., p. 465, AAAI Press, 1996.