Transitive Similarity Formula

From OpenCog
Jump to: navigation, search

Transitive Similarity Formula

Inputs: sA, sB, sC, simAB, simBC

Output: simAC=1/[1/(deduction(T1, T2) + 1/deduction(T3, t4) - 1]

            where
             T1 = (1+sB/sA)*simAB/(1 + simAB)
             T2 = (1+sC/sB)*simBC/(1 + simBC)
             T3 = (1+sB/sC)*simBC/(1 + simBC)
             T4 = (1+sA/sB)*simAB/(1 + simAB)
             and
             deduction(T1, T2) means applying the deduction rule to (sA, sB, sC, sAB = T1, and sBC = T2)
             and
             deduction(T3, T4) means applying the deduction rule to (sA, sB, sC, sAB = T3, and sBC = T4)

Consistency conditions: The conditions are handled within the two deduction rules and so do not need to be specified explicitly.

Formulas can be implemented in Atomese using the PredicateFormulaLink.