When: Sun, July 26 2015, Full day
Where: Buenos Aires, Argentina, New Building of Facultad de Ciencias Económicas, 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. In this tutorial we provide an extensive description of the research in this field, the well-established results, as well as implementations, applications, and open questions.
Argumentation technology is a rich interdisciplinary area of research that as emerged as one of the most promising paradigms for commonsense reasoning and conflict resolution. This tutorial explores the formal approaches —developed over the last twenty years or so — that are now adopted as part of real-world applications. In order to provide the attendees with a complete understanding of these approaches, other aspects of argumentation theory — e.g. dialogues, argumentation and social sciences… — are mentioned but not explored in technical details. Instead, we focus on the state-of-the-art approaches of argumentation in artificial intelligence research with the most up-to-date results, including a discussion on the First International Competition on Computational Models of Arguments (ICCMA 2015).
In fact, in this tutorial we explore the elements underpinning the vast majority of the approaches in argumentation theory, from classical logic based, to informal logic based. This brings to light the connections among the various disciplines involved in argumentation theory, from epistemology, to law studies, to complexity theory. From a technological perspective, we discuss the most recent real-world research grade prototypes, which present innovative ways for applying well-established theories, and enlarge the scope of applications for argumentation theory, from legal reasoning to sense-making in intelligence analysis. We discuss the current stage of algorithms for computing semantics extensions — sets of collectively acceptable arguments — of argumentation frameworks, and, finally, we explore the frontiers of argumentation theory. With this tutorial the attendees will acquire a deep and complete understanding of the state-of-the-art of argumentation in artificial intelligence, and of its technological capabilities.