Inteligência artificial e automação baseada numa lógica paraconsistente

• Processo: 97/02328-9
• Modalidade de apoio: Bolsas no Brasil - Jovens Pesquisadores
• Data de Início da vigência: 01 de maio de 1997
• Data de Término da vigência: 30 de abril de 2001
• Área de conhecimento: Engenharias - Engenharia Elétrica - Eletrônica Industrial, Sistemas e Controles Eletrônicos
• Pesquisador responsável: Jair Minoro Abe
• Beneficiário: Jair Minoro Abe
• Instituição Sede: Instituto de Ciências Exatas e Tecnologia (ICET). Universidade Paulista (UNIP). São Paulo , SP, Brasil
• Vinculado ao auxílio: 95/09436-6 - Inteligência artificial e automação baseada numa lógica paraconsistente, AP.JP
• Assunto(s): Inteligência artificial Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: Logica Juridica | Logica Musical | Logicas Anotadas E J.A. | Logicas Paraconsistentes E J.A

Resumo

Neste projeto investigaremos sobre a aplicação de uma classe de lógicas para consistentes denominada lógicas anotadas QT para o tratamento de fenômenos significativos como os de inconsistências e para completeza em Inteligência artificial e automação em geral. Especificamente para este projeto estaremos interessados nos seguintes tópicos: investigação das teorias normativas do direito (bem como a implementação) e aspectos da lógica musical. (AU)