Switch to English
Computational argumentation
Cursus informatieRooster
Studiepunten (ECTS)7,5
Categorie / NiveauM (M (Master))
CursustypeCursorisch onderwijs
Aangeboden doorFaculteit Betawetenschappen; Graduate School of Natural Sciences; Graduate School of Natural Sciences;
Contactpersoonprof. dr. mr. H. Prakken
Telefoon+31 30 2532313
prof. dr. mr. H. Prakken
Feedback en bereikbaarheid
Overige cursussen docent
Contactpersoon van de cursus
prof. dr. mr. H. Prakken
Overige cursussen docent
1-GS  (05-09-2022 t/m 11-11-2022)
TimeslotA: A (MA-ochtend, DI-namiddag, WO-ochtend)
Cursusinschrijving geopendvanaf 30-05-2022 t/m 24-06-2022
AanmeldingsprocedureOsiris Student
Inschrijven via OSIRISJa
Inschrijven voor bijvakkersJa
Na-inschrijving geopendvanaf 22-08-2022 t/m 19-09-2022
Plaatsingsprocedureadministratie onderwijsinstituut
Upon successful completion of this course, the student:
  1.     knows the essence of formal models for argumentation as reasoning and as dialogue;
  2.     is able to apply these formalisms to formal examples;
  3.     has insight into the metatheoretic properties of the studied formalisms and can verify simple metatheoretic properties;
  4.     is aware of the main formal relations between different models of argumentation, and can formally verify simple relations;
  5.     is able to evaluate the suitability of the studied formalisms for modeling realistic forms of argumentation;
  6.     is able to model realistic reasoning problems in an implemented argumentation reasoner. 
This course is the replacement of INFOCR Commonsense reasoning and argumentation. Only one of the two courses can be part of your graduation program.

Written midterm (30%) and final (50%) exam and a homework assignment to be done in pairs (20%).

To pass the course, both the average grade of the two exams and the grade for the homework assignment must be at least a 4.0.

The repair test requires that:
- the original final grade is at least a 4 or an AANV, and
- the student has handed in a version of the homework exercise that at least satisfies the minimum requirements for this assignment.


This course gives an introduction to the computational study of argumentation in AI, a currently popular subfield of symbolic AI.
The course especially focuses on formal models of argumentation and their application in areas like commonsense reasoning, legal reasoning and multi-agent interaction.

The computational study of argumentation concerns two aspects: reasoning and dialogue. Argumentation as a form of reasoning makes explicit the reasons for the conclusions that are drawn and how conflicts between reasons are resolved.
Systems for argumentation-based inference were originally developed in the field of nonmonotonic logic, which formalizes qualitative reasoning with incomplete, uncertain or inconsistent information.
Argument-based systems have been very successful as nonmonotonic logics, since they are based on very natural concepts, such as argument, counterargument, rebuttal and defeat. In this course the following formalism will be discussed:

  •     Default logic (a still influential early nonmonotonic logic)
  •     The theory of abstract argumentation frameworks (the generally accepted formal foundation of the field)
  •     The theory of structured argumentation frameworks, with a special focus on the ASPIC+ approach.
  •     Formal accounts of change operations on argumentation frameworks
  •     Formal models of legal case-based reasoning 
Argumentation as a form of dialogue concerns the rational resolution of conflicts of opinion by verbal means. Intelligent agents may disagree, for instance, about the pros and cons of alternative proposals, or about the factual basis of such proposals.
Dialogue systems for argumentation formally define protocols for argumentation dialogues and thus enable a formal study of the dynamics of argumentative agent interaction, including issues of strategic choice.
In this course two examples of such dialogue systems will be discussed.

See also the course website

Course form
Interactive lectures, self-study with exercises.

A reader (freely available online), online articles and educational software tools.
Je moet voldoen aan de volgende eisen
  • Toelatingsbeschikking voor de master toegekend
Logica voor Informatica (INFOB1LI).
of een vak met vergelijkbare inhoud
Verplicht materiaal

Minimum cijfer-

Switch to English