# 184.188 Nonmonotonic Reasoning This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_20",{id:"j_id_20",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_22",{id:"j_id_22",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2021W 2019S 2018W 2018S 2017W 2017S 2012W 2011W 2010W 2009W 2008W 2007W 2006W 2005W 2004W 2003W 2002W

2021W, VU, 2.0h, 3.0EC, to be held in blocked form

## Properties

• Semester hours: 2.0
• Credits: 3.0
• Type: VU Lecture and Exercise
• Format: Distance Learning

## Learning outcomes

After successful completion of the course, students are able to name and explain different nonmontonic logics, as well as to correctly argue theoretical relations of the considered formalisms. In particular, after successfully complete of the course, students are able to

• analyse employed techniques and methods,
• select relevant techniques and methods for a given problem, and
• critically assess relevant solutions and formalisms.

## Subject of course

Nonmonotonic reasoning deals with the analysis and formalisation of rational conclusions. Such conclusions are characterised by the feature that they are defeasible, i.e., that they can be invalidated by new information. This is in contrast to classical logic where the conclusion of a set of premisses remains derivable even if the premisses are arbitrarily enlarged (and reasoning may reduce to triviality because of the well-known classical principle of ex falso sequitur quodlibet, which allows the derivation of any conclusion from inconsistent premisses). Rational conclusions, however, try to retain consistency.

In this course, we discuss several nonmonotonic formalisms, their basic properties and proof-theoretical axiomatisations.

## Teaching methods

Frontal lecture and exercises comprising presentations of students for a chosen topic.

Immanent

## Additional information

Attention:

• This semester, the lecture will be given as a distance course with live sessions using the BigBlueButton system.
• Access link to the lecture: here.
• Slides will be made available in pdf format in TISS.
• First lecture: October 28, 16:00.

ECTS breakdown: 3 ECTS = 75 Hours

• Lecture 15h
• Lecture introduction 0.5h
• Solving the exercises 10h
• Preparing the presentation 20h
• Presentation of exercises solutions and talks 9h
• Preparation for exam 20h
• Oral exam 0.5h

## Course dates

DayTimeDateLocationDescription
Thu16:00 - 18:0028.10.2021 - 27.01.2022 Online with BigBlueButton (link see description) (LIVE)Lecture
Nonmonotonic Reasoning - Single appointments
DayDateTimeLocationDescription
Thu28.10.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu04.11.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu11.11.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu18.11.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu25.11.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu02.12.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu09.12.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu16.12.202116:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu13.01.202216:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu20.01.202216:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Thu27.01.202216:00 - 18:00 Online with BigBlueButton (link see description)Lecture
Course is held blocked

## Examination modalities

Oral exam and assessment of exercise part.

## Course registration

Begin End Deregistration end
12.09.2021 23:55 01.11.2021 23:55 01.11.2021 23:55

TISS Ort: Web

## Literature

Slides are available for download.

English