Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic

Abstract

The method presented in this work is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). The PAL2v is a non-classic Logics which admits contradiction and in this paper we perform a study using mathematical interpretation in its representative lattice. This studies result in algorithms and equations give an effective treatment on signals of information that represent situations found in uncertainty knowledge database. From the obtained equations, algorithms are elaborated to be utilized in computation models of the uncertainty treatment Systems. We presented some results that were obtained of analyses done with one of the algorithms that compose the paraconsistent analyzing system of logical signals with the PAL2v Logic. The paraconsistent reasoning system built according to the PAL2v methodology notions reveals itself to be more efficient than the traditional ones, because it gets to offer an appropriate treatment to contradictory information.

Share and Cite:

J. Filho, "Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic," Journal of Intelligent Learning Systems and Applications, Vol. 4 No. 2, 2012, pp. 144-153. doi: 10.4236/jilsa.2012.42014.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] A. Motro, “Sources of Uncertainty, Imprecision and Inconsistency in Information Systems,” In: A. Motro, P. Smets, Eds., Uncertainty Management in Information Systems: From Needs to Solutions, Kluwer Academic Publishers, Boston, 1997, pp 9-34. doi:10.1007/978-1-4615-6245-0
[2] J. M. Abe and J. I. da Silva Filho, “Inconsistency and Electronic Circuits,” In: E. Alpaydin, Ed., Artificial Intelligence, ICSC Academic Press, Rochester, 1998, pp. 191-197.
[3] N. C. A. da Costa, “On the Theory of Inconsistent Formal Systems,” Notre Dame Journal of Formal Logic, Vol. 15, No. 4, 1974, pp. 497-510. doi:10.1305/ndjfl/1093891487
[4] N. C. A. da Costa, V. S. Subrahmanian and C. Vago, “The Paraconsistent Logic PT,” Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol. 37, No. 9-12, 1991, pp. 139-148. doi:10.1002/malq.19910370903
[5] Motro, “Management of Uncertainty in Database Systems,” In W. Kim, Ed., Modern Database Systems: The Object Model, Interoperability and Beyond, AddisonWesley/ACM Press, New York, 1994, pp. 457-476.
[6] V. S. Subrahmanian, “On the Semantics of Quantitative Lógic Programs,” Computer Society Press, Washington DC, 1987.
[7] J. M. Abe and J. I. da Silva Filho, “Manipulating Conflicts and Uncertainties in Robotics,” Multiple-Valued Logic and Soft Computing, Vol. 9, 2003, pp. 147-169.
[8] N. C. A. da Costa, D. Krause, and O. Bueno, “Paraconsistent Logics and Paraconsistency,” 2006. http://www.cfh.ufsc.br/~dkrause/pg/cursos/20062/18-Costa.pdf
[9] J. I. da Silva Filho, G. Lambert-Torres and J. M. Abe, “Uncertainty Treatment Using Paraconsistent Logic— Introducing Paraconsistent Artificial Neural Networks,” IOS Press, Amsterdam, 2010.
[10] H. A. Blair and V. S. Subrahmanian, “Paraconsistent Logic Programming,” 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Pune, 17-19 December 1987, pp. 340-360. doi:10.1007/3-540-18625-5_59
[11] S. Jaskowski, “Propositional Calculus for Contradictory Deductive Systems,” Studia Logica, Vol. 24, No. 1, 1969, pp. 143-157. doi:10.1007/BF02134311
[12] N. C. A. da Costa and D. Marconi, “An Overview of Paraconsistent Logic in the 80’s,” The Journal of NonClassical Logic, Vol. 6, 1989, pp. 5-31.
[13] J. I. da Silva Filho and A. Rocco, “Power Systems Outage Possibilities Analysis by Paraconsistent Logic,” IEEE Power and Energy Society General Meeting: Conversion and Delivery of Electrical Energy in the 21st Century, Pittsburgh, 20-24 July 2008, pp. 1-6.
[14] J. I. da Silva Filho, A. Rocco, M. C. Mario and L. F. P. Ferrara, “Annotated Paraconsistent Logic Applied to an Expert System Dedicated for Supporting in an Electric Power Transmission Systems Re-Establishment,” Power System Conference and Exposition, Atlanta, 29 October-1 November 2006, pp. 2212-2220.
[15] J. I. da Silva Filho, G. Lambert-Torres, L. F. P Ferrara, A. M. C. Mário, M. R. Santos, A. S. Onuki, J. M. Camargo and A. Rocco, “Paraconsistent Algorithm Extractor of Contradiction Effects—Paraextrctr,” Journal of Software Engineering and Applications, 2011, pp. 579-584.
[16] J. I. da Silva Filho, M. C Ma?rio, C. D. S. Pereira, A. C. Angari, L. F. P. Ferrara, O. J. Pitoli and D. V Garcia, “An Expert System Structured in Paraconsistent Annotated Logic for Analysis and Monitoring of the Level of Sea Water Pollutants,” In: P. Vizureanu, Ed., Expert Systems for Human, Materials and Automation, InTech Publishing, Midlothian, 2011, p. 392.
[17] S. Ling, “A New Neural Network Structure: Node-toNode-Link Neural Network,” Journal of Intelligent Learning Systems and Applications, Vol. 2, No. 1, 2010, pp. 1-11. doi:10.4236/jilsa.2010.21001
[18] V. Pacelli and M. Azzollini, “An Artificial Neural Network Approach for Credit Risk Management,” Journal of Intelligent Learning Systems and Applications, Vol. 3 No. 2, 2011, pp. 103-112. doi:10.4236/jilsa.2011.32012

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.