Precise Modus Ponens Formula

From OpenCog
Jump to: navigation, search

Precise Modus Ponens Formula:

Inputs: sA, sAB, sNotAB

Outputs: sB = sA*sAB + sNotAB*(1-sA),

Consistency conditions: None

Formulas can be implemented in Atomese using the PredicateFormulaLink.