Computational Argumentation 2022/2023

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.

Last updates:

07-11-2022: new corrections to the reader.
06-11-2022: new version reader with corrected model answer of exercise 6.9.17 online,
03-11-2022:

slides HC 13 online,
new note on undercutters in Toast in the description of the homework assignment.

31-10-2022: slides HC 12+14 online.
27-10-2022: update on differences between Toast and the reader.
27-10-2022: new change in schedule HC 12-14, extended deadline homework assignment.
25-10-2022: change in schedule HC 12-14.
19-10-2022: slides HC 11 online.
17-10-2022: slides HC 10 online.
12-10-2022: slides HC 9 online.
10-10-2022: slides HC 8 online.
05-10-2022: slides HC 7 online.
03-10-2022: slides HC 6 online.
28-09-2022: slides HC 5 online.
26-09-2022: slides HC 4 online.
21-09-2022: slides HC 3 online.
19-09-2022: slides HC 2 online.
12-09-2022: slides HC 1 online.
15-08-2022: webpages 2022/2023 online. NB: the first lecture is Monday, 12 September.

Lecturer

Henry Prakken

Course description:

See the course page in OSIRIS for a general description of the course and a link tot the course schedule in MyTimetable.

Prerequisite knowledge:

At the start of the course the student should have a knowledge of standard propositional and first-order predicate logic and elementary set theory as taught in Logica voor Informatica (Logic for Computer Science) or an equivalent course.

Reading + software:

Online reader Computational Argumentation, Henry Prakken, August 2022 (only the parts specified below in the schedule of the lectures). (New version with corrected model answers of exercises 6.9.17, 7.4.5 and 8.6.3). Please read the note on copyright. A printed version of the reader will be available with A-Eskwadraat.
G. Antoniou, A tutorial on default logics. ACM Computing Surveys, Vol. 31, No. 3, September 1999, pp. 337-359.
Sections 1 and 2 of T.J.M. Bench-Capon, Ethical approaches and autonomous systems. Artificial Intelligence 281 (2020): 103239.
Educational software:

OVA-gen, a tool for computing with abstract argumentation frameworks.
Toast, an implementation of an ASPIC+ instantiation.

Examination

The examination of this course consists of:

The exams are "open book but closed notebook": the student is allowed to take paper copies of the course reader and the articles listed above to the exercises and exam, where handwritten notes on these paper copies are allowed. The use of any other material during the exercises or exam is not allowed, unless announced otherwise at this page.

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:

the final result after the first-chance exam must be at least a 4 or an AANV, and
the student must have handed in a version of the homework exercise that at least satisfies the minimum requirements for this exercise.

For the second-chance exam the student can choose to do a written exam about all lectures as a retake of the original midterm and final exams, and/or to hand in an improved version of the homework assignment. The grade for the written exam counts for 80% while the grade for the improved homework assignment counts for 20%. For calculating the final grade for the second-chance exam the highest of the original and new grades are combined with the original grades of the tests (exams or assignment) that are not retaken and then calculated as for the first-chance exam. Here the requirement to have at least a 4.0 for both the exam and the homework assignment still applies. The deadline for the improved homework assignment is the starting time of the second-chance written exam.

Topics of the lectures

The tables below contain the schedule, topics and discussed literature of the lectures, as well as exercises on the topic of the lecture. NB: the schedule is provisional and may change if needed, so please check it before each lecture.

- 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).

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).