A Lógica ParaQuântica (LPQ) é uma lógica fundamentada em conceitos estabelecidos por um tipo de Lógica Paraconsistente (LP) denominada de Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v).
A LPA2v surgiu em 1999 através dos estudos elaborados por João Inácio da Silva Filho em tese de doutoramento defendida na Escola Politécnica da Universidade de São Paulo - POLI-USP.
O pesquisador João Inácio da Silva Filho, que tinha como orientador o Prof. Jair Minoro Abe, apresentou na ocasião uma aplicação da LPA2v através do Robô Emmy I. O Robô Emmy foi construído pelo pesquisador e sua equipe nos Laboratórios da UNISANTA - Universidade Santa Cecília em Santos-SP e usava um Algoritmo extraído dos fundamentos da LPA2v denominado de Para-Analisador.
Esse robô Emmy - que teve esse nome por sugestão do Prof. Newton Da Costa, um dos criadores da Lógica Paraconsistente que assim desejou homenagear a grande cientista e matemática Emmy Noether - utilizava como componente principal um Controlador Lógico Paraconsistente (Para-Control), cuja função era receber sinais de informação sobre distância entre o Robô e os obstáculos existentes no ambiente e tratá-los conforme as equações fundamentadas em LPA2v. Para trafegar por ambientes não estruturados o Para-Control construído com o Algoritmo Para-Analisador analisava a proposição P " Existe Obstáculos a frente".
Recebendo essa informação de distância através de dois sensores de ultrassom, onde um gerava um valor que representava o Grau de Evidência Favorável à Proposição P, e o outro o Grau de Evidência Desfavorável à Proposição P, o Para-Control efetuava os tratamentos dos dois sinais conforme os conceitos da LPA2v e acionava os motores do Robô Emmy para que este trafegasse sem colidir com os obstáculos.
A partir de 1999 os estudos sobre as aplicações da LPA2v prosseguiram e foram geradas várias dissertações de mestrado e teses de doutoramento em Universidades do Brasil. Um vasto campo de aplicações em Inteligência Artificial (IA) na forma de pesquisas e experimentos se abriu gerando novas formas de interpretações, entre elas pode se destacar as RNAP-Redes Neurais Artificiais Paraconsistentes cujo tema vem sendo desenvolvido com excelentes resultados.
Em 2007 com um projeto de P&D - Pesquisa e Desenvolvimento em uma parceria da UNISANTA-Universidade Santa Cecília e AES-Eletropaulo apoiado pelo CNPQ surgiu uma oportunidade impar de utilizar a LPA2v analisando sistemas reais com grande número de sinais de informação. Esse primeiro projeto aplicava Algoritmos fundamentados nos conceitos da LPA2v para analisar sinais de Tensão e Corrente originados da rede de Energia Elétrica da EletroPaulo com o objetivo de apoiar as decisões a operação no caso de uma queda de energia. Para o tratamento de sinais elétricos que gerava graus de risco de sobrecarga na rede elétrica da EletroPaulo foram criados novas formas de interpretações onde os Algoritmos da LPA2v denominados agora de NAPs- Nós de Análises Paraconsistentes. Estes se mostravam mais eficientes e com melhor capacidade de mostrar uma resposta frente a sinais contraditórios. Logo após a conclusão desse primeiro projeto foi feito uma nova parceria para um segundo projeto onde o INESC de Portugal se juntou-se a Unisanta e a AES EletroPaulo. E ainda em 2008 iniciou-se um novo projeto com a EDP-Bandeirante -EDP-Escelsa - Unisanta- INESC - com o objetivo de utilizar os Algortimos da LPA2v para tratamento de sinais em sistemas de análise de redes de transmissão e distribuição de energia elétrica.
Na utilização dos Algoritmos da LPA2v (NAPs) nesses projetos verificou-se que, em certas condições os resultados modificavam-se bruscamente e se apresentassem aos Saltos dificultando a interpretação. Para amenizar estes resultados foram colocadas restrições nos algoritmos (NAPs) que de certa forma fazia com que se perdessem a eficiencia quando o modelo real se aproximava de determinadas condições limites.
Um estudo mais aprofundado nos algoritmos mostrou que a LPA2v gera "Estados Lógicos Paraconsistentes" cuja intensidade pode ser medida e os saltos dos resultados aconteciam porque a LPA2v possui a característica de uma Lógica Paraconsistente e Quântica. A partir dessa constatação, os estados lógicos gerados foram denominados de "Estados Lógicos Paraquânticos" e as mudanças bruscas de valores nos resultados foram denominados de "Saltos Paraquânticos". Sendo assim, a LPA2v quando aplicada sem as restrições passou a ser denominada de "Lógica ParaQuântica".
Com base nestas considerações foram publicados diversos trabalhos utilizando os fundamentos da Lógica ParaQuântica com demonstrações que ligam diversas áreas da Física que se incompatibilizam quando se usa as equações da física clássica. Podemos, portanto definir a Lógica ParaQuântica (LPQ) como sendo uma Lógica Paraconsistente Anotada (LPA) capaz de modelar sistemas físicos reais e oferecer respostas satisfatórias para determinados fenômenos físicos encontrados tanto na física clássica (newtoniana) como os encontrados através da teoria da relatividade.
Novas pesquisas estão sendo desenvolvidas com base nos fundamentos da Lógica ParaQuântica onde conceitos como estado Lógico Paraquântico e Saltos Paraquânticos poderão mudar o pensamento dos físicos que procuram uma lógica capaz de modelar com eficiência fenomenos que hoje parecem estranhos a luz da física clássica.
João Inácio da Silva Filho
