TITLE:
Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic
AUTHORS:
João Inácio Da Silva Filho
KEYWORDS:
Algorithm; Non-Classic Logic; Paraconsistent Annotated Logic
JOURNAL NAME:
Journal of Intelligent Learning Systems and Applications,
Vol.4 No.2,
May
23,
2012
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.