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