Optimal Planning with Axioms
The use of expressive logical axioms to specify derived predicates often allows planning domains to be formulated more compactly and naturally. We consider axioms in the form of a logic program with recursively defined predicates and negationas-failure, as in PDDL 2.2. We show that problem formulations with axioms are not only more elegant, but can also be easier to solve, because specifying indirect action effects via axioms removes unnecessary choices from the search space of the planner....[Show more]
|Collections||ANU Research Publications|
|Source:||Exploiting Symmetries by Planning for a Descriptive Quotient|
|01_Ivankovich_Optimal_Planning_with_Axioms_2015.pdf||424.14 kB||Adobe PDF|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.