Grupo de Lógica Paraconsistente Aplicada

O GLPA - Grupo de Lógica Paraconsistente Aplicada esta ligado ao Grupo de Lógica e Teoria da Ciência do IEA

O GLPA é um Grupo de Pesquisa em Lógica Paraconsistente Aplicada que investiga e apoia trabalhos desenvolvidos e direcionados às aplicações de técnicas de Inteligência Artificial que usam os conceitos das Lógicas Não-Clássicas. As pesquisas do GLPA são direcionadas para a criação de Sistemas Especialistas, de Automação e Controle fundamentados em Lógica Paraconsistente Anotada e aplicados em projetos tecnológicos abrangendo diversos campos do conhecimento.

Os projetos inter-relacionados são:

Projeto 1:

Título: Simulador Especialista de Tempo Real Para Apoio a Decisão (SIMULESP).

Descrição: Esse projeto tem como objetivo desenvolver e implantar na sala de controle de operação de um Sistema Elétrico de Potência um sistema de apoio, constituídos de módulos funcionais para captação e integração de dados, formatação de conhecimentos e simulação de manobras com base em dados de tempo real em situações de urgência e emergência da rede. Os algoritmos utilizados serão construídos com base em Lógica Paraconsistente Anotada e Lógica Fuzzy.

Projeto 2:

Título: Desenvolvimento de Sistema Especialista com Lógica Paraconsistente para Apoio a Operação na Recomposição do Sistema de Sub-Transmissão.

Descrição: Esse projeto tem como objetivos a aplicação de Redes de Análises fundamentadas em lógicas Paraconsistente Anotada para: 1. Desenvolver e construir um Sistema Especialista Paraconsistente capaz de identificar e tratar sinais conflitantes para treinamento de técnicos operadores de Subestação de Energia Elétrica oferecendo ajuda à resolução de situações de emergências. 2. Desenvolver e construir um Sistema Especialista Paraconsistente capaz de aprender e armazenar informações para análises de falhas e definir a melhor forma para reconfiguração das redes de sub-transmissão indicando caminhos otimizados para restabelecimento sistêmico.

Publicações relevantes:

Publicação 1:

DA SILVA FILHO, J.I., J.M. ABE & G.L. TORRES, Inteligência Artificial com as Redes de Análises Paraconsistentes, LTC-Livros Técnicos e Científicos Editora S.A., São Paulo, ISBN 978-85-216-1631-3, 313 pág., 2008

Publicação 2:

DA SILVA FILHO, J.I., G.L. TORRES & J.M. ABE, Uncertainty Treatment Using Paraconsistent Logic - Introducing Paraconsistent Artificial Neural Networks, IOS Press, Holanda, Vol. 211, ISBN 978-1-60750-557-0, doi: 10.3233/978-1-60750-558-7-I, 328pp., 2010.

Publicação 3:

TORRES, G.L., J.M. ABE, J.I. DA SILVA FILHO & HG. MARTINS, Advances in Technological Applications of Logic and Intelligent Systems, Editors, Frontiers in Artificial Intelligence and Its Applications, IOS Press, Amsterdan, Vol. 186, ISBN 9781586039363, 285p, 2009