Concept Geometry Based Deduction Formula

From OpenCog
Jump to: navigation, search

Input values: sA, sB, sC, sAB, sBC. Output: sAC

Consistency conditions:

IF: max((sA+sB-1)/sA, 0) <= sAB<= min(1, sB/sA) AND max((sB+sC-1)/sB, 0) <= sBC <= min(1, sC/sB),

THEN

sAC = sAB*sAC/min(1, sAB+sAC)

END

Formulas can be implemented in Atomese using the PredicateFormulaLink.