Uma biblioteca orientada a objetos para programacao paraconsistente.

• Processo: 03/00678-5
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de abril de 2003
• Data de Término da vigência: 30 de novembro de 2003
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: José Pacheco de Almeida Prado
• Beneficiário: Rogerio Corbo
• Instituição Sede: Instituto de Ciências Exatas e Tecnologia (ICET). Universidade Paulista (UNIP). São Paulo , SP, Brasil
• Assunto(s): Inteligência artificial
• Palavra(s)-Chave do Pesquisador: Biblioteca De Programacao | Inteligencia Artificial | Logica Nao-Classica

Resumo

Ao longo das três últimas décadas, foram propostos sistemas apoiados em Inteligência Artificial para os mais diferentes usos, desde diagnósticos médicos até aplicações industriais diversas. O que pode ser notado, contudo, é que o fenômeno da inconsistência não é tratado diretamente em tais sistemas, uma vez que os mesmos foram modelados por meio da lógica clássica. Neste projeto, para manipular o fenômeno da inconsistência, é empregada uma lógica não clássica, denominada de Lógica Paraconsistente Anotada. Essa lógica fornece mecanismos e técnicas para representar e manipular o fenômeno da inconsistência, permitindo o desenvolvimento de sistemas onde as inconsistências não são simplesmente eliminadas dos dados coletados por meio de algum artifício, mas sim, incorporada ao modelo do mundo. Nos últimos anos diversos sistemas foram desenvolvidos apoiando-se na Lógica Paraconsistente Anotada, contribuindo para a validação e desenvolvimento dos conceitos da Programação Paraconsistente. Este projeto está focado no desenvolvimento de uma biblioteca de programação orientada a objetos, baseada em Lógica Paraconsistente Anotada. Tal biblioteca incorporará os conceitos desenvolvidos nos trabalhos pioneiros, o que facilitará o desenvolvimento de novos sistemas Paraconsistentes. (AU)