- Unité d'enseignement : Dynamique des connaissances
Nombre de crédits de l'UE : 3
Code APOGEE : INF2347M
Type d'enseignement
Nb heures *
Cours Magistraux (CM)
15 h
Travaux Dirigés (TD)
7.5 h
Travaux Pratiques (TP)
7.5 h
* Ces horaires sont donnés à titre indicatif.
Pré-requis :
M1 in computer science, having completed a traditional computer science program (incluging training in symbolic AI and machine learning).
Compétences attestées (transversales, spécifiques) :
Argumentation is the process of constructing, presenting, and evaluating arguments, typically to persuade or reach a conclusion. It involves the use of logic and reasoning to support or refute claims, often through structured discussions or debates. In the context of computer science, argumentation plays a crucial role in areas such as decision-making, automated reasoning, and human-computer interaction, where the ability to model and analyze arguments is essential.
In this course, we will explore the study of argumentation in computer science from two perspectives: symbolic AI and machine learning. From the symbolic AI perspective, we will examine how argumentation graphs are modeled, the semantics used to derive conclusions, and how these conclusions are connected to knowledge bases. From the machine learning perspective, we will focus on the formalization of natural language arguments and the application of natural language models to tasks such as fallacy detection and relation-based argument mining. By the end of the course, you will have a comprehensive understanding of how these approaches contribute to the advancement of argumentation studies in computing.
Programme de l'UE / Thématiques abordées :
The structure of this course is as follows:
- Session 1
- Argumentation theory and extension-based semantics
- Labelling semantics and links to extension-based semantics
- Session 2
- Advanced notions on admissibility and serialization
- Session 3
- Principled-based approach and ranking-based semantics
- Logic-based argumentation and fallacies
- Session 4
- Assumption-based argumentation and complexity
- ABA+ and comparison to ASPIC+
- Session 5
- Graph neural networks for extension-based semantics
- Learning gradual semantics and enforcement problems
- Session 6
- Dealing with natural language arguments
For an up-to-date version of this syllabus, refer to the online version of this course from my personal website.
Parcours / Spécialité / Filière / Option utilisant cette UE :
Date de la dernière mise-à-jour : 26/08/2024
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='16813' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`
