ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

From belief change to obligation change in the Situation Calculus

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.


[prev] [tofc] [next]


ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).