Computational Argumentation 2022/2023 |
This is the course page of the master course Computational Argumentation 2022/2023. This course was formerly known as Commonsense reasoning and argumentation (INFOCR). You can only do one of these courses.
The information below will then be continuously updated during period 1.
The final grade of the course is determined as follows. The midterm exam counts for 30%, the final exam for 50%, while the homework assignment counts for 20%. The grades of the two exams and the homework assignment are expressed with one decimal but the final grade is rounded up to whole numbers (so without decimals). An additional requirement for passing is that both the weighted average unrounded grade of the midterm and final exam and the grade for the homework assignment must be at least a 4.0. If this requirement is not met while yet the final grade before rounding up is 5.5 or higher, then the final grade is a 5.
To qualify for the second-chance exam:
- Lectures (HC):
lecture | date | topics, reading + exercises | slides |
HC 1 | Mon 12-09 | Introduction / Default logic 1. Antoniou sections 1, 2.1-2.3. |
slides |
Wed 22-09 | No lecture | ||
HC 2 | Mon 19-09 | Default logic 2. Antoniou sections 2.4-2.5, 3.1. Exercises: reader 2.1.1-2.1.6 |
slides
two examples |
HC 3 | Wed 21-09 | Default logic 3 /Abstract argumentation frameworks- semantics 1.
Antoniou sections 3, 6 Reader Ch. 3, sections 4.1-4.4 (labeling versions only). Exercises: reader 2.1.7-2.1.14, 3.2.1, 4.8.1, 4.8.3 (with labelings), 4.8.5, 4.8.7, 4.8.8, 4.8.9, 4.8.11 (with labelings). |
slides HC3a, slides HC3b |
HC 4 | Mon 26-09 | Abstract argumentation frameworks - semantics 2.
Reader Ch. 4. Exercises: reader 4.8.2, 4.8.3 (with extensions), 4.8.4, 4.8.6, 4.8.10, 4.8.11 (with extensions), 4.8.12-4.8.15. |
slides HC4 |
HC 5 | Wed 28-09 | Abstract argumentation frameworks - proof theory.
reader Ch. 5. Exercises: reader 5.4.1-5.4.7. |
slides HC5 |
HC 6 | Mon 03-10 | Structured argumentation frameworks (1).
Reader sections 6.1, 6.2, 6.3.1-6.3.3. Exercises: reader 6.9.1, 6.9.2(1), 6.9.3 (arguments), 6.9.5(1). |
slides HC6 |
HC 7 | Wed 05-10 | Structured argumentation frameworks (2).
Reader sections 6.3.4, 6.4.1, 6.4.3. Exercises: reader 6.9.2-6.9.7. |
slides HC7 |
HC 8 | Mon 10-10 | Structured argumentation frameworks (3). reader sections 6.4.2, 6.4.4-6.4.7, 6.5, 6.7. Exercises: reader 6.9.8 - 6.9.14. |
slides HC8 |
Tue 11-10 | Midterm exam (17:00-19:00). | ||
HC 9 | Wed 12-10 | Structured argumentation frameworks (4) / Dynamics of argumentation (1). Reader sections 6.6, 6.8, 7.1, 7.2, 7.3.1. Exercises: reader 6.9.15-6.9.17, 7.4.1-7.4.3. |
slides HC9 |
HC 10 | Mon 17-10 | Dynamics of argumentation (2) / Argumentation as dialogue (1).
Reader Chapter 7, Section 8.1-8.3 Exercises: all exercises Chapter 7, exercise 8.6.1-8.6.2 |
slides HC10 |
HC 11 | Wed 19-10 | Argumentation as dialogue (2). Reader Chapter 8. Exercises: all exercises Chapter 8 |
slides HC11 |
Mon 24-10 | Cancelled. | ||
Wed 26-10 | Cancelled. | ||
HC 12 | Mon 31-10 | Legal argumentation (1).
Reader sections 9.1, 9.2.1-9.2.3. Exercises: reader 9.4.1-9.4.5. |
slides HC12 |
HC 13 | Wed 02-11 | Legal argumentation (2).
Reader sections 9.2.4-9.2.5, 9.3; Sections 1-2 of Bench-Capon (2020). Exercises: reader 9.4.6-9.4.7. |
slides HC13 |
HC 14 | ppt audio | Recent developments, applications, Msc Projects.
Readings: none. |
slides HC14 |
Tue 08-11 | Final exam (17:00-20:00). | ||
Fri 11-11 | Deadline homework assignment (16:00). |