Obligation Change in Dependence Logic and Situation Calculus

Obligation change raises the ”frame problem” which is to characterise what obligations remain unchanged after an action has been performed. Many general solutions have been proposed but even if they are attractive from a thoretical point of view they have practical drawbacks.

[1]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[2]  Hector J. Levesque,et al.  Knowledge, action, and the frame problem , 2003, Artif. Intell..

[3]  Wayne Snyder,et al.  Goal Directed Strategies for Paramodulation , 1991, RTA.

[4]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[5]  Hector J. Levesque,et al.  Iterated belief change in the situation calculus , 2000, Artif. Intell..

[6]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[7]  Frank Dignum,et al.  Defeasible Reasoning with Legal Rules. , 1996 .

[8]  Andreas Herzig,et al.  It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation , 2002, NMR.

[9]  Mark A. Brown,et al.  Deontic Logic, Agency and Normative Systems , 1996, Workshops in Computing.

[10]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[11]  Robert Demolombe.  From Belief Change to Obligation Change in the Situation Calculus , 2004, ECAI.

[12]  Maria del Pilar Pozos Parra,et al.  A Simple and Tractable Extension of Situation Calculus to Epistemic Logic , 2000, ISMIS.

[13]  Andreas Herzig,et al.  Formalizing Action and Change in Modal Logic I: the frame problem , 1999, J. Log. Comput..

[14]  Guido Governatori,et al.  Towards a Computational Treatment of Deontic Defeasibility , 1996, DEON.

[15]  Shusaku Tsumoto,et al.  Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings , 2005, ISMIS.

[16]  Sheila A. McIlraith.  Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) , 2000, Artif. Intell..

[17]  Yao-Hua Tan,et al.  An update semantics for deontic reasoning , 1999 .

[18]  Robert Demolombe,et al.  Belief Change: from Situation Calculus to Modal Logic , 2003, J. Appl. Non Class. Logics.