On the logic of causal explanation
โ
Vladimir Lifschitz
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 877 KB
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 propos:itional