SoggyLink

From OpenCog
Jump to: navigation, search

Given a predicate P over domain D, SoggyLink turns P into a soggy predicate over domain powerset(D), where Soggy(P) maps X, a subset of D, to the average TVs of P(x) for all x in X.

Semantics

Another way to define the semantics of SoggyLink is via the following equivalence

EvaluationLink <TV>
  SoggyLink
    P
  ListLink
    A1
    ...
    An

is equivalent to

 SubsetLink <TV>
   ListLink
     A1
     ...
     An
   SatisfyingSetLink
     P

where P is a predicate, A1 to An are concepts, and ListLink is the Cartesian product.