Lógica Paraconsistente

Inteligência Artificial (IA) é um ramo da ciência da computação que estuda os algorítimos em sua capacidade de simular o raciocínio, percepções e tomadas de decisões envolvendo aspectos filosóficos, estudos cognitivos e sua aplicabilidade. A idéia do ser humano de querer criar algo semelhante a nós vem da Grécia, Prometeu e Epimeteu, foram responsáveis por popular o planeta Terra. Também foram buscar o pensamento Aristotélico. Alguns fatores também contribuíram para o desenvolvimento da IA como a Segunda Guerra Mundial com a corrida espacial e internet. IA não é automatização dos processos, não tem um perfil operacional mas leva em conta bases históricas de comportamento podendo traçar previsões e limitações, trabalhando com reconhecimentos e planejamentos. Isso é bem presente no nosso cotidiano como geladeiras inteligentes, ar condicionado, lavadoras de roupas e navegadores que consideram o trajeto, o trânsito, variáveis como obras, acidentes, etc. No mercado financeiro, existem programas que fazem leituras de jornais, medem a flutuação, interpretam o ambiente e desta forma chegam a uma previsão. Na medicina é usada em pré diagnósticos, interpretando sinais biológicos. Existem algumas teorias computacionais como autômatos, que são máquinas automatizadas, a Lógica fuzzy que trabalha com conjuntos de pertinência sobre uma determinada pergunta classificando-as se está dentro ou fora de um determinado conjunto, são classificadores de conjuntos, a Lógica Paraconsistente que consiste em graus de certeza e contradições, trabalha a falsidade e a verdade simultâneamente. Diferente da Lógica Clássica onde eu trabalho apenas o sim ou não. A Lógica Paraconsistente surgiu na Polônia há 3 séculos atrás, mas foi no Brasil que obteve uma aplicabilidade muito grande, formalizando-a. Quem pretende estudá-la deve se aprimorar na Lógica Matemática, ela quebra alguns paradigmas existentes na Lógica Booleana.
Diz que uma proposição e sua negação podem ser, ao mesmo