Inversion Formula

From OpenCog
Jump to: navigation, search

Inputs: sA, sB, sAB

Output sBA = sB*sAB/sA

No consistency conditions necessary

Formulas can be implemented in Atomese using the PredicateFormulaLink.