implemented the 1-Constraint-Subsumption Transformation

iCog-Labs-Dev / metta-moses

Meta Optimization Semantic Evolutionary Search

3 stars 14 forks source link

implemented the 1-Constraint-Subsumption Transformation #131

Closed Liya-F closed 3 weeks ago

Liya-F commented 3 weeks ago

The POA for this transformation is any non-root AND node. If any constraints of the node are already found inside the $commandSet the node is removed, if not, it's kept.

I have used the isMember method from general-helper-functions.