Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus

Gabaldon, Alfredo

Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus

Download BibTeX Cite

Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Pages 1061-1065.

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 nonMarkovian action theories into classical Markovian situation calculus theories.

Alfredo Gabaldon. 2003. Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus. In Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03. IJCAI, 1061–1065. https://ijcai.org/proceedings/2003/151

@inproceedings{ijcai2003p151,
  title     = {Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus},
  author    = {Gabaldon, Alfredo},
  booktitle = {Proceedings of the Eighteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-03}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Georg Gottlob},
  pages     = {1061--1065},
  year      = {2003},
  url       = {https://ijcai.org/proceedings/2003/151},
}

TY  - CPAPER
TI  - Compiling Control Knowledge into Preconditions for Planning in the Situation Calculus
AU  - Gabaldon, Alfredo
T2  - Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, IJCAI-03
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2003
SP  - 1061
EP  - 1065
UR  - https://ijcai.org/proceedings/2003/151
ER  -