Files: Description File size Format
Fulltext
Original
PDF (requires Acrobat Reader)
Fulltext
1st Revised
PDF (requires Acrobat Reader)
Fulltext
2nd Revised
PDF (requires Acrobat Reader)
Fulltext
Original
PostScript (requires a PostScript Reader)
  Fulltext
1st Revised
PostScript (requires a PostScript Reader)
  Fulltext
2nd Revised
PostScript (requires a PostScript Reader)
   
Authors: Marc Denecker, Daniele Theseider Dupré and Kristof Van Belleghem
Article title: An Inductive Definition Approach to Ramifications
Publ. type: Article
Volume: 3
Article No: 7
Language: English
Abstract [en]: 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,   A   , or Event Calculus, but we briefly discuss how it can be embedded in different time structures.
Discussion: Record of discussions about this article
PDF
Publisher: Linköping University Electronic Press
Year: 1998
Available: Original 1998-07-29, 1st Revised 1998-11-20 and 2nd Revised 1999-05-07
No. of pages: Original 43, 1st Revised 38 and 2nd Revised 39
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841
REFERENCE TO THIS PAGE:
Denecker, Marc ; Theseider Dupré, Daniele and Van Belleghem, Kristof (1998). An Inductive Definition Approach to Ramifications in Linköping Electronic Articles in Computer and Information Science, Vol. 3. http://www.ep.liu.se/ea/cis/1998/007/. ()