IndicatorPredicateLink

From OpenCog
Jump to: navigation, search

The IndicatorPredicateLink is the inverse of the SatisfyingSetLink, that is it converts a concept into a predicate. The name of the link comes from the indicator function.

Format

The general form of the IndicatorPredicateLink is

IndicatorPredicateLink
  <concept>

Semantics

One may define the semantics of IndicatorPredicateLink via the following equivalence

P

is equivalent to

IndicatorPredicateLink
  SatisfyingSetLink
    P

Likewise

C

is equivalent to

SatisfyingSetLink
  IndicatorPredicateLink
    C