Abduction Formula

From OpenCog
Jump to: navigation, search

Abduction Formula

Inputs: sA, sB, sC, sAB, sCB

Calculation:

sBC = inversion(sB, sC, sCB)

sAC = deduction(sA, sB, sC, sAB, sBC)

Consistency conditions: Handled by deduction.

Formulas can be implemented in Atomese using the PredicateFormulaLink.