Computational Argumentation 2023/2024

This is the course page of the master course Computational Argumentation 2024/2025. 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 2024/2025 edition of the course will be largely the same as the 2023/2024 edition, with some minor differences in the schedule and the topics to be taught.

  • Last updates:
    Henry Prakken (I have no office hours; questions can be asked by email or around the lectures.)

    Course description:
    See the course page in OSIRIS for a general description of the course. The course schedule is available 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:

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

    lecturedatetopics, reading + exercises slides
    HC 1Mon 09-09Introduction / Default logic 1.
    Antoniou sections 1, 2.1-2.3.
    HC 2Wed 11-09Default logic 2.
    Antoniou sections 2.4-2.5, 3.1.
    Exercises: reader 2.1.1-2.1.6
    HC 3Mon 16-09Default 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.13, 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).
    HC 4 Mon 23-09Abstract 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.
    HC 5Wed 25-09Abstract argumentation frameworks - proof theory.
    reader Ch. 5.
    Exercises: reader 5.4.1-5.4.7.
    HC 6Mon 30-09Structured 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).
    HC 7Wed 02-10Structured argumentation frameworks (2).
    Reader sections 6.3.4, 6.4.1, 6.4.3.
    Exercises: reader 6.9.2-6.9.7.
    HC 8Mon 07-10Structured argumentation frameworks (3).
    reader sections 6.4.2, 6.4.4-6.4.7, 6.5, 6.6, 6.8.
    Exercises: reader 6.9.8 - 6.9.17.
    Tue 08-10Midterm exam (17.00-19.00).
    HC 9Wed 09-10 Preference-based AFs / bipolar argumentation frameworks.
    Reader sections 7.1, 7.2.
    Exercises: all exercises Chapter 7.
    HC 10 Mon 14-10 Dynamics of argumentation / Argumentation as dialogue (1).
    Reader: Sections 8.1, 8.3-8.5, Definition 8.2.5 plus explaining paragraph, 9.1-9.3.
    Exercises: exercise 8.6.6-8.6.8.
    HC 11 Wed 16-10 Argumentation as dialogue (2).
    Reader Section 9.4.
    Exercises: all exercises Chapter 9.
    HC 12Mon 21-10Legal argumentation (1).
    Reader 10.1, 10.2.1-10.2.3.
    Exercises: exercise 10.3.1-10.3.5.
    HC 13Wed 23-10Legal argumentation (2) / Ethical reasoning.
    Reader: Reader sections 10.2.4-10.2.6, Sections 1-2 of Bench-Capon (2020).
    Exercises: exercise 10.3.6-10.3.8.
    HC 14Mon 28-10Gradual semantics, applications, Msc Projects, question time.
    Readings: Reader Section 7.3.
    Wed 30-10Reserved in case of eventualities.
    Tue 05-11Final exam (17:00-19:30).
    Fri 08-11Deadline homework assignment (16:00).