software
This is an old revision of the document!
Software
- PDDL4J v4.0 (Planning Domain Description Language for Java is a software library under LGPL license embedding Artificial Intelligence algorithms to find solutions for planning problems, that is to say time organized actions to achieve a goal. Solutions to planning problems are “todo lists” named plan representing operational features of actions like who, how, where, when and what to do. The code of the library is available on GitHub.
- SibylSat is an incremental SAT-based planner for totally-ordered HTN planning problems based on a fork of the Lilotane planner. Like lilotane and other current SAT-based solver, SibylSat adheres to a standard procedure of alternating between expanding the search space, encoding it into a SAT formula, and invoking a SAT solver to find a solution plan. However, it differ from the other SAT-based planner in that it uses a greedy best first search to explore the search space instead of the usual breadth-first search.
- * Paper:
software.1736765986.txt.gz · Last modified: 2025/01/13 10:59 by admin