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

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