Imperial College London

ProfessorAlessioLomuscio

Faculty of EngineeringDepartment of Computing

Professor of Logic for Multiagent Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8414a.lomuscio Website

 
 
//

Location

 

504Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Lomuscio:2000:10.1145/359496.359527,
author = {Lomuscio, AR and Meyden, Van Der R and Ryan, M},
doi = {10.1145/359496.359527},
pages = {247--284},
title = {Knowledge in Multiagent Systems: Initial Configurations and Broadcast},
url = {http://dx.doi.org/10.1145/359496.359527},
year = {2000}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - 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 multiagent 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, and study its computational complexity. Finally, we show that under certain natural assumptions, in a model where knowledge evolves over time, S5WDn characterises 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. © 2000, ACM. All rights reserved.
AU - Lomuscio,AR
AU - Meyden,Van Der R
AU - Ryan,M
DO - 10.1145/359496.359527
EP - 284
PY - 2000///
SN - 1529-3785
SP - 247
TI - Knowledge in Multiagent Systems: Initial Configurations and Broadcast
UR - http://dx.doi.org/10.1145/359496.359527
ER -