A lógica paraconsistente anotada de quatro valores - LPA4V aplicada em sistema de raciocínio baseado em casos para o restabelecimento de subestações elétricas

• Ano de defesa: 2003
• Autor(a) principal: MARTINS, Helga Gonzaga
• Orientador(a): LAMBERT-TORRES, Germano
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Itajubá
• Programa de Pós-Graduação: Programa de Pós-Graduação: Doutorado - Engenharia Elétrica
• Departamento: IESTI - Instituto de Engenharia de Sistemas e Tecnologia da Informação
• País: Brasil
• Palavras-chave em Português: Lógica paraconsistente anotada; Raciocínio baseado em casos (RBC); Restabelecimento de subestações elétricas
• Área do conhecimento CNPq: CNPQ::ENGENHARIAS::ENGENHARIA ELÉTRICA
• Link de acesso: https://repositorio.unifei.edu.br/jspui/handle/123456789/3202

Nos sistemas de controle, a base teórica de funcionamento tem sido a lógica clássica, devido à estrutura binária destes sistemas (verdadeiro ou falso), de forma que o raciocínio é feito com simplificações, como deixar de considerar fatos ou situações de inconsistência ou então resumir grosseiramente as mesmas. As situações de inconsistências, indefinições e de conhecimentos parciais são descritas no mundo real com muita freqüência, de forma que se necessita de uma lógica que englobe todos esses comportamentos. Esta necessidade leva ao surgimento de uma lógica subjacente para os sistemas formais, denominada Lógica Paraconsistente. Muitos trabalhos apresentam a Lógica Paraconsistente como solução para tratar situações onde a Lógica Clássica se mostra ineficaz. Este trabalho tem a finalidade de estender a lógica paraconsistente anotada de dois valores - LPA2v para uma lógica paraconsistente anotada de quatro valores - LPA4v, permitindo-se que sistemas de controle possam efetuar tratamentos inconsistentes, indefinidos e no que se refere ao nível de especialidade no domínio em questão. A análise de sinais utilizando a LPA4v permite que vários problemas ocasionados por situações contraditórias e paracompletas possam ser tratados de maneira próxima da realidade, além de analisar o comportamento dos especialistas no decorrer do tempo. Este método deu origem ao algoritmo denominado “Para–Especialista”. O algoritmo implementado em linguagem computacional convencional proporciona a aplicação da Lógica Paraconsistente em sistemas de controle no mundo da inteligência artificial. É apresentado um projeto de aplicação de Sistema Híbrido de Controle, que faz junção da Lógica Paraconsistente e Sistema de Raciocínio Baseado em Casos (RBC), obtendo-se uma forma de tratamento das inconsistências, útil em sistemas de controle e aplicado em um Restabelecimento de Subestação Elétrica. Este projeto deu origem ao algoritmo "RBC-Para-Especialista". Os resultados obtidos neste trabalho servem para pesquisas em diversas áreas.