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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Towards Resolving Distributed Beliefs

  • John Lindqvist,
  • Fernando R. Velázquez-Quesada,
  • Thomas Ågotnes

摘要

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.