Pesquisas
desenvolvidas pelo GLPA
Nos últimos anos o GLPA vem desenvolvendo
intensas pesquisas em aplicações da Lógica
Paraconsistente Anotada LPA. Entre os
resultados alcançados destacam-se:
1-
Robô Emmy, o primeiro Robô que funciona com
sistema de controle Lógico Paraconsistente.
Robô Móvel
Autônomo construído pelo GLPA em 1999.
O Sistema de
Controle e análise usa os fundamentos da LPA para
fazer tratamento de dois sinais de ultra som. O resultado
deste tratamento lógico paraconsistente é
utilizado para fazer o Robô desviar de obstáculos
em ambiente não estruturado.
(Robô
apresentado na POLI-USP por um dos pesquisadores
do GLPA para ilustrar tese de doutorado )
2-
Robô Emmy com Controlador Lógico Paraconsistente
Microprocessado - segunda versão.
Robô Móvel
Autônomo construído pelo GLPA em 2004.
Nesta
segunda versão os Sistemas de Controle
Paraconsistentes do robô são Microprocessados e
vários recursos de tratamento de sinais utilizando
os princípios da LPA são acrescentados ao seu
funcionamento.
(Tese de
Mestrado que será apresentada a Faculdade de
Engenharia Elétrica da Universidade Federal de
Itajubá por um dos pesquisadores do GLPA.)
3-
Sistema Classificador de Sinais utilizando Redes
Neurais Artificiais Paraconsistentes RNAP's.
Sistema
Paraconsistente de reconhecimento de padrões
construído em 2003.
Sistema
Computacional de reconhecimento de padrôes em
formas de sinais de amplitudes e frequências
(funções periódicas) com capacidade de aprender 4
padrões diferentes e fazer a classificação
utilizando as Redes Neurais Artificiais
Paraconsistentes.
(Sistema
Computacional apresentado na Faculdade de
Engenharia Elétrica da Universidade Federal de
Uberlândia como tema da dissertação de Mestrado
por um dos pesquisadores do GLPA)
4-
Sistema
de Reconhecimento de Caracteres com Redes Neurais
Artificiais Paraconsistentes RNAP's.
Sistema
Paraconsistente de reconhecimento de caracteres
construído em 2004.
Sistema
Computacional de reconhecimento de caracteres de
única e de várias fontes. Utilizando as Redes
Neurais Artificiais Paraconsistentes este Sistema
é capaz de reconhecer caracteres de diferentes
fontes e fazer a distinção estabelecendo graus de
certeza quanto ao reconhecimento de determinada
letra.
(Sistema
Computacional que será apresentado na Faculdade de
Engenharia Elétrica da Universidade Federal de
Uberlândia como tema da dissertação de Mestrado
por um dos pesquisadores do GLPA)
Pesquisas em
desenvolvimento pelo GLPA
A linha de pesquisas
em desenvolvimento pelo GLPA está atualmente
dividida em 5 ramos de atuação:
. Criação de
Sistemas Especialistas.
. Criação de
Sistemas de Reconhecimento de Padrôes e Imagens
. Criação de
Sistemas de Controle e reconhecimento para área de
Robótica
. Sistemas
Inteligentes e modelos para Neurocomputação.
. Criação de
Sistemas de Controle para Automação de processos.
Alguns
destes projetos
estão sendo desenvolvidos em parceria com outras
Universidades o que ajuda na divulgação e traz
novas idéias e inovações nas aplicações da Lógica
Paraconsistente.
Os trabalhos de Pesquisas em
Desenvolvimento são:
1- SISTEMAS ESPECIALISTAS
Desenvolvimento de
Sistemas
Especialistas Paraconsistentes para ajuda em
diagnósticos médico e Odontológico
Trabalho sendo desenvolvido em parceria com o DIM-USP Departamento de
Informática Médica da Faculdade de Medicina da
USP.
2- CRIAÇÃO DE
SISTEMAS DE RECONHECIMENTO DE PADRÔES E IMAGENS
Investigação de aplicações das Redes Neurais
Artificiais Paraconsistentes RNAP's em
Reconhecimento de imagens para diagnósticos na
área médica.
3-
SISTEMAS DE CONTROLE E RECONHECIMENTO EM
ROBÓTICA
Desenvolvimento de Sistemas de
controle e simuladores Paraconsistentes para Robôs
Móveis Autônomos
Trabalho sendo desenvolvido em parceria com o Departamento de Engenharia
Eétrica da UNIFEI-Universidade Federal de Itajubá.
4-
SISTEMAS INTELIGENTES E MODELOS PARA
NEUROCOMPUTAÇÃO
Aplicações das
Redes Neurais Artificiais Paraconsistentes RNAPs
em Sistemas Inteligentes para Reconhecimento de
Padrões de som, imagens e Modelagens do cérebro.
5-
SISTEMAS DE CONTROLE E AUTOMAÇÃO
Modelagens
matemáticas e novas metodologias para Aplicações
da Lógica Paraconsistente Anotada LPA em
Engenharia e processos de Controle.
|