Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas

A partir da interação entre áreas como Ciência da Computação, Lógica e Dedução Automática nasce uma importante nova área denominada Programação Lógica. Esta vem sendo utilizada continuamente no estudo teórico e em aplicações concretas em diversos ramos da Inteligência Artificial. Após o aumento do número de tipos de lógicas não-clássicas e com a certeza de que o pensamento humano não se limita a lógica clássica de primeira ordem surgiu a necessidade de fazer programação lógica com outros tipos de raciocínios além do clássico. Um dos tipos que vem sendo bastante estudado é o raciocínio paraconsistente, porém, apesar de existirem inúmeras lógicas paraconsistentes com semânticas variadas, a sua aplicação a programação lógica é mais delicada do que pode parecer, sendo necessário um profundo estudo sobre o que pode ou não ser transferido diretamente da lógica clássica de primeira ordem para outros tipos de lógica. Com base nos estudos de Tarcísio Rodrigues sobre os fundamentos da Programação Lógica Paraconsistente para algumas LFIs (Lógicas da Inconsistência Formal), este trabalho tem o intuito de retomar a pesquisa de Rodrigues e situá-la em um contexto mais geral de LFIs com semântica de matrizes finitas, incluindo a pesquisa em lógicas tri e tetra-valoradas que resultam interessantes do ponto de vista computacional, como as apresentadas por Luiz Henrique Silvestrini e Marcelo Esteban Coniglio & Martin Figallo. Este estudo visa definir, a partir de técnicas originais, sistemas de programação lógica paraconsistente bem fundados baseados em lógicas já conhecidas, contrastando com as abordagens ad hoc existentes na literatura para esta questão.