TY - JOUR
T1 - Communication among agents
T2 - A way to revise beliefs in kd45 kripke structures
AU - Tallon, Jean Marc
AU - Vergnaud, Jean Christophe
AU - Zamir, Shmuel
PY - 2004
Y1 - 2004
N2 - We address the issue of belief revision in a multi-agent setting. We represent agents' beliefs in a semantic manner, through a Kripke structure, and model a communication process by which agents communicate their beliefs to one another. We define a revision rule that can be applied even when agents have contradictory beliefs. We study its properties and show that agents need not agree after communicating their beliefs. We finally address the dynamics of revision and show that the order of communication may affect the resulting belief structure.
AB - We address the issue of belief revision in a multi-agent setting. We represent agents' beliefs in a semantic manner, through a Kripke structure, and model a communication process by which agents communicate their beliefs to one another. We define a revision rule that can be applied even when agents have contradictory beliefs. We study its properties and show that agents need not agree after communicating their beliefs. We finally address the dynamics of revision and show that the order of communication may affect the resulting belief structure.
KW - Belief revision
KW - KD45
KW - Kripke structure
UR - http://www.scopus.com/inward/record.url?scp=84887057226&partnerID=8YFLogxK
U2 - 10.3166/jancl.14.477-500
DO - 10.3166/jancl.14.477-500
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84887057226
SN - 1166-3081
VL - 14
SP - 477
EP - 500
JO - Journal of Applied Non-Classical Logics
JF - Journal of Applied Non-Classical Logics
IS - 4
ER -