Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic

作     者：Joao Inácio Da Silva Filho 

作者机构：UNISANTASanta Cecília UniversitySantos CityBrazil Institute for Advanced StudiesUniversity of Sao PauloSao PauloBrazil 

出 版 物：《Journal of Intelligent Learning Systems and Applications》 (智能学习系统与应用（英文）)

年 卷 期：2012年第4卷第2期

页      面：144-153页

学科分类：1002[医学-临床医学] 100214[医学-肿瘤学] 10[医学] 

主　　题：Algorithm Non-Classic Logic Paraconsistent Annotated Logic 

摘      要：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.