Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic
- 1 1UNISANTA, Santa Cecília University, Santos City, Brazil; 2Institute for Advanced Studies, University of S?o Paulo, S?o Paulo, Brazil.
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.
- 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
- 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.
- 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
- 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
- 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.
- V. S. Subrahmanian, “On the Semantics of Quantitative Lógic Programs,” Computer Society Press, Washington DC, 1987.
- 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.
- 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
- 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.
- 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
- S. Jaskowski, “Propositional Calculus for Contradictory Deductive Systems,” Studia Logica, Vol. 24, No. 1, 1969, pp. 143-157. doi:10.1007/BF02134311
- 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.
- 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.