Logical consequence and combinations of logics: fundaments and efficient applications

Resumo

A noção de inferência lógica é de importância fundamental não somente em todas as formas de argumentação (seja formal ou informal) mas também em diversos aspectos da computação. O estudo da inferência lógica com vistas às aplicações exige a compreensão da combinação de mecanismos lógicos em diversos níveis. O presente projeto é focado em métodos específicos para combinar lógicas, sua interpretação algébrica e seus aspectos computacionais. A pesquisa na área da aproximação de inferências quantificacionais é uma abordagem promissora com respeito à complexidade intrínseca neste tipo de tarefa. Uma questão intimamente relacionada àquela da eficiência e ao esforço de compreender combinação de sistemas lógicos é a da computação quântica e das lógicas quânticas. Toda esta complexa questão requer pesquisadores de origem multidisciplinar envolvidos na difícil tarefa de investigar alternativas eficientes aos métodos tradicionais de inferência. O projeto envolve 22 pesquisadores e estudantes de pós-graduação em diversos níveis, com diferentes formações, a maioria da USP e da Unicamp (um deles da Unesp), com o apoio de 8 pesquisadores de 3 instituições internacionais. (AU)