Abstract
This work is part of the Multicheck 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angelotti, E.S.: Utilização da Lógica Paraconsistente na Implementação de um Sistema Multi-Agente, Dissertação de Mestrado, Pontifical Catholic University of Paraná, Curitiba (2001) (in Portuguese)
Ávila, B.C., Abe, J.M., Prado, J.P.A.: Paralog_e: A Paraconsistent Evidential Logic Programming Language. In: XVII International Conference of the Chilean Computer Science Society, November 1997, pp. 2–8. IEEE Computer Society Press, Valparaiso (1997)
Blair, H.A., Subrahmanian, V.S.: Paraconsistent Logic Programming. In: Nori, K.V. (ed.) FSTTCS 1987. LNCS, vol. 287, pp. 340–360. Springer, Heidelberg (1987)
Brito Jr., A.S., Bortolozzi, F., Lethelier, E., Sabourin, R.: Numeral Slant Normalization Based on Contextual Informational. Accept on 7th International Workshop on Frontiers in Handwritten Recognition, Amsterdam, Netherlands (September 2000)
da Costa, N.C.A.: Calculs Propositionnels pour les Systèmes Formels Inconsistants, Compte Rendu Acad. des Sciences (Paris), vol. 257, pp. 3790–3792 (1963) (in French)
Enembreck, F., Ávila, B.C., Sabourin, R.: Decision Tree-Based Paraconsistent Learning. In: Proc. of XIX International Conference of the Chilean Computer Science Society, pp. 32–44. IEEE Computer Society Press, Talca (1999)
Finin, T., et al.: Specification of the KQML Agent-Communication Language, DARPA Knowledge Sharing Initiative, External Interfaces Working Group (June 1993)
Finin, T., Labrou, Y.: A Proposal for a new KQML Specification, TR CS-97-03 (1997)
Freitas, C., Bortolozzi, F., Sabourin, R.: Reconhecimento do Extenso Manuscrito em Cheques Bancários Brasileiros. In: ISDM 1998, Curitiba, Brasil, Novembro 1998, pp. 149–167 (1998)
Morita, M.E., Bortolozzi, F., Facon, J., Sabourin, R.: Mathematic Morphology and Weighted Least Square to Correcting Handwritten. In: Proceedings of IEEE – ICDAR 1999 – The 50th International Conference on Document Analysis and Recognition, Bangalore, India, September 1999, vol. I, pp. 430–433 (1999)
Oliveira, L.E., Bortolozzi, F., Lethelier, E., Sabourin, R.: A New Segmentation Approach for Handwritten Digits. In: 15th International Conference on Pattern Recognition, Barcelona, Spain (September 2000)
Prado, J.P.A.: Uma Arquitetura para Inteligência Artificial Distribuída Baseada em Lógica Paraconsistente Anotada, Universidade de São Paulo, São Paulo (1996) (in Portuguese)
Scalabrin, E., Bortolozzi, F., Kaestner, C., Sabourin, R.: Multicheck: Une Architecture d’agents cognitifs indépendants pour le traitement automatique des chèques bancaires Brésiliens. In: CIFED 1998, Canada, Maio (1998) (in French)
Scalabrin, E.E.: Conception et Réalisation d’environnement de développement de systèmes d’agents cognitifs, Thèse de Doctorat, UTC, pp. 169, France (1996)
Subrahmanian, V.S.: Towards a Theory of Evidential Reasoning. In: Logic Colloquium 1987, The European Summer Meeting of the Association for Symbolic Logic, Granada, Spain (July 1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Angelotti, E.S., Scalabrin, E.E. (2004). Cognitive Agents and Paraconsistent Logic. In: Ramos, F.F., Unger, H., Larios, V. (eds) Advanced Distributed Systems. ISSADS 2004. Lecture Notes in Computer Science, vol 3061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25958-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-25958-9_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22172-2
Online ISBN: 978-3-540-25958-9
eBook Packages: Springer Book Archive