Ano
2015
Escola
EMAp - Escola de Matemática Aplicada
Aluno-pesquisador
Guilherme Paulino Passos
Orientador
Alexandre Rademaker
Localidade
Rio de Janeiro
Nesse projeto de iniciação científica, foi buscado um aprendizado de base na área de Lógica Matemática, bem como a prática de atividade voltada a resultado mais concreto, ainda nessa área. A Lógica Matemática é uma candidata frequentemente utilizada para a modelagem de sistemas de representação de conhecimento e inferência, bem como de conhecimentos extraídos em linguagem natural.
Desse modo, nos primeiros seis meses foi realizado um estudo dirigido com base em bibliografia consolidada na área. Já nos outros seis meses, foi seguida uma atividade de formalização de conceitos e teoremas da área de Description Logics no provador interativo de teoremas LEAN.
Para ter acesso ao trabalho completo, envie um e-mail para: pibic@fgv.br