|Website:||website containing additional information|
|History:||This course was formerly known as Commonsense reasoning and argumentation (INFOCR). You can only do one of these courses.|
|Period:||period 1 (week 36 through 45, i.e., 3-9-2020 through 6-11-2020; retake week 1)|
|Participants:||up till now 16 subscriptions|
|Schedule:||Official schedule representation can be found in MyTimetable|
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 orginally developed in the field of nonmonotonic logic, which formalises 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:
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 dialogeus systems will be discussed.
Upon successful completion of this course, the student:
|Literature:||A reader (freely available online), online articles and educational software tools|
|Course form:||Interactive lectures (14x2 hours) plus self-study with exercises.|
|Exam form:||Written midterm and final exam (40% each) and a homework assignment to be done in pairs (20%).|
|Minimum effort to qualify for 2nd chance exam:|