ABORDAGEM LÓGICA PARA ARGUMENTAÇÃO

Resumo

Teoria da argumentação é o estudo de como podemos chegar a conclusões de um problema através do raciocínio lógico. Para isso, precisamos selecionar um conjunto de afirmações dadas e utilizar alguma maneira de provar ou convencer que tais afirmações são verdadeiras ou não. Além disso, pode ocorrer conflitos onde argumentos podem atacar outros. O objetivo do nosso estudo é investigar a Argumentação Abstrata, que se refere a uma das maneiras de se representar o raciocínio em argumentos. Através desta representação, descrevemos os argumentos de maneira abstrata, apenas os nomeando e demonstrando maneiras em que podem se relacionar. Ademais, buscamos investigar sistemas lógicos que implementam estas noções abstratas procurando compará-los. Como metodologia, realizamos reuniões semanais onde discutimos a teoria apresentada nas principais referências bibliográficas da literatura. No estudo da Argumentação Abstrata, conseguimos analisar vários conceitos aqui brevemente descritos. Os argumentos são organizados em tuplas que representam respectivamente os conjuntos de argumentos e as relações binárias entre eles. Dentre alguns dos conceitos estudados, temos os conceitos de ataque entre argumentos, contra-argumentos, aceitação, entre outros. Um ataque entre argumentos implica que o argumento atacante contém alguma informação que procura invalidar o argumento que está sendo atacado, o que o torna um contra-argumento. Um argumento é considerado aceito em relação a um conjunto de argumentos se todo outro argumento que o ataca é atacado por este conjunto. Investigamos sistemas lógicos particulares sob o ponto de vista de Argumentação Abstrata, e vislumbramos algumas aplicações em Inteligência Artificial. Através de todas as definições estudadas, procuramos representar a ideia de um problema que contém vários argumentos e através das relações definirmos uma resposta para o problema, chegando a uma conclusão adequada. Agradeço ao suporte da iniciação científica voluntária do PIBIC.