Tomadas de decisão com ferramentas da lógica paraconsistente anotada

Diversas são as lógicas complementares da clássica, tais como a lógica temporal, a lógica modal e a lógica deôntica. Dentre as lógicas rivais, destacam-se a intuicionista, a fuzzy e a paraconsistente. Convém lembrar que uma lógica não clássica pode, muitas vezes, funcionar, de acordo com as circunstâncias, ora como lógica rival, ora como lógica complementar da clássica.

A lógica paraconsistente nasceu motivada por questões de índole teórica, de interesse principalmente filosófico e matemático, bem como por problemas originados pelas ciências experimentais, por exemplo a física. Não obstante, ela acabou encontrando as mais variadas aplicações em áreas tais como computação, robótica, tráfego aéreo e de trens, distribuição de energia em grandes usinas, programação, redes neurais, pesquisa operacional etc.

Convém notar que uma lógica pode ser encarada como um mecanismo de inferência e de sistematização teórica, ou como formalismo de natureza técnica e informática. É sobretudo sob este prisma que os autores deste livro desenvolvem suas aplicações. Ademais, a obra tem basicamente em mira duas metas: 1) expor as ideias centrais de uma categoria de lógica paraconsistente, a saber, a lógica anotada; 2) tratar de aplicações desta última em tomadas de decisão, particularmente em Engenharia de Produção.

Não há dúvida de que esta obra será de enorme utilidade para uma vasta gama de leitores, desde pessoas interessadas em conhecer a lógica paraconsistente anotada, até engenheiros, cientistas e filósofos que desejarem ter uma noção tanto do domínio da paraconsistência, quanto das correspondentes aplicações técnicas. Este excelente texto é o resultado, acima de tudo, da grande capacidade didática dos autores, bem como da experiência que possuem no domínio da paraconsistência.