ExtensionalSimilarityLink

A type of Link used in OpenCog to define extensional implication.

For more information, see this page

PLN Semantics

In PLN the ExtensionalSimilarityLink between 2 concepts is defined as ratio between the common properties (or elements) of two nodes and the total properties (or elements) of these nodes, i.e.,

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \operatorname{sim}(A, B) = \frac{P(A \wedge B)}{P(A \vee B)}}

where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \wedge} denotes the fuzzy intersection. The TV of the similarity of A and B can also be seen as the TV of concept Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A \wedge B} in the context Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle A \vee B} as explained in this thread [1]

See PredicateFormulaLink for an example of specifying formulas in Atomese.