BayesTheorem

This is a microtheory which contains only the assertions required for the Cyc theorem prover and its underlying HL representation of the EL to function properly.  In other words, these are the assertions in CycL which are required by Cyc in order to perform any logical inferences using CycL formulas.


BayesTheorem "A Theorem-Proposition attributed to ReverendThomasBayes that states an important relation between conditional and marginal probability distributions of random variables. It is formalized in CycL as:
(implies
  (and
    (probability ?EVIDENCE ?E)
    (probability ?HYPOTHESIS ?H)
    (conditionalProbability ?HYPOTHESIS ?EVIDENCE ?E-GIVEN-H)
    (conditionalProbability ?EVIDENCE ?HYPOTHESIS ?H-GIVEN-E))
  (mathEquals ?H-GIVEN-E
    (QuotientFn
      (TimesFn ?E-GIVEN-H ?H) ?E))).