![]() ![]() |
![]() | ![]() ![]() ![]() |
Robert Demolombe
A solution to the frame problem in the context of belief change has been defined in the framework of Situation Calculus. In this paper we show how this solution can be adapted to obligation change. For that purpose ideality levels are assigned to situations in the same way as plausibility levels are assigned to situations in the context of belief change. However, it is shown that there are deep differences between the evolution of beliefs and the evolution of obligations.
Keywords: Deontc Logic, Revision, Sutuation calculus
Citation: Robert Demolombe: From belief change to obligation change in the Situation Calculus. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.991-992.
![]() ![]() ![]() |