Loading...
Please wait, while we are loading the content...
Similar Documents
Compiling control knowledge into preconditions for planning in the situation calculus.
| Content Provider | CiteSeerX |
|---|---|
| Abstract | 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 non-Markovian action theories into classical Markovian situation calculus theories. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Promising Technique Control Knowledge Plan Action Situation Calculus Planning System Domain Dependent Search Control Knowledge Classical Markovian Situation Calculus Theory Search Control Knowledge Non-markovian Action Theory |
| Content Type | Text |