Abstract

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. Keywords: Actions; Causal logic; Circumscription 1 Introduction The nonmonotonic logic of causal explanation proposed by Norman McCain and Hudson Turner [1997a] provides a simple and powerful formalism for representing properties of actions. Their work builds on the analysis of causality due to Hector Geffner [1990], on work by Fangzhen Lin [1995] and on their own research described in [ M...

Citations

1247	A logic for default reasoning - Reiter - 1980
855	Negation as Failure - Clark - 1978
362	Planning as satisfiability - Kautz, Selman - 1992
355	Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
166	Embracing causality in specifying the indirect effects of actions - Lin - 1985
154	Causal theories of action and change - McCain, Turner - 1997
151	A causal theory of ramifications and qualifications - McCain, Turner - 1995
112	Embedding defaults into terminological knowledge representation formalisms - Baader, Hollunder - 1995
41	Causal theories for nonmonotonic reasoning - Geffner - 1990
39	Untersuchungen uber das Eliminationsproblem der mathematischen - Ackermann - 1935
36	Satisfiability planning with causal theories - McCain, Turner - 1998
6	and Arkady Rabinov. Things that change by themselves - Lifschitz - 1989