A formal model of multi-agent belief-interaction (Q5920620)

The author develops a semantical theory for describing the changing beliefs of agents. The models represent separately belief-independent features of the world and, for every agent, belief-dependent features of the world. This separation of represented information is referred to as modularity and is seen as a chief advantage of the presented modelling. It is shown that the dynamic epistemic logic of \textit{J. Gerbrandy} and \textit{W. Groeneveld} [J. Logic Lang. Inf. 6, No.~2, 147--169 (1997; Zbl 0873.03029)] is characterized by the class of all frames called common dynamic expansion frames. This semantics makes use of fixed-point operators, whereas the semantics of Gerbrandy and Groeneveld is based on non-wellfounded sets. For the two-agent case a constructive modelling using so-called graph models is presented. The application of graph models is explained with respect to a simplified muddy children problem.