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

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

2011-06-24

arxiv.org/abs/1106.4867v1

Journal Of Artificial Intelligence Research, Volume 19, pages 279-314, 2003

Computer Science

Artificial Intelligence

Scientific paper

10.1613/jair.1135

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.

Affiliated with

Also associated with

No associations

Rating

Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-393617