The Ramification Problem in the Event Calculus
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 140-145.
Abstract
Finding a solution to the frame problem that is robust in the presence of actions with indirect effects has proven to be a difficult task. Examples that feature the instantaneous propagation of interacting indirect effects are particularly taxing. This article shows that an already widely known predicate calculus formalism, namely the event calculus, can handle such examples with only minor enhancements.
Murray Shanahan. 1999. The Ramification Problem in the Event Calculus. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. IJCAI, 140–145. https://ijcai.org/proceedings/1999/21
Shanahan, M. (1999). The Ramification Problem in the Event Calculus. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 (pp. 140–145). IJCAI. https://ijcai.org/proceedings/1999/21
@inproceedings{ijcai1999p21,
title = {The Ramification Problem in the Event Calculus},
author = {Shanahan, Murray},
booktitle = {Proceedings of the Sixteenth International Joint Conference on
Artificial Intelligence, {IJCAI-99}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Thomas Dean},
pages = {140--145},
year = {1999},
note = {Automated Reasoning},
url = {https://ijcai.org/proceedings/1999/21},
}
TY - CPAPER TI - The Ramification Problem in the Event Calculus AU - Shanahan, Murray T2 - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99 PB - International Joint Conferences on Artificial Intelligence PY - 1999 SP - 140 EP - 145 UR - https://ijcai.org/proceedings/1999/21 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
