A Causal Theory of Ramifications and Qualifications
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1978-1983.
Abstract
This paper is concerned with the problem of determining the indirect effects or ramifications of actions. We argue that the standard framework in which background knowledge is given in the form of state constraints is inadequate and that background knowledge should instead be given in the form of "causal laws." We represent "causal laws" first as inference rules and later as sentences in a modal, conditional logic Ct~at· For the fram ework with "causal laws," we propose a simple fixpoint condition defining the possible next states after performing an action. This fixpoint condition guarantees minimal change between states , but also enforces the requirement that changes be "caused." Ramification and qualification constraints can be expressed as "causal laws."
@inproceedings{ijcai1995p254,
title = {A Causal Theory of Ramifications and Qualifications},
author = {McCain, Norman and Turner, Hudson},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1978--1983},
year = {1995},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1995/254},
}
TY - CPAPER TI - A Causal Theory of Ramifications and Qualifications AU - McCain, Norman AU - Turner, Hudson T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1978 EP - 1983 UR - https://ijcai.org/proceedings/1995/254 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
