Speaker: Fernando Raymundo Velázquez-Quesada (University of Bergen)
Date and Time: Thursday, November 28th 2024, 16:30-18:00
Venue: Online only.
Title: On distributed beliefs
Abstract. Within Epistemic Logic, the distributed knowledge of a group is typically defined as what is the case in all the worlds reachable by the intersection of the group’s members’ indistinguishability relations. Although this definition does not match the original intuitive idea (the logical consequences of the union of the individual member’s knowledge), it still has a ‘nice’ behaviour. In particular, since intersection preserves the standard relational properties for knowledge (reflexivity, transitivity, Euclidicity), distributed knowledge is truthful and introspective (when the agents’ individual knowledge is), and so will be the knowledge of the agents after a ‘matching’ communication action. Still, this strategy does not work properly when one switches to a KD45 (serial, transitive, Euclidean) notion of belief. Intersections do not preserve seriality, so the distributed beliefs of consistent agents might not be consistent, and consistent agents might become inconsistent after sharing their beliefs. The talk discusses an approach that uses maximally consistent sets of agents to deal with this issue. This is used, first, to define two forms of distributed belief that ‘behave better’ w.r.t inconsistencies, and then, to define a form of communication that preserves the properties of beliefs. The talk is based on ongoing work with John Lindqvist and Thomas Ågotnes.