Towards Resolving Distributed Beliefs
摘要
In multi-agent systems, a particularly important action is that through which some agents share information with some others. Within epistemic logic and its relational semantics, this action has been represented as a model operation that assigns to every agent in the communicating group the relation describing the group’s distributed knowledge in the initial model, leaving the relation of all other agents as before. While this approach works well when the shared information is knowledge, it has some issues when the shared information is beliefs: consistent agents might be turned into inconsistent ones. This manuscript explores an approach that relies on maximally consistent subgroups of agents, discussing also how to modify it to guarantee that all the relevant properties of beliefs are preserved.