PRODIGY: Problem Solving

Description

• General purpose problem-solver based on means-end analysis, augmented by additional control rules to modify search strategy
• A problem consists of an initial state and a goal expression. To solve a problem, PRODIGY identifies a sequence of operators that produce a final state that satisfies the goal expression.
• Problem solver can achieve goals in many domains