184.188 Nonmonotonic Reasoning
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2024S, VU, 2.0h, 3.0EC, to be held in blocked form


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

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.

Nonomonotonic logics have been proposed at the beginning of the Eighties of the 20. century and are an important formal underpinning for knowledge-based systems. Furthermore, there is  a close relationship to certain semantics of logic programming with negation-as-failure.

Teaching methods

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

Mode of examination


Additional information


  • Start of lecture: April 17

ECTS breakdown: 3 ECTS = 75 Hours

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



Course dates

Wed16:00 - 19:0010.04.2024 - 19.06.2024EI 11 Geodäsie HS - GEO Lecture
Nonmonotonic Reasoning - Single appointments
Wed10.04.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed17.04.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed24.04.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed08.05.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed15.05.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed22.05.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed29.05.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed05.06.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed12.06.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Wed19.06.202416:00 - 19:00EI 11 Geodäsie HS - GEO Lecture
Course is held blocked

Examination modalities

Oral exam and assessment of exercise part.

Course registration

Begin End Deregistration end
16.02.2024 01:00 30.05.2024 23:59 30.05.2024 23:59



Slides are available for download.

Preceding courses

Accompanying courses

Continuative courses