Skip navigation
Skip navigation

Optimal Planning with Axioms

Ivankovich, Franc; Haslum, Patrik


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]

CollectionsANU Research Publications
Date published: 2015
Type: Conference paper
Source: Exploiting Symmetries by Planning for a Descriptive Quotient
Access Rights: Open Access


File Description SizeFormat Image
01_Ivankovich_Optimal_Planning_with_Axioms_2015.pdf424.14 kBAdobe PDF

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator