A Procedural Logic
Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 516-522.
Abstract
Much of our commonsense knowledge about the real world is concerned with the way things are done. This knowledge is often in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for representing such knowledge based on the notion of process. A declarative semantics for the representation is given, which allows a user to state facts about the effects of doing things in the problem domain of interest. An operational semantics is also provided, which shows how this knowledge can be used to achieve given goals or to form intentions regarding their achievement. The formalism also serves as an executable program specification language suitable for constructing complex systems.
@inproceedings{ijcai1985p99,
title = {A Procedural Logic},
author = {Georgeff, Michael P. and Lansky, Amy L. and Bessière, Pierre},
booktitle = {Proceedings of the Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-85}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Aravind Joshi},
pages = {516--522},
year = {1985},
note = {Knowledge Representation},
url = {https://ijcai.org/proceedings/1985/99},
}
TY - CPAPER TI - A Procedural Logic AU - Georgeff, Michael P. AU - Lansky, Amy L. AU - Bessière, Pierre T2 - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85 PB - International Joint Conferences on Artificial Intelligence PY - 1985 SP - 516 EP - 522 UR - https://ijcai.org/proceedings/1985/99 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
