The course lies in the field of artificial intelligence and in particular of formal argumentation, a research area which aims at providing a computational counterpart to the argumentative aspects which are pervasive in many human activities like reasoning and dialogues. In particular the course will provide an introduction to the theory of abstract argumentation frameworks, discussing its basic concepts and analyzing in detail the notion of abstract argumentation semantics, with a coverage of the general properties characterizing different semantics and of the main proposals available in the literature. After covering these foundational aspects, the final part of the course will give an overview of various research trends devoted to developing and extending the basic abstract argumentation model.
First week of July
3 hours
To be defined