This course will teach you the basics of using formal argumentation to model dynamic knowledge and reason with them.
Dr. Bruno Yun
Send your queries by email. For a face-to-face meeting, contact me by email to arrange one.
This part of the course will have 15 hours of lectures, 4.5 hours of tutorials, and 10.5 hours of practicals.
The teaching timetable is split into three sessions as follows.
Session 1 (5th of September 2025):
Lecture 1A: Argumentation theory and extension-based semantics(1.5 hours)
Lecture 1B: Labelling semantics and links to extension-based semantics (1.5 hours)
TD1: Computing extensions, labellings, and dialogues (1.5 hours)
Session 2 (12th of September 2025):
Lecture 2A: Further into admissibility and Serialization (3 hours)
Session 3 (19th of September 2025):
Lecture 3A: Principle-based approach and ranking-based semantics (1.5 hours)
Lecture 3B: Logic-based argumentation and fallacies (1.5 hours)
TD3: Ranking-based semantics, ASPIC-, and fallacies (1.5 hours)
Session 4 (26th of September 2025):
Lecture 4A: Assumption-based argumentation and complexity (1.5 hours)
Session 5 (3rd of October 2025):
Lecture 5A: Graph Neural Networks for Extension-based semantics (1.5 hours)
Lecture 5B: Learning gradual semantics and enforcement problems (1.5 hours)
Session 6 (10th of October 2025):
Lecture 6: Dealing with Natural Language Arguments (2 hours)
Practical 2: Implementing an ASPIC- generator (2 hours)
Practical 3: Using semantics on argumentation graphs (1.5 hours)
Practical 4: RBAM with Natural Language Arguments (1.5 hours)
Session 7 (17th of October 2024):
This session will be used to assist you for the project you will have to submit for you continuous assessment. The details of this project are accessible below.
Your group will be displayed on TOMUSS. If you do not have a group after the deadline or would like to change group, contact me by email ASAP.