Simulação do Reticulado da Lógica Paraconsistente Anotada com Anotação de dois Valores LPA2v aplicado em VB.net

Rodrigo Silvério da Silveira, Leonardo do Espirito Santo, João Inácio da Silva Filho, Cláudio Luís Magalhaes Fernandes, Marcelo dos Santos

Abstract


O estudo da lógica Paraconsistente tem despertado um grande interesse em especialistas na área de automação industrial e neste caso a pesquisa em aplicações desta lógica se mostra como um grande campo bastante promissor. Este trabalho apresenta uma forma de aplicação do algoritmo Para–Analisador da Lógica Paraconsistente Anotada com Anotação de dois Valores (LPA2v) configurado para atuar em um Sistema Supervisório. Com base nesse algoritmo foi feito uma simulação na tela do Supervisório para o controle do reticulado da LPA2v. Os resultados deste estudo demonstraram que controles diversos aplicados com a LPA2v podem ser simulados e testados com os recursos de um software supervisório antes de uma aplicação real.

Palavras–Chave: Lógica, Paraconsistente, Controlador Programável, Supervisório e VB.net.


Full Text: PDF

Refbacks

  • There are currently no refbacks.