A Formal Model for Classical Planning
Proceedings of the Twelfth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 246-250.
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 .
Jens Christensen, and Adam J. Grove. 1991. A Formal Model for Classical Planning. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91. IJCAI, 246–250. https://ijcai.org/proceedings/1991/37
Christensen, J., & Grove, A. J. (1991). A Formal Model for Classical Planning. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 (pp. 246–250). IJCAI. https://ijcai.org/proceedings/1991/37
@inproceedings{ijcai1991p37,
title = {A Formal Model for Classical Planning},
author = {Christensen, Jens and Grove, Adam J.},
booktitle = {Proceedings of the Twelfth International Joint Conference on
Artificial Intelligence, {IJCAI-91}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {John Mylopoulos and Ray Reiter},
pages = {246--250},
year = {1991},
month = {8},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1991/37},
}
TY - CPAPER TI - A Formal Model for Classical Planning AU - Christensen, Jens AU - Grove, Adam J. T2 - Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, IJCAI-91 PB - International Joint Conferences on Artificial Intelligence PY - 1991 SP - 246 EP - 250 UR - https://ijcai.org/proceedings/1991/37 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
