From belief change to obligation change in the Situation Calculus.
Robert Demolombe · European Conference on Artificial Intelligence · 2004
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.