On a Linear Framework for Belief Dynamics in Multi-agent Environments

Fusaoka, Akira; Nakamura, Katsunori; Sato, Mitsunari

doi:10.1007/978-3-540-69619-3_3

Cited by 1 publication

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this sense, this paper can be regarded as a generalization of (Fitting, 2003) to dynamic extensions. While (Liau, 2004) also used boolean matrices to represent an accessibility relation of an agent and (Fusaoka et al, 2007) used real-valued matrices to represent qualitative belief change in multi-agent setting, both of them did not provide any concrete axiomatization of logics they study.…”

Section: Introductionmentioning

confidence: 99%

Linear Algebraic Semantics for Multi-agent Communication

Hatano

Sano

Tojo

2015

Proceedings of the International Conference on Agents and Artificial Intelligence

View full text Add to dashboard Cite

When we study multi-agent communication system, it forces us to manage an existence of communication channels between agents, such as phone numbers or e-mail addresses, while ordinary modal logic for multiagent system does not consider the notion of channel. This paper proposes a decidable and semantically complete logic of belief with communication channels, and then expands the logic with informing action operators to change agents' beliefs via communication channels. Moreover, for a better formalism for handling these semantics efficiently, we propose a linear algebraic representation of these. That is, with the help of Fitting (2003) and van Benthem and Liu (2007), we reformulate our proposed semantics of the doxastic static logic and its dynamic extensions in terms of boolean matrices. We also implement and publicize a calculation system of our matrix reformulations as an open system on the web.

show abstract

Section: Introductionmentioning

confidence: 99%