Abstract
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.
In this paper simple solutions are proposed thanks to the restriction to obligations that take the form of modal literals. These solutions are presented in the framework of dependence logic and of situation calculus, and it is shown that they are based on the same intuitive idea. This idea is to express that we have a complete representation of actions and circumstances that can change an obligation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artosi, A., Governatori, G., Sartor, G.: Towards a computational treatment of deontic defeasibility. In: Brown, M.A., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, pp. 27–46. Springer, Heidelberg (1996)
Castilho, M.A., Gasquet, O., Herzig, A.: Formalizing action and change in a modal logic I:the frame problem. Journal of Logic and Computation 9(5) (1999)
Castilho, M.A., Herzig, A., Varzinczak, I.J.: It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. In: 9th Int. Workshop on Non Monotonic Reasoning (2002)
Demolombe, R.: From belief change to obligation change in the Situation Calculus. A preliminary study. In: Horty, J., Jones, A.J.I. (eds.) Six International Workshop on Deontic Logic in Computer Science (2002)
Demolombe, R.: Belief change: from Situation Calculus to Modal Logic. In: Brewka, G., Peppas, P. (eds.) Proc. of the Workshop on Nonmonotonic Reasoning, Action and Change (2003)
Demolombe, R., Pozos-Parra, M.P.: A simple and tractable extension of situation calculus to epistemic logic. In: Ohsuga, S., Raś, Z.W. (eds.) ISMIS 2000. LNCS (LNAI), vol. 1932, pp. 515–524. Springer, Heidelberg (2000)
Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4, 655–678 (1994)
McIllraith, S.: A closed-form solution to the ramification problem (sometimes). In: Proc. of the IJCAI 1997. Workshop on Non Monotonic Reasoning Action and Change (1997)
Nute, D.: Norms, priorities and defeasibility. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 201–218. IOS Press, Amsterdam (1999)
Prakken, H.: Two approaches of defeasible reasoning. In: Jones, A.J.I., Sergot, M. (eds.) 2d International Workshop on Deontic Logic in Computer Science, Tano A.S., pp. 281–295 (1994)
Reiter, R.: The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press, London (1991)
Royakkers, L., Dignum, F.: Defeasible reasoning with legal rules. In: Brown, M.A., Carmo, J. (eds.) Deontic Logic, Agency and Normative Systems, pp. 174–193. Springer, Heidelberg (1996)
Sahlqvist, H.: Completeness and correspondence in the first and second order semantics for modal logics. In: Kanger, S. (ed.) Proc. 3rd Scandinavian Logic Symposium 1973. Studies in Logic, vol. 82, North Holland, Amsterdam (1975)
Scherl, R., Levesque, H.J.: Knowledge, action and the frame problem. Artificial Intelligence 144, 1–39 (2003)
Shapiro, S., Pagnuco, M., Lespérance, Y., Levesque, H.: Iterated belief change in the situation calculus. In: Proc. of the 7th Conference on Principles on Knowledge Representation and Reasoning (KR 2000), Morgan Kaufman Publishers, San Francisco (2000)
Snyder, W., Lynch, C.: Goal directed strategies for paramodulation. In: Proc. 14th Int. Conf. on Rewriting Techniques and Applications. LNCS, vol. 488, Springer, Heidelberg (1991)
van der Torre, L.W.N., Tan, Y.H.: An update semantics for deontic reasoning. In: McNamara, P., Prakken, H. (eds.) Norms, Logics and Information Systems, pp. 73–92. IOS Press, Amsterdam (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demolombe, R., Herzig, A. (2004). Obligation Change in Dependence Logic and Situation Calculus. In: Lomuscio, A., Nute, D. (eds) Deontic Logic in Computer Science. DEON 2004. Lecture Notes in Computer Science(), vol 3065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25927-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-25927-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22111-1
Online ISBN: 978-3-540-25927-5
eBook Packages: Springer Book Archive