Projetos
Aplicação de tecnologia semântica no domínio de ciber-segurança em parceria com o Exército Brasileiro. Projeto conjunto com o CDCiber, IME e ITA.
Este projeto almeja usar técnicas de ciência de dados para construir modelos preditivos que permitam a melhoria dos planos de manutenção de transformadores de energia, reduzindo desligamentos e tempo de inatividade na transmissão.
Este projeto propõe o estudo de produção de provas curtas (compressão de provas), bem como de seu uso no auxílio a processos de validação de bases de conhecimento em domínios específicos. Como é bem sabido, a existência de provas curtas (de tamanho polinomial em relação a conclusão da prova) para todas as tautologias de uma lógica proposicional L implica em NP = PSPACE, se L é a lógica minimal ou a lógica intuicionista e CoNP = NP se a L é a lógica clássica. Particularmente, se NP = PSPACE então CoNP = NP…
