An open-source Hierarchical Task Network (HTN) AI planner written in Common Lisp, supporting PDDL and HDDL.
SHOP3 is an open-source Hierarchical Task Network (HTN) AI planner written in Common Lisp. It solves complex planning problems by decomposing high-level tasks into executable actions, supporting standard planning languages like PDDL and HDDL for domain modeling and plan generation.
AI researchers, developers, and students working on automated planning, task decomposition, or reasoning systems, particularly those using Common Lisp or requiring integration with PDDL/HDDL standards.
Developers choose SHOP3 for its robust HTN planning capabilities, strong support for PDDL and HDDL standards, and reliability across multiple Common Lisp implementations, backed by extensive testing and active maintenance.
SHOP3 Git repository
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Supports PDDL and HDDL, enabling interoperability with established AI planning tools and libraries, as evidenced by the integration of PDDL-UTILS for dependency management.
Integrates the random-state library for portable, replicable random number generation, crucial for academic research and reliable experiments as highlighted in the release notes.
Regularly tested across multiple Common Lisp implementations (SBCL, CCL, ACL, LispWorks) with an exhaustive test suite, ensuring reliability for production use.
Includes tools for plan repair and computing last establishers for facts, useful in dynamic environments, as mentioned in the version 4.2 release for improved plan evaluation.
Does not work on Common Lisp implementations like ECL, ABCL, and clisp, and free versions of commercial CLs have resource limitations, restricting platform flexibility as admitted in the installation instructions.
Requires managing dependencies via Quicklisp or ASDF, populating git submodules, and building documentation from source, which can be intimidating for newcomers without a Common Lisp background.
Buildapp-based command-line tools are acknowledged to be 'probably not as well documented as could be,' and the manual requires manual building with texinfo, adding overhead for users.