Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

Details Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast

1999-09-30

arxiv.org/abs/cs/9909019v1

Computer Science

Logic in Computer Science

32 Pages, 2 Figures. Submitted to Transactions of Computational Logic

Scientific paper

The semantic framework for the modal logic of knowledge due to Halpern and Moses provides a way to ascribe knowledge to agents in distributed and multi-agent systems. In this paper we study two special cases of this framework: full systems and hypercubes. Both model static situations in which no agent has any information about another agent's state. Full systems and hypercubes are an appropriate model for the initial configurations of many systems of interest. We establish a correspondence between full systems and hypercube systems and certain classes of Kripke frames. We show that these classes of systems correspond to the same logic. Moreover, this logic is also the same as that generated by the larger class of weakly directed frames. We provide a sound and complete axiomatization, S5WDn, of this logic. Finally, we show that under certain natural assumptions, in a model where knowledge evolves over time, S5WDn characterizes the properties of knowledge not just at the initial configuration, but also at all later configurations. In particular, this holds for homogeneous broadcast systems, which capture settings in which agents are initially ignorant of each others local states, operate synchronously, have perfect recall and can communicate only by broadcasting.

Affiliated with

Also associated with

No associations

Rating

Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Knowledge in Multi-Agent Systems: Initial Configurations and Broadcast will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-570547