Argumentation in Artificial Intelligence: 20 Years after Dung's Work
Date: 26 July 2015, full day
Lecturers: Federico Cerutti
Location: Buenos Aires, Argentina, New Building of Facultad de Ciencias Economicas, Room 436
When: Sun, July 26 2015, full day.
Where: Buenos Aires, Argentina, New Building of Facultad de Ciencias Economicas, Room 436.
Who: Federico Cerutti.
Short Description of the Tutorial
Argumentation technology is a rich interdisciplinary area of research that, in the last twenty years, has emerged as one of the most promising paradigms for commonsense reasoning and conflict resolution in a great variety of domains. This tutorial provides an extensive description of the research in this field, its well-established results, its implementations and applications, and the open questions still under discussion.
Description
The tutorial explores the formal approaches that have been developed over roughly twenty years and are now adopted in real-world applications. To give attendees a complete view, it also touches on other areas of argumentation theory, such as dialogues and links with the social sciences, while keeping the technical focus on the state of the art in argumentation for AI research.
It reviews the elements underpinning most approaches in argumentation theory, from classical-logic-based to informal-logic-based approaches, and uses that survey to make the links with epistemology, law, and complexity theory explicit. On the technological side, it discusses research prototypes that extend applications from legal reasoning to intelligence analysis, surveys the state of the art in algorithms for computing semantics extensions of argumentation frameworks, and includes a discussion of the first ICCMA competition. The tutorial is designed to provide a deep and complete understanding of argumentation in AI and of its practical capabilities.