Article: Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems

JAIR is pleased to announce the publication of the following article:

Lin, F. (2003)
  "Compiling Causal Theories to Successor State Axioms and STRIPS-Like 
   Systems", Volume 19, pages 279-314.

   For quick access via your WWW browser, use this URL:
     http://www.jair.org/abstracts/lin03a.html

Abstract:
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.

The article is available via:
   
 -- comp.ai.jair.papers (also see comp.ai.jair.announce)

 -- World Wide Web: The URL for our World Wide Web server is
       http://www.jair.org/
    For direct access to this article and related files try:
       http://www.jair.org/abstracts/lin03a.html

 -- Anonymous FTP from Carnegie-Mellon University (USA):
        ftp://ftp.cs.cmu.edu/project/jair/volume19/lin03a.ps
    The compressed PostScript file is named lin03a.ps.Z 
    An online appendix is also available, named lin03a-appendix1.tar 

For more information about JAIR, visit our WWW or FTP sites, or
contact [EMAIL PROTECTED]



-- 
Steven Minton
JAIR Managing Editor