Dynamic Causal Calculus
نویسنده
چکیده
We introduce dynamic causal calculus, a nonmonotonic formalism that can be viewed as a direct logical counterpart of the action description language C+ from (Giunchiglia et al. 2004). We formulate a nonmonotonic semantics of the associated causal language, and compare this semantics with the indirect, two-stage semantics for C+, given in (Giunchiglia et al. 2004). It will be shown, in particular, that the suggested semantics allows us to alleviate syntactic distinctions between propositional atoms, maintained by C+, as well as type restrictions imposed on its causal laws. We will describe also a logical formalism of dynamic causal inference that constitutes a complete description of the logic that is adequate for this dynamic calculus.
منابع مشابه
Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements. Part 2 of 2
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of (Lin 1995) that is required to account for the ramifications of occurrences. Such patterns are both usefu...
متن کاملCommonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connected to those that are required to handle the frame problem whilst modeling inertia, and the causal minimisation of Lin [1995] that is required to account for the ramifications of occurrences. Such patterns are both usefu...
متن کاملA Causal Perspective to Qualitative Spatial Reasoning in the Situation Calculus
We propose the utilisation of a general formalism to reason about action & change for reasoning about the dynamic purpose-directed aspects of spatial change. Such an approach is necessary toward the general integration of qualitative spatial reasoning with reasoning about the teleological aspects of spatial change. With this as the overall context, the main contribution of this paper is to illu...
متن کاملA Constructive Approach to the Ramification Problem
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 ...
متن کاملProbability Theories with Dynamic Causal Structure: A New Framework for Quantum Gravity
Quantum theory is a probabilistic theory with fixed causal structure. General relativity is a deterministic theory but where the causal structure is dynamic. It is reasonable to expect that quantum gravity will be a probabilistic theory with dynamic causal structure. The purpose of this paper is to present a framework for such a probability calculus. We define an operational notion of space-tim...
متن کامل