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{Van:2004:10.1016/S1571-0661(05)82606-4,
author = {Van, Der Hoek W and Lomuscio, A},
doi = {10.1016/S1571-0661(05)82606-4},
pages = {117--133},
title = {A logic for ignorance},
url = {http://dx.doi.org/10.1016/S1571-0661(05)82606-4},
year = {2004}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AB - We introduce and motivate a non-standard multi-modal logic to represent and reason about ignorance in Multi-Agent Systems. We argue that in Multi-agent systems being able to reason about what agents ignore is just as important as being able to reason about what agents know. We show a sound and complete axiomatisation for the logic. We investigate its applicability by restating the feasibility condition for the FIPA communication primitive of inform. © 2004 Published by Elsevier Science B.V.
AU - Van,Der Hoek W
AU - Lomuscio,A
DO - 10.1016/S1571-0661(05)82606-4
EP - 133
PY - 2004///
SN - 1571-0661
SP - 117
TI - A logic for ignorance
UR - http://dx.doi.org/10.1016/S1571-0661(05)82606-4
ER -