Massimo Benerecetti, Fausto Giunchiglia, and Luciano Serafini
Local Model Semantics has been proposed as a formal framework to model contextual reasoning. The basic ideas underlying this semantics are the principles of locality of representations and of compatibility among representations. This paper shows how Local Model Semantics can be effectively used to model dynamic Multiagent Systems. Intuitively, each agent have local representations (views) of (mental attitudes of) other agents. Thanks to its locality property, the resulting semantics allows us to design and model multiagent systems in a modular and incremental way.