Induction Formula

From OpenCog
Jump to: navigation, search

Induction Formula:

Inputs: sA, sB, sC, sBA, sBC

Calculation:

sAB = inversion(sA, sB, sBA)

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

Consistency conditions: Handled in deduction

Formulas can be implemented in Atomese using the PredicateFormulaLink.