A constructive approach to the ramification problem
Kristof Van Belleghem, Marc Denecker, D Theseider-Dupré · Lirias · 1998
In the state of the art on the ramification problem, it is acknowledged that ramifications of actions are not logical consequences of state constraints and require explicit representation through causal laws. Yet, causal laws are still tightly coupled with state constraints in that their syntactic form is derived from state constraints or in that they merely serve to restore integrity of state constraints. In this paper, we cut this strong connection. Our focus is not on state constraints but on the propagation of physical or logical forces and effects through the dynamic system. Causal laws