Belief updating by communication channel

Authors:
Shingo Hagiwara;Mikito Kobayashi;Satoshi Tojo
Affiliations:
School of Information and Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan;School of Information and Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan;School of Information and Science, Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan
Venue:
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Year:
2006

Citing 3
Cited 0

Model checking multi-agent systems with MABLE

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Branching time temporal logic

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Decision procedures and expressiveness in the temporal logic of branching time

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we introduce the notion of communication channel into a multiagent system. We formalize the system in term of logic with Belief modality, where each possible world includes CTL. We represent the channel by a reserved set of propositional variables. With this, we revise the definition of inform of FIPA; if the channel exists the receiver agent surely learns the information whereas if not the action fails. According to this distinction, the current state in each world would diverge into two different states. We have implemented a prover, that works also as a model builder. Given a formula in a state in a possible world, the system proves whether it holds or not, while if an inform action is initiated the system adds new states with branching paths.