PRODIGY: Meta-Knowledge Axioms
Description
Describe
problem-solver's
architecture
Used to reduce search:
Primarily encoded as
control rules
Heuristic evaluation functions
Abstract plans
Problem-solution analogs
Macro-operators
Use meta-level predicates to express state of problem-solving process
Detail from
PRODIGY