HKUST Library Institutional Repository Banner

HKUST Institutional Repository >
Computer Science and Engineering >
CSE Working Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1783.1/784
Title: On the relationships between static and dynamic causal rules in the situation calculus
Authors: Lin, Fangzhen
Keywords: Situation calculus
Causal roles
Issue Date: Mar-1998
Citation: AAAI '98 Spring Symposium on Prospects for a Commonsense Theory of Causation, Stanford University, CA, March 1998
Abstract: 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.
Rights: Copyright © 1998 American Association for Artificial Intelligence. Information about AAAI publications is available at: http://www.aaai.org/Publications/publications.html
URI: http://hdl.handle.net/1783.1/784
Appears in Collections:CSE Working Papers

Files in This Item:

File Description SizeFormat
spring98.pdf157KbAdobe PDFView/Open

All items in this Repository are protected by copyright, with all rights reserved.