UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
On the Logic of Causal Explanation (1997)
Vladimir Lifschitz
The McCain-Turner semantics of causal rules is based on a fixpoint construction similar to the one found in the definition of default logic. In the special case when the heads of the rules are literals, it can be equivalently expressed by a translation from sets of rules into sets of propositional formulas. In this note, we define a translation from causal logic into classical logic that characterizes the semantics of arbitrary causal rules, without any restrictions on their syntactic form. This translation suggests a way to extend the McCain-Turner logic to nonpropositional causal theories.
View:
PS
Citation:
Artificial Intelligence
, Vol. 96 (1997), pp. 451-465.
Bibtex:
@ARTICLE{lif97a, title={On the Logic of Causal Explanation}, author={Vladimir Lifschitz}, volume={96}, journal={Artificial Intelligence}, pages={451-465}, url="http://www.cs.utexas.edu/users/ai-lab?lif97a", year={1997} }
People
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Causal Theories
Causality
Mathematical Foundations
Nonmonotonic Reasoning