Authors:
Ryo Hatano
;
Katsuhiko Sano
and
Satoshi Tojo
Affiliation:
Japan Advanced Institute of Science and Technology, Japan
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.