implemented the 0-Constraint-Subsumption Transformation

iCog-Labs-Dev / metta-moses

Meta Optimization Semantic Evolutionary Search

3 stars 14 forks source link

implemented the 0-Constraint-Subsumption Transformation #123

Closed Liya-F closed 3 weeks ago

Liya-F commented 4 weeks ago

I have implemented the transformation which is applied on any OR node. It checks if a child of the OR node has no guardSet and no child and if the condition is satisfied it deletes the node. if not, the node is kept.

I have used the getGuardSetExp method to check the guardSet of each child
And the nodeHasChild method to check if the child has any child.

Nahom32 commented 3 weeks ago

@Liya-F please add comments to your implementations to highlight what it does.