A Paraconsistent Multi-Agent System

Distributed Artificial Intelligence (DAI) aims to study and develop techniques that allow interaction among intelligent entities. In the last two decades, some types of DAI architecture have been proposed for various fields. However, it can be noticed that the inconsistency phenomenon has not been dealt with properly. This is probably due to the fact that this phenomenon cannot be handled (at least directly) with classical logic. Hence, to deal with such inconsistencies directly, one should employ a logic other than the classical one. The DAI Architecture described in this work is based on a nonclassical logic called Annotated Paraconsistent Logic.