Manipulating Paraconsistent Knowledge in Multi-agent Systems

Authors:
Jair Minoro Abe;Kazumi Nakamatsu
Affiliations:
Graduate Program in Production Engineering, ICET - Paulista University, R. Dr. Bacelar, 1212, CEP 04026-002 São Paulo - SP, Brazil;School of Human Science and Environment/H.S.E. --- University of Hyogo, Japan
Venue:
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Year:
2007

Citing 5
Cited 0

Formal theories of knowledge in AI and robotics

New Generation Computing
Reasoning about knowledge

Reasoning about knowledge
Distributed Processes and the Logic of Knowledge

Proceedings of the Conference on Logic of Programs
Many-Valued and Annotated Modal Logics

ISMVL '98 Proceedings of the The 28th International Symposium on Multiple-Valued Logic
Foundations of knowledge for distributed systems

TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce first order Paraconsistent Annotated Multimodal systems M茂戮驴which may constitute a framework for multi-agent system reasoning. Such systems are capable of handling imprecise, inconsistent and paracomplete knowledge in a non-trivial manner in their structures.