{"type":"ScholarlyArticle","title":"A Causal Theory of Ramifications and Qualifications","authors":[{"name":"Norman McCain","slug":"norman-mccain","given":"Norman","family":"McCain","affiliation":""},{"name":"Hudson Turner","slug":"hudson-turner","given":"Hudson","family":"Turner","affiliation":""}],"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.\"","doi":null,"url":"https://ijcai.org/proceedings/1995/254","pdf":"https://ijcai.org/proceedings/1995/0254.pdf","markdown":"https://ijcai.org/proceedings/1995/254.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/254","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":254,"pages":{"first":1978,"last":1983},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}