PRODIGY: Problem Solver

Description

• General purpose problem solver
• Uses Means Ends Analysis and control rules to select:
  • which node to expand
  • which goal to work on
  • which operator to apply
  • which instatiation of an operator to select
• New goals are generated in a depth-first manner by default, though PRODIGY can utilize control rules to emulate other search methods