It has been argued that causal rules are necessary for representing both implicit side-effects of actions and action qualifications, and there have been a number different approaches for representing causal rules in the area of formal theories of actions. These different approaches in general agree on rules withoutcycles. However,theydifferoncausalruleswithmutualcyclicdependencies, bothintermsofhow theserulesare supposed tobe represented and their semantics. In this paper we show that by adding one more minimization to Lin’s circumscriptive causal theory in the situation calculus, we can have a uniform representation of causal rules including those with cyclic dependencies. We also demonstrate that sometimes causal rules can be compiled into logically equivalent (under a proposed semantics) successor state axioms even in the presence of cyclical dependencies between fluents
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.