Busca avançada
Ano de início
Entree

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

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)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)