Projetos:
SimPARAnet
 Orientado
pelo
Prof. Dr. João Inácio da Silva Filho, coordenador do Grupo de
Lógica Paraconsistente Aplicada (GLPA) e
desenvolvido pelo aluno de Engenharia de Computação da Unisanta,
Gilberto Augusto Thomaz de Aquino Holms, o SimPARAnet consiste em um
simulador de Redes de Análises Paraconsistentes (RAPs). As RAPs são
redes compostas de algoritmos para análises de informações e são
construídas com base na chamada Lógica Paraconsistente (um tipo
especial de Lógica Não-Clássica capaz de tratar contradições). Dessa
forma, o SimPARANET foi elaborado com o objetivo de tornar-se uma
importante ferramenta de ajuda em projetos envolvendo este novo tipo
de rede capaz de efetuar análises e tratamento de sinais originados
de base de dados do Conhecimento Incerto.
 O
SimPARAnet é o primeiro simulador dedicado ao apoio de projetos de
sistemas de tratamento de incertezas através de redes que fazem uso
dos fundamentos da Lógica Paraconsistente. Em projetos de redes de
apoio à tomada de decisão, os simuladores são considerados
ferramentas essenciais na elaboração e formação topológica, tipos de
configurações, testes e validação de sistemas de análises e decisão.
 O
SimPARAnet foi desenvolvido para o ambiente Windows na linguagem de
programação Visual Basic 6.0 (VB6) em interface amigável e, já em
sua primeira versão, vem se mostrando uma ferramenta eficiente,
tendo sido utilizado em projetos de sistemas especialistas paraconsistentes para
apoio ao restabelecimento de energia elétrica, de apoio ao
diagnóstico médico para doenças cardiovasculares e em vários outros
projetos de aplicações da Lógica Paraconsistente que vem surgindo em
setores da Inteligência Artificial.
|
