Using Paraconsistent Logic in a Multi-Agent System

摘要

This work is part of the Multicheck Project that defines architecture of autonomous agents for the automatic treatment of handwritten Brazilian bank checks. The competence of these agents is implemented in two layers. The first one corresponds to algorithms of patterns recognition algorithms directly applied on the image segment. The second one corresponds to reasoning mechanisms applied to the information from the first layer either to validate or to interpret it. The interpretation process involves as well information obtained from other agents. Therefore, information can present inconsistencies. This problem is treated properly and naturally through concepts and operators of paraconsistent logic. This paper focuses on the second layer, on task distribution problems and on communication between agents. The first layer information was obtained through a simulated database.