No episódio Extraindo Contradições, do programa Lógica Paraconsistente e IA, na TV Humana, apresentado por Arnaldo de Carvalho Junior, Engenheiro / Professor / Pesquisador, , o terceiro episódio da série apresenta como a Lógica Paraconsistente Anotada com Anotação de 2 valores, a LPA2v pode extrair contradições da análise, aproveitando esse conhecimento para gerar respostas a problemas do mundo real. O episódio ainda explica algoritmos baseados na LPA2v como o Para-Extrator de contradição e o Nó de Análise Paraconsistente, com aplicações práticas em IA.
Tópicos