Causal laws and multi-valued fluents (2001) [7 citations — 0 self]
|
Abstract:
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being true and being caused, as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz. The only fluents directly representable in language C are truth-valued fluents, which is often inconvenient. We show that both causal logic and language C can be extended to allow values from arbitrary nonempty sets. Our extension of language C, called C+, also makes it possible to describe actions in terms of their attributes, which is important from the perspective of elaboration tolerance. We describe an embedding of C+ in causal theories with multi-valued constants, relate C+ to Pednault's action language ADL, and show how multi-valued constants can be eliminated in favor of Boolean constants.
Citations
| 787 | Negation as Failure – Clark - 1978 |
| 219 | State constraints revisited – Lin, Reiter - 1994 |
| 154 | Embracing causality in specifying the indirect effects of actions – Lin - 1995 |
| 133 | Causal theories of action and change – McCain, Turner - 1997 |
| 104 | An action language based on causal explanation: Preliminary report – Giunchiglia, Lifschitz - 1998 |
| 48 | Elaboration tolerance – McCarthy - 1998 |
| 40 | A logic of universal causation – TURNER - 1999 |
| 31 | ADL and the state-transition model of action – Pednault - 1994 |
| 28 | Missionaries and cannibals in the Causal Calculator – Lifschitz - 2000 |
| 28 | Embracing Causality in Specifying the Indirect Eects of Actions – Lin - 1995 |
