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

Título: Tomadas de decisão com ferramentas da lógica paraconsistente anotada

Autor: Carvalho / Abe

Sinopse: 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, b em 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 grande s 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.

Editora: Edgard Blucher

Páginas:

Ano:

Edição:

Linguagem: pt-br

ISBN: 8521206070

ISBN13: 9788521206071