Modus Ponens Formula

From OpenCog
Jump to: navigation, search

Modus Ponens Formula:

Inputs: sA, sAB

Outputs: sB = sA*sAB + c*(1-sA), 0 <= c <=1 where c=P(B | not A)

Consistency conditions: None

In the Python version, Modus Ponens calls Precise Modus Ponens with inputs sA, sAB, and sNotAB = 0.2

Formulas can be implemented in Atomese using the PredicateFormulaLink.