In this paper we discuss the use of belief contexts for the formalization of multi-agent reasoning. In addition to representational power, belief contexts provide implementational advantages. We substantiate this claim by discussing a paradigmatic case study, the Three Wise Men puzzle.
Cimatti, A., & Serafini, L. (1995). Multi-agent reasoning with belief contexts: The approach and a case study. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 890, pp. 71–85). Springer Verlag. https://doi.org/10.1007/3-540-58855-8_4