Linear Algebraic Semantics for Multi-agent Communication
Ryo Hatano, Katsuhiko Sano, Satoshi Tojo · 2015
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 multi-agent 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.