Estruturas Lógicas em Argumentação

Resumo

O objetivo desta pesquisa é desenvolver uma metodologia que permita detectar certos padrões de argumentação em textos, como modus ponens, modus tollens e silogismos. Para isto, combinarei recursos da lógica e da teoria da argumentação com técnicas da linguagem de processamento natural e modelos de redes neurais. A metodologia se baseará em aprendizado supervisionado, a ser treinado em dois corpus criados especialmente para essa tarefa: um com exemplos retirados de manuais de lógica e teoria da argumentação; e outro, composto de editoriais de jornais. Os documentos desse corpus terão marcações para as estruturas argumentativas típicas mencionadas, formalizadas tanto em cálculo proposicional quanto em lógica de primeira ordem. Em seguida, acrescentarei também informações de natureza sintática (as categorias lexicais) e semântica (embeddings). A ideia é desenvolver um modelo que permita identificar estes padrões de argumentação de maneira automática, e que possa, mais à frente, ser empregado na análise da forma e do conteúdo dos argumentos empregados na linguagem natural de maneira mais ampla, como por exemplo, em análises de literatura científica, debates políticos ou decisões judiciais.