Propagation of PDDL3 plan constraints
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Access Statement
Abstract
We present a sound, though incomplete, and tractable propagation procedure for PDDL3 trajectory constraints, with the aim of providing an inexpensive unsatisfiability test for sets of such constraints. The propagator is supported by (tractable) methods that derive additional constraints from the problem description. It is applied to compute lower bounds on penalty for problems with soft trajectory constraints (preferences).
Description
Keywords
Citation
Collections
Source
Type
Book Title
Entity type
Publication