A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems - IFIP-AICT-459 Access content directly
Conference Papers Year : 2015

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

Jair Minoro Abe
  • Function : Author
  • PersonId : 996220
Nelio Dos Reis
  • Function : Author
  • PersonId : 996221
Cristina De Oliveira
  • Function : Author
  • PersonId : 996222

Abstract

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.
Fichier principal
Vignette du fichier
346972_1_En_25_Chapter.pdf (433.46 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01417472 , version 1 (15-12-2016)

Licence

Attribution

Identifiers

Cite

Jair Minoro Abe, Nelio Dos Reis, Cristina De Oliveira, Avelino Palma Jr. Pimenta. A Logical Framework for Imprecise and Conflicting Knowledge Representation for Multi-agent Systems. IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2015, Tokyo, Japan. pp.202-210, ⟨10.1007/978-3-319-22756-6_25⟩. ⟨hal-01417472⟩
177 View
70 Download

Altmetric

Share

Gmail Facebook X LinkedIn More