Multi-agent systems and paraconsistent knowledge

Abstract

Since impreciseness, inconsistency and paracompleteness are more and more common matter in distributed environments, we need more general and formal frameworks to deal to. In this work we discuss a logical framework for multi-agent reasoning based on Paraconsistent Annotated Systems, which can manipulate imprecise, inconsistent and paracomplete data. © 2009 Springer-Verlag Berlin Heidelberg.