Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Compiling Causal Theories to Successor State Axioms and STRIPS-Like
  Systems   We describe a system for specifying the effects of actions. Unlike those
commonly used in AI planning, our system uses an action description language
that allows one to specify the effects of actions using domain rules, which are
state constraints that can entail new action effects from old ones.
Declaratively, an action domain in our language corresponds to a nonmonotonic
causal theory in the situation calculus. Procedurally, such an action domain is
compiled into a set of logical theories, one for each action in the domain,
from which fully instantiated successor state-like axioms and STRIPS-like
systems are then generated. We expect the system to be a useful tool for
knowledge engineers writing action specifications for classical AI planning
systems, GOLOG systems, and other systems where formal specifications of
actions are needed.

20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
5
The categories of this paper are: gr-qc
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
3
The categories of this paper are: physics