IntensionalSimilarityLink

From OpenCog
Jump to: navigation, search

A type of Link used to describe intensional similarity between concepts.

PLN Semantics

In PLN the IntensionalSimilarityLink between 2 concepts corresponds to the extensional similarity of their properties (their supersets). Formally

IntensionalSimilarityLink <TV>
   A
   B

is equivalent to

 ExtensionalSimilarityLink <TV>
    SatisfyingSetLink
       LambdaLink
          $Z
          EvaluationLink
             GroundedPredicateNode "property-of"
             ListLink
                $Z
                X
    SatisfyingSetLink
       LambdaLink
          $Z
          EvaluationLink
             GroundedPredicateNode "property-of"
             ListLink
                $Z
                Y

where the property-of predicate is a GroundedPredicateNode defined so that