Sciweavers

IJCAI
2003

Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus

13 years 5 months ago
Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
A promising technique used in some planning systems to improve their performance is the use of domain dependent search control knowledge. We present a procedure for compiling search control knowledge, expressed declaratively in a logic, into the preconditions of the plan actions (operators). We do this within the framework of the situation calculus by introducing a transformation of nonMarkovian action theories into classical Markovian situation calculus theories.
Alfredo Gabaldon
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Alfredo Gabaldon
Comments (0)