• Guillermo R. Simari– Universidad Nacional del Sur, Argentina

  • Track de Inteligencia Artificial

Nota: El curso será dictado en Español pero el material de lectura y slides pueden estar en Inglés

Resumen

Argumentación es uno de los procesos de razonamiento que siguen el patrón natural del razonamiento de sentido común; como tal, es no solo razonamiento interno, sino que también es razonamiento compartido entre una comunidad de agentes. El razonamiento es parte de toda actividad humana que requiera coherencia, justificación y/o inteligencia, incluyendo el requerir razones que sustenten el comportamiento exhibido por un agente.
En este curso nos concentraremos en el estudio de las ideas fundamentales del área de argumentación. Esta área es compleja y contiene una variedad enorme de propuestas que han tenido desarrollo en el último cuarto del siglo pasado y que han continuado con fuerza durante los últimos 10 años. Nuestro interés se dirigirá a presentar los elementos del área útiles para modelar y realizar computacionalmente el razonamiento de un agente autónomo (o autonómico) y brindarle las capacidades necesarias para habilitar esa autonomía.

Temario

• Representación de Conocimiento y Razonamiento. Representación de Conocimiento. Distintos Roles. Exploración de la noción de comportamiento inteligente. Representación y Razonamiento. Distintos componentes. Proceso de Razonamiento. Introducción a la Teoría de Argumentación. Argumentos y Argumentación. Ataque y Refutación • Sobre la Estructura de Argumentos. El modelo de Toulmin. Argumentación basada en Lógica Clásica. Argumentación basada en Programación en Lógica. Argumentación Basada en Suposiciones • Sistemas Argumentativos Abstractos. Introducción. El marco argumentativo abstracto de Dung. Semánticas. Sistemas Argumentativos Abstractos y la noción de Valor • Sistemas Bipolares. Diferentes formas de soporte. Introducción a las propuestas existentes • Aplicaciones. Argumentación en el Razonamiento Legal. Sistemas de Recomendación. Argumentación en la Web Semántica. Argumentación y Programación de Agentes.

Prerrequisitos

Elementos básicos de lógica para ciencias de la computación, incluyendo lógica proposicional.Elementos básicos de lógica para ciencias de la computación, incluyendo lógica proposicional.

Bibliografía
• I. Rahwan, G. R. Simari. Argumentation in Artificial Intelligence, Springer Verlag, 2009.
• P. Besnard, A. Hunter. Elements of Argumentation, The MIT Press, 2008.
• J. Pollock. A theory of defeasible reasoning. Intl. Journal of Intelligent Systems, 6:33-54, 1991.
• H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-classical Logics, 7:25-75, 1997.
• H. Prakken and G. Vreeswijk. Logical Systems for Defeasible Argumentation. In D. Gabbay and F.Guenther, editors, Handbook of Phil. Logic, pages 219-318. Kluwer, 2002.
• C. Chesñevar, A. Maguitman, and R. Loui. Logical Models of Argument. ACM Computing Surveys, 32(4):337-383, December 2000.
• García and G. Simari. Defeasible Logic Programming: An Argumentative Approach. Theory and Practice of Logic Programming, 4(1):95-138, 2004.
• P. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming and n-person games. Artifcial Intelligence, 77:321-357, 1995.
• G. Simari and R. Loui. A Mathematical Treatment of Defeasible Reasoning and its Implementation. Artificial Intelligence, 53:125-157, 1992.
• A. Cohen, S. Gottifredi, A. J. García, G. R. Simari. A survey of different approaches to support in argumentation systems. Knowledge Eng. Review 29(5): 513-550 (2014)
• K. Atkinson, P. Baroni, M. Giacomin, A. Hunter, H. Prakken, C. Reed, G. R. Simari, M. Thimm, S. Villata. Towards Artificial Argumentation. AI Magazine 38(3): 25-36 (2017)
• P. Baroni, M. Caminada, M. Giacomin. An introduction to argumentation semantics. Knowledge Eng. Review 26(4): 365-410 (2011)
• P. Baroni, D. Gabbay, M. Giacomin, L. van der Torre. Handbook of Formal Argumentation, Vol 1. College Publications. London. 2018
Inscribirse
Ver todos los cursos