Skip navigation
Skip navigation

Optimal Planning with Axioms

Ivankovich, Franc; Haslum, Patrik

Description

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
URI: http://hdl.handle.net/1885/103804
Source: Exploiting Symmetries by Planning for a Descriptive Quotient

Download

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:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator