A semantics for changing frames of mind

Abstract

In intentional systems, dynamic attitudes of an agent are characterized around the notion of action. Possible-world semantics presents an intuitive manner in order to model such attitudes. An action is basically a change from a mental state to another mental state. In this paper, we argue that action that changes not only mental state but also mental context needs a semantics more expressive. In this perspective, we propose a semantics that combines possible-world and a context-oriented semantics, called Local Models Semantics. © Springer-Verlag Berlin Heidelberg 2007.