EAILAB lança biblioteca Python para a Lógica PAL2v

Por: Dr. Arnaldo de Carvalho Junior

EAILab torna público a biblioteca Python inédita para a lógica paraconsistente anotada de 2 valores (paraconsistent annotated logic by 2-values – PAL2v), chamada Paraconsistent-Lib.

A biblioteca Paraconsistent-Lib foi desenvolvida em ambiente aberto por Diego Oliveira da Cruz, com apoio de Bruno da Silva Alves, discentes do IFSP e pesquisadores do EAILab sob orientação do Dr. Arnaldo de Carvalho Junior. Ela executa os o conjunto de equações e a interpretação do reticulado associado à PAL2v, apresentando os resultados de forma precisa e robusta, simplificando a elaboração de programas em Python que façam uso dessa lógica.

A lógica paraconsistente anotada de 2 valores (paraconsistent annotated logic by 2-values – PAL2v) é uma lógica não clássica, pertencente à família de lógicas paraconsistentes, que tem entre os seus notáveis o matemático e filósofo brasileiro Newton da Costa (1929-2024). Estas lógicas lidam com informações contraditórias, conflitantes ou contaminadas por ruídos e incertezas, sem ocorrerem em trivialidade, sendo uma excelente ferramenta para o desenvolvimento de algoritmos de controle, inteligência artificial (IA) e sistemas especialistas capazes de lidarem com situações e desafios do mundo real.

A biblioteca Paraconsistent-Lib oferece neste momento 3 tipos de resposta ou modos de operação: algoritmo para-analisador, nó de análise paraconsistente (paraconsistent analysis node – PAN) e célula neural artificial paraconsistente de decisão – paraconsistent artificial neural cell of decision – PANC_D). Por ser uma plataforma aberta outras funcionalidades poderão ser adicionadas no futuro. Além disso, com a adição de algumas linhas de código, a biblioteca Paraconsistent-Lib pode ser chamada para compor outros algoritmos PAL2v, como o ParaExtrator, diferentes tipos de PANC , Filtro PAL2v, redes de análise paraconsistente (paraconsistent analysis network – PANnet), entre outras possibilidades.

Informações detalhadas sobre a biblioteca Paraconsistent-Lib, instruções de uso e exemplos de aplicação podem ser acessados no repositório do EAILab em: https://eailab-ifsp.github.io/Paraconsistent-Lib/