Skip to main content
Article thumbnail
Location of Repository

Mikhail Soutchanski

By Fangzhen Lin

Abstract

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

Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.309.3441
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://commonsensereasoning.or... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.