Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Duality in STRIPS planning   We describe a duality mapping between STRIPS planning tasks. By exchanging
the initial and goal conditions, taking their respective complements, and
swapping for every action its precondition and delete list, one obtains for
every STRIPS task its dual version, which has a solution if and only if the
original does. This is proved by showing that the described transformation
essentially turns progression (forward search) into regression (backward
search) and vice versa.
  The duality sheds new light on STRIPS planning by allowing a transfer of
ideas from one search approach to the other. It can be used to construct new
algorithms from old ones, or (equivalently) to obtain new benchmarks from
existing ones. Experiments show that the dual versions of IPC benchmarks are in
general quite difficult for modern planners. This may be seen as a new
challenge. On the other hand, the cases where the dual versions are easier to
solve demonstrate that the duality can also be made useful in practice.

34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
35
The categories of this paper are: mtrl-th
15
The categories of this paper are: nucl-ex
11
The categories of this paper are: hep-lat
5
The categories of this paper are: gr-qc
26
The categories of this paper are: bayes-an
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
22
The categories of this paper are: chao-dyn
33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
32
The categories of this paper are: atom-ph