EvaluationToMemberRule

From OpenCog
Jump to: navigation, search

In PLN, the EvaluationToMemberRule is used to convert EvaluationLinks to equivalent MemberLinks.

This rule performs the inverse of a beta-reduction. See the page SatisfyingSetLink for an example.

This rule is the inverse to the MemberToEvaluationRule.