From OpenCog
Jump to: navigation, search

In PLN, the MemberToEvaluationRule is used to convert MemberLinks to equivalent EvaluationLinks, by applying beta-reduction.

See the page SatisfyingSetLink for an example.

The inverse operation is performed by the EvaluationToMemberRule.

The theoretical justification for this rule is clearest in the case of Soggy Predicates