A Logic For Ignorance |
| |
Authors: | Wiebe van der Hoek Alessio Lomuscio |
| |
Affiliation: | aDepartment of Computer Science University of Liverpool Liverpool L69 7ZF, UK;bDepartment of Computer Science King's College London London WC2R 2LS, UK |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |