Title: | An Inductive Definition Approach to Ramifications. |
Authors: | Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem |
Series: | Linköping Electronic Articles in Computer and Information Science ISSN 1401-9841 |
Issue: | Vol. 3(1998): nr 007 |
URL: | http://www.ep.liu.se/ea/cis/1998/007/ |
Abstract: |
In the current state of the art on the ramification problem, the
purpose of causal laws is to restore the integrity of state
constraints. In contrast with this view, we argue that causal
laws should be seen as representations of how physical (or
logical) forces and effects propagate through a dynamic system.
We argue that in order to obtain a natural and modular representation of the effect propagation process, a causal rule language is needed which allows for recursion to model effects on mutually dependent fluents, for negation to model effects which propagate in the absence of other effects, and with complex fluent formulae to model causality in a compact and natural way. A fundamental property of the process of effect propagation in a dynamic system is that it is constructive: effects and change propagations do not spontaneously appear without an external cause. To adequately model the constructive nature of the physical change propagation process, we base the semantics of the formalism on the principle of inductive definition, the main mathematical constructive principle. We use a generalised inductive definition principle, generalising Clark completion and circumscription, to define a unique intended semantics for causal theories. Our approach can deal in particular with cyclic dependencies between effects, in such a way that to some definitions, in spite of syntactic cycles, we can assign a unique intended semantics in a constructive way, while other "actually cyclic" definitions are explicitly detected by the semantics as bad definitions.
Our formalism allows to express the effect propagation process with
high precision. Evidence for this is found in the fact that in many
applications, a representation is obtained which - almost as a side
effect - correctly models the interacting effects of simultaneous
actions. Our approach is presented independent of a specific time
structure, such as situation calculus, |
---|---|
Keywords: |
Intended publication 1998-07-29 | Postscript |
---|---|
Info from authors | |
Third-party information | Record of discussions about this article |
Editor-in-chief: editor@ep.liu.se Webmaster: webmaster@ep.liu.se |
29-Jun-98 16:48 |