Ext2IntInh Formula

From OpenCog
Jump to: navigation, search

Extensional Inheritance To Intensional Inheritance Formula

Inputs: sAB, nAB

Outputs: sABint = sAB; nABint = nAB * EXTENSION_TO_INTENSION_DISCOUNT_FACTOR

Consistency conditions: none

Formulas can be implemented in Atomese using the PredicateFormulaLink.