arrow
Return

Towards Resolving Distributed Beliefs

delete2026-01-01
delete0
PRE
AI
J
John Lindqvist *
F
Fernando R. Velázquez–Quesada
T
Thomas Ågotnes
DOI:10.1007/978-3-031-94748-3_6delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
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.
Keywords:
LOGIC

Journal

S
SOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF:
0
Papers:
20
Citations:
0

Organization

U
university of bergen
Scholars:
2.0W
Papers: 1.7W
Citations: 19