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

  • Jair Minoro AbeEmail author
  • Nelio Fernando dos Reis
  • Cristina Corrêa de Oliveira
  • Avelino Palma PimentaJr.
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 459)


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.


Multi-agent systems Conflicts in distributed systems Multi-agents and logical representation Paraconsistente logics 


  1. 1.
    Abe, J.M.: Fundamentos da lógica anotada (Foundations of annotated logics). Ph.D. thesis, University of São Paulo, São Paulo, p. 135 (1992) (in Portuguese)Google Scholar
  2. 2.
    Abe, J.M.: Some aspects of paraconsistent systems and applications. Logique et Anal. 15, 83–96 (1997)Google Scholar
  3. 3.
    Cresswell, M.J.: Intensional logics and logical truth. J. Philos. Logic 1, 2–15 (1972)zbMATHMathSciNetCrossRefGoogle Scholar
  4. 4.
    Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of IEEE 1998 International Symposium on Multiple-Valued Logic (ISMVL 1998), pp. 114–119 Fukuoka, Japan (1998)Google Scholar
  5. 5.
    Cresswell, M.J.: Logics and Languages. Methuen and Co, London (1973)Google Scholar
  6. 6.
    Da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschr. f Math. Logik und Grundlagen d. Math. 37, 561–570 (1991)zbMATHGoogle Scholar
  7. 7.
    Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, London (1995)zbMATHGoogle Scholar
  8. 8.
    Fischer, M.J. and Immerman, N.: Foundation of knowledge for distributed systems. In: Halpern J.Y. (ed.) Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 171–186. Morgan Kaufmann, San Francisco (1986)Google Scholar
  9. 9.
    Lipman, B.L.: Decision theory with impossible possible worlds. Technical report working paper, Queen’s University (1992)Google Scholar
  10. 10.
    McCarthy, J.: Ascribing mental qualities to machines. Technical report CRL 90/10, DEC-CRL (1979)Google Scholar
  11. 11.
    Parikh, R., Ramamujan, R.: Distributed processing and the logic of knowledge, pp. 256–268. In: Parikh, R. (ed.) Proceedings of Workshop on Logics of Program (1985)Google Scholar
  12. 12.
    Rosenschein, S.J.: Formal theories of AI in knowledge and robotics. New Gener. Comput. 3, 345–357 (1985)zbMATHCrossRefGoogle Scholar
  13. 13.
    Sylvan, R., Abe, J.M.: On general annotated logics, with an introduction to full accounting logics. Bull. Symbolic Logic 2, 118–119 (1996)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Jair Minoro Abe
    • 1
    Email author
  • Nelio Fernando dos Reis
    • 1
  • Cristina Corrêa de Oliveira
    • 1
  • Avelino Palma PimentaJr.
    • 1
  1. 1.Graduate Program in Production EngineeringPaulista UniversitySão PauloBrazil

Personalised recommendations