Sciweavers

CLIMA
2006

Belief Updating by Communication Channel

13 years 5 months ago
Belief Updating by Communication Channel
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 comes to know 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 computer system that works both for a prover and for a model builder. Given a fomula in a state in a possible world, the system proves if it holds or not, while if an inform action is initiated the system adds new states with branching paths.
Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where CLIMA
Authors Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
Comments (0)