Action, Belief Change and the Frame Problem: A Fluent Calculus Approach

Abstract

This paper develops a solution to the analogue of the frame problem that arises when the belief state of an agent is axiomatized in the presence of belief changing actions. It follows the work of Scherl and Levesque which adapted the approach to the frame problem of Reiter to the case of the analogue of the frame problem that arises when knowledge and knowledge producing actions are added to the situation calculus. For the case of belief, it is necessary to use the somewhat more expressive relative of the situation calculus, the fluent calculus which is a formalism that allows quantification over states and fluents.

Cite this paper

@inproceedings{Scherl2005ActionBC, title={Action, Belief Change and the Frame Problem: A Fluent Calculus Approach}, author={Richard B. Scherl}, year={2005} }