Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01417472
Contributor : Hal Ifip <>
Submitted on : Thursday, December 15, 2016 - 4:22:23 PM
Last modification on : Thursday, March 5, 2020 - 4:42:10 PM
Document(s) archivé(s) le : Thursday, March 16, 2017 - 4:15:47 PM

File

346972_1_En_25_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Jair Abe, Nelio Reis, Cristina Oliveira, Avelino 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⟩

Share

Metrics

Record views

386

Files downloads

192