Cognitive agents and paraconsistent logic

This work is part of the Multicheck(1) Project that defines architecture of cognitive and independent agents for the automatic treatment of Brazilian handwritten bank checks. The concept of autonomous agents allows us to organize the application knowledge and brings several benefits to the approach. A triple hypothesis supports this approach. First, the nature of the problem in question allows decomposition in well-defined tasks, and each of them can be encapsulated in an independent agent. Second, the natural capability of interaction of the agents makes the check treatment process more robust, solving situations apparently difficult. Third, the natural parallelism between the agents can contribute to implement an application with high performance.