Commonsense Reasoning and Argumentation 2017/2018 |
This is the course page of the course Commonsense Reasoning and Argumentation 2017/2018. The information below will be continuously updated during period 3.
The final result of the course is determined as follows: average of the marks for the three mandatory exercises (1/3) + mark for final exam (2/3).
To qualify for the second-chance exam:
- Lectures (HC): (date in red: first hour mandatory exercise.)
lecture | date | topics, reading + exercises | slides |
HC 1 | Wed 07-02 | Introduction / Default logic 1: Antoniou sections 1, 2.1-2.3. |
slides |
HC 2 | Fri 09-02 | Default logic 2: Antoniou sections 2.4-2.5, 3.1. Exercises: reader 2.1.1-2.1.6 |
slides |
HC 3 | Wed 14-02 | Default logic 3 /Circumscription 1:
Antoniou sections 3,6 reader Ch. 1, sections 1.1-1.3. Exercises: reader 2.1.7-2.1.14, 2.2.1-2.2.2 |
slides |
HC 4 | Fri 16-02 | Circumscription 2 reader Ch. 1. Exercises: 2.2.3-2.2.8 |
slides |
HC 5 | Wed 21-02 | Abstract argumentation - semantics 1.
reader Ch. 3, sections 4.1-4.4. Exercises: 3.2.1, 4.8.1, 4.8.7-4.8.11 |
slides |
HC 6 | Fri 23-02 | Abstract argumentation - semantics 2.
reader Ch. 4. Exercises: 4.8.2-4.8.6, 4.8.12-4.8.15 |
slides |
HC 7 | Wed 28-02 | Abstract argumentation - proof theory.
reader Ch. 5. Exercises: 5.4.1-5.4.7 |
slides |
HC 8 | Fri 02-03 | Structured argumentation (1)
reader sections 6.1, 6.2, 6.3.1-6.3.3, 6.4.1. Exercises: 6.8.1-6.8.4, 6.8.6 (arguments and attacks), 6.8.7 |
slides |
HC 9 | Wed 7-03 | Structured argumentation (2)
reader sections 6.3.4, 6.4.1-6.4.3. Exercises: 6.8.1-6.8.4, 6.8.6 (defeats and evaluation), 6.8.8-6.8.12 |
slides |
HC 10 | Fri 09-03 | Structured argumentation (3) reader sections 6.4.4-6.4.7, 6.5. Exercises: 6.8.12 - 6.8.15. |
slides |
HC 11 | Fri 16-03 | Structured argumentation (4), Argumentation as dialogue(1); Reader Chapter 6, Sections 8.1-8.3. Exercises: all exercises Chapter 6, exercises 8.6.1-8.6.4. |
slides |
HC 12 | Wed 21-03 | Argumentation as dialogue (2);
Reader Sections 8.1-8.5. Exercises 8.6.5-8.6.10. |
slides |
HC 13 | Fri 23-03 | Argumentation as dialogue (3); Legal Argumentation (1)
Readings; Prakken & Sartor (2015) sections 1, 2.6, 3, 4.1, Bench-Capon (2017), sections 1, 2, 4.1. Exercises on legal argumentation (Prakken 2017b). |
slides |
HC 14 | Wed 04-04 | Legal Argumentation (2), Concluding remarks, question time.
Readings: Prakken (2015), Prakken (2017a), Bench-Capon (2017), sections 5 and 6. Exercises on legal argumentation (Prakken 2017b). |
slides |
- Mandatory exercises
The two exercises during the lectures take 45 minutes.
event | date | Mandatory exercises (first hour of lecture) |
During HC 6 | Fri 23-02 | On HC 1-5 |
During HC 12 | Wed 21-03 | On HC 5-11 (except the dialogue part of HC 11) |
The third mandatory exercise is a homework exercise to be done in pairs, with deadline Tuesday 3 April, 10:00.