A Formal Model for Classical Planning
Abstract
In this paper, we describe a formal semantic model that applies to many classical planning systems. This gives a unifying framework in which to study diverse planners, and motivates formal logics that can be used to study their properties. As an example of the model's utility, we present a general truth criterion which tests for the necessary truth of a proposition at arbitrary points in the planning process.
Cite
Text
Christensen and Grove. "A Formal Model for Classical Planning." International Joint Conference on Artificial Intelligence, 1991.Markdown
[Christensen and Grove. "A Formal Model for Classical Planning." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/christensen1991ijcai-formal/)BibTeX
@inproceedings{christensen1991ijcai-formal,
title = {{A Formal Model for Classical Planning}},
author = {Christensen, Jens and Grove, Adam J.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {246-251},
url = {https://mlanthology.org/ijcai/1991/christensen1991ijcai-formal/}
}