[Home Page of ENTCS] [Volume/Issue List of ENTCS] [Author Index of ENTCS]
85.2 3 Wiebe van der Hoek & Alessio Lomuscio A logic for ignorance <subtitle> <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 <i>ignore</i> 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. </pre> <p></p> <img src="_files/line.gif" width="100%" height="5"><p> © <a href="http://www.elsevier.com/gej-ng/31/29/23/show/.global/copyright.htt">Copyright</a> 2003, Elsevier Science, All rights reserved. </p> <img src="_files/line.gif" width="100%" height="5"><p> <p> © <a HREF=/gej-ng/31/29/23/show/.global/copyright.htt>Copyright</a> 2003, Elsevier Science, All rights reserved. </body> </html>