A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems

Nowadays multi-agents has established as one of the most important areas of research and development in information technology. Agents are normally involved in cooperative distributed problem and they face frequently with incomplete and/or conflicting information or task. Since more and more concern is attached to agents’ teamwork and agents’ dialogue, conflicts naturally arise as a key issue to be dealt with, not only with application dedicated techniques, but also with more formal and generic tools. In this semi-expository paper we show that a formal treatment for multi-agent knowledge representation that can represent conflicts and incomplete information is possible through new logical system, namely the paraconsistente logics. We discuss one of such system adding suitable modal operators for knowledge.

[1]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[2]  Max J. Cresswell,et al.  Logics and languages , 1973 .

[3]  R. Sylvan,et al.  On general annotated logics, with an introduction to full accounting logics , 1996 .

[4]  Stanley J. Rosenschein,et al.  Formal theories of knowledge in AI and robotics , 1986, New Generation Computing.

[5]  Max J. Cresswell Intensional logics and logical truth , 1972, J. Philos. Log..

[6]  Neil Immerman,et al.  Foundations of Knowledge for Distributed Systems , 1986, TARK.

[7]  Jair Minoro Abe,et al.  Many-valued and annotated modal logics , 1998, Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138).

[8]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[9]  John McCarthy,et al.  Ascribing Mental Qualities to Machines , 1979 .