Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/784

On the relationships between static and dynamic causal rules in the situation calculus

Authors Lin, Fangzhen
Issue Date 1998-03
Source AAAI '98 Spring Symposium on Prospects for a Commonsense Theory of Causation, Stanford University, CA, 1998, March
Summary We can distinguish two kinds of causal rules in the situation calculus: the dynamic ones that are normally used to capture the effects of actions, and the static ones that are used to capture causal dependencies among fluents within a single situation. While the former, in the form of effect axioms, come naturally with or even can be said to be the trademark of the situation calculus, the latter are more recent additions. In this paper, we propose a systematic transformation of static causal rules to dynamic ones by using a special natural action, and show some relationships between these two types of causal rules using this transformation.
Subjects
Rights Copyright © 1998 American Association for Artificial Intelligence. Information about AAAI publications is available at: http://www.aaai.org/Publications/publications.html
Language English
Format Working paper
Access
Files in this item:
File Description Size Format
spring98.pdf 157.42 kB Adobe PDF