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.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Alfredo Gabaldon
• Keywords: IJCAI 2003, IJCAI 2007, Markovian Situation Calculus, Search Control Knowledge, Situation Calculus