Proof of the Correctness of EMYCIN Sequential Propagation Under Conditional Independence Assumptions

Authors:
Xudong Luo;Chengqi Zhang
Affiliations:
-;-
Venue:
IEEE Transactions on Knowledge and Data Engineering
Year:
1999

Citing 7
Cited 3

Extension of Conditional Probability and Measures of Belief and Disbelief in a Hypothesis Based on Uncertain Evidence

IEEE Transactions on Pattern Analysis and Machine Intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Modelling uncertainty in expert systems

International Journal of Man-Machine Studies
The computational complexity of probabilistic inference using Bayesian belief networks (research note)

Artificial Intelligence
Objection-based causal networks

UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence
A Study of Probability-Based Uncertain Reasoning Models in Rule-Based Expert Systems: Prospector-Type Schemes

Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning
A domain-independent system that aids in constructing knowledge-based consultation programs

A domain-independent system that aids in constructing knowledge-based consultation programs

A hybrid model for sharing information between fuzzy, uncertain and default reasoning models in multi-agent systems

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
A Class of Isomorphic Transformations for Integrating EMYCIN-Style and PROSPECTOR-Style Systems into a Rule-Based Multi-Agent System

PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
AT-PAM: an authentication trustworthiness-based PAM

InfoSecu '04 Proceedings of the 3rd international conference on Information security

Quantified Score

Hi-index	0.00

Visualization

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.