iii congresso brasileiro de iniciação científica anais 2011 - Unisanta

Aplicação lógica paraconsistente em um processo
industrial
Danilo de Brito Oliveira, Artur Luiz Líbano de Aguiar, João Inácio da Silva Filho
Faculdade de Engenharias e Arquitetura, Universidade Santa Cecília
Introdução: A Lógica Paraconsistente (LP) é uma lógica não-clássica que tem como
principal característica a capacidade de aceitar contradição na sua estrutura teórica.
Objetivos: Neste trabalho utiliza-se uma extensão da LP denominada de Lógica
Paraconsistente Anotada com anotação de dois valores (LPA2v) para modelar um sistema
industrial experimental com duas variáveis físicas. O modelo de análise permite que os dados
sejam analisados pelos algoritmos fundamentados em Lógica Paraconsistente, cujas
equações extraem o estado lógico do processo em tempo real representado na forma de um
Grau de Evidência resultante. Metodologia: Para os ensaios foram consideradas as variáveis
físicas Vazão e Pressão como duas fontes ativas e geradoras de dados de informação que são
equacionados por algoritmos da LPA2v. O equacionamento produz um Grau de Evidência
resultante, cujo valor servirá para tomada de decisão no processo industrial. Resultados:
Mostra-se assim que é possível usar a metodologia que utiliza algoritmos paraconsistentes e
extrair graus de evidências de duas fontes reproduzidas por grandezas físicas de um
processo onde os sinais de informação para a análise podem ser contraditórios. Foram feitos
vários ensaios para validar os algoritmos e mostrado como são reproduzidos os resultados
que podem ser aplicados em áreas especificas de tomadas de decisão e controle de um
Sistema de processo Industrial.
III Congresso Brasileiro de Iniciação Científica, 18 a 19 nov 2011 Página 160