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

• Processo: 95/09436-6
• Modalidade de apoio: Auxílio à Pesquisa - 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 do 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
• Auxílio(s) vinculado(s): 99/03043-3 - Para-Fuzzy logic controller I, AR.EXT
• Bolsa(s) vinculada(s): 97/02328-9 - Inteligência artificial e automação baseada numa lógica paraconsistente, BP.JP
• Assunto(s): Inteligência artificial Sistemas lógicos não clássicos
• Palavra(s)-Chave do Pesquisador: Logica Juridica | Logica Musical
• Publicação FAPESP: https://media.fapesp.br/bv/uploads/pdfs/Investindo...pesquisadores_459_313_313.pdf

Resumo

Neste projeto investigaremos sobre a aplicação de uma classe de lógicas paraconsistentes denominada lógicas anotadas QT para o tratamento de fenômenos significativos como os de inconsistências (contradição) e paracompleteza em inteligência artificial e automação em geral. Sabe-se que os tratamentos usuais baseiam-se ou fazem uso de lógicas (em geral a clássica) que não permitem, pelo menos diretamente, tratar de contradições e/ou para completezas. 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)