loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ryo Hatano ; Katsuhiko Sano and Satoshi Tojo

Affiliation: Japan Advanced Institute of Science and Technology, Japan

ISBN: 978-989-758-073-4

Keyword(s): Logic of Belief, Belief Revision, Dynamic Epistemic Logic, Propositional Dynamic Logic, Linear Algebra.

Related Ontology Subjects/Areas/Topics: Agent Communication Languages ; Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Multi-Agent Systems ; Software Engineering ; Symbolic Systems

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.204.48.199

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 Intelligence - Volume 2: ICAART, ISBN 978-989-758-073-4, pages 174-181. DOI: 10.5220/0005219001740181

@conference{icaart15,
author={Ryo Hatano. and Katsuhiko Sano. and Satoshi Tojo.},
title={Linear Algebraic Semantics for Multi-agent Communication},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={174-181},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005219001740181},
isbn={978-989-758-073-4},
}

TY - CONF

JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Linear Algebraic Semantics for Multi-agent Communication
SN - 978-989-758-073-4
AU - Hatano, R.
AU - Sano, K.
AU - Tojo, S.
PY - 2015
SP - 174
EP - 181
DO - 10.5220/0005219001740181

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.