Description
Supports hierarchical task-network planning with the SHOP planner in Common Lisp. It is useful for AI researchers and students modeling automated planning problems through ordered task decomposition.
Planning systems depend on accurate domain models. Validate operators, goals, and constraints before treating a generated plan as correct for real-world decisions.