Hacia un framework de argumentación con Accrual de argumentos

Abstract

Dentro de la Inteligencia Artificial surgieron a lo largo del tiempo varios formalismos para modelar el razonamiento de sentido común, muchos de ellos basados en Argumentación. La Programación en Lógica Rebatible es uno de ellos, combinando resultados de la Programación en Lógica y la Argumentaci´on Rebatible. No obstante, aunque la acumulación (accrual) de argumentos soportando una misma conclusión es un componente natural de un proceso argumentativo, la mayoría de los formalismos argumentativos existentes no lo modelan. Este artículo presenta la propuesta de un framework para Argumentación al estilo de la Programación en Lógica Rebatible que modela la noción de acumulación de argumentos.