Predicate Schematization

From AGIRI.org

A Backward Synthesis process, similar in form to Backward Chaining Inference, that takes in a (current or hypothetical) Goal and finds a relevant set of Atoms and uses them to generate Combo program whose execution is judged likely to lead to the achievement of the goal.

[edit]