JAIST Repository >
School of Information Science >
Conference Papers >
Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/14765

Title: Linear Algebraic Semantics for Multi-agent Communication
Authors: Hatano, Ryo
Sano, Katsuhiko
Tojo, Satoshi
Keywords: Logic of Belief
Belief Revision
Dynamic Epistemic Logic
Propositional Dynamic Logic
Linear Algebra
Issue Date: 2015
Magazine name: Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART-2015)
Start page: 174
End page: 181
DOI: 10.5220/0005219001740181
Abstract: 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.
Rights: This material is posted here with permission of SCITEPRESS. Hatano R., Sano K. and Tojo S. (2015). Linear Algebraic Semantics for Multi-agent Communication. In Proceedings of the International Conference on Agents and Artificial IntelligenceISBN 978-989-758-073-4, pages 174-181. DOI: 10.5220/0005219001740181
URI: http://hdl.handle.net/10119/14765
Material Type: publisher
Appears in Collections:b11-1. 会議発表論文・発表資料 (Conference Papers)

Files in This Item:

File Description SizeFormat
22014.pdf236KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology