Grupo de Lógica Paraconsistente Aplicada

O GLPA (Grupo de Lógica Paraconsistente Aplicada) investiga e apóia trabalhos desenvolvidos e direcionados às aplicações de técnicas de Inteligência Artificial que fazem uso dos conceitos das Lógicas Não-Clássicas.

Sediado na Unisanta, o grupo é composto por docentes e alunos da própria universidade e de diversas instituições nacionais e internacionais interessadas na pesquisa e divulgação de novos meios de aplicação da LPA em várias áreas de Inteligência Artificial.

Pesquisas

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.

Com o intuito de divulgar as aplicações da Lógica Paraconsistente, o grupo promove, em parceria com o Departamento de Pós-Graduação da Unisanta, cursos de extensão e treinamento. Informações adicionais sobre estes cursos podem ser obtidas através do site do GLPA, da Secretaria de Pós-Graduação, Pesquisa e Extensão da Unisanta ou do e-mail do Prof. Dr. João Inácio da Silva Filho (inacio@unisanta.br), coordenador do GLPA.

Atualmente, o GLPA desenvolve diversas pesquisas envolvendo aplicações da Lógica Paraconsistente no Programa de Mestrado em Engenharia Mecânica – PPGEMec da Unisanta em duas linhas de pesquisa: Gerenciamento Eletroenergético e Automação e Controle de Processos.

Muitas dissertações aplicando a LPA em temas ligados às engenharias e às ciências da computação já foram defendidas, com relevantes contribuições nestas áreas de conhecimento. O material das dissertações com pesquisas utilizando a LPA encontra-se disponível no site do Mestrado em Engenharia Mecânica.

Localização

O GLPA está sediado nas dependências do NPE (Núcleo de Pesquisa em Eletrônica) da Faculdade de Engenharia Elétrica da Unisanta, que fica situado na Rua Oswaldo Cruz, 283 (sala M-513).