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.
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.
