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

2022S, VU, 2.0h, 3.0EC

Properties

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

Learning outcomes

After successful completion of the course, students are able to...

+++FURTHER INFORMATION TO BE ANNOUNCED+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
+++++++++++++++++++++++++++++++++++++++

Subject of course

The lecturer of this course will be Thomas Meyer / University of Cape Town.


Course description

Non-monotonic reasoning is an area of research in which various forms of defeasible inference are investigated. This course focuses on an elegant, comprehensive and well-studied framework for non-monotonic reasoning first proposed by Kraus, Lehmann and Magidor in the early 1990s, and often referred to as the KLM approach to defeasible reasoning. The framework is worth studying for two reasons. Firstly, it provides for a thorough analy- sis of some formal properties that any consequence relation deemed as appropriate in a non-monotonic setting ought to satisfy.  Such formal properties, which resemble those of a Gentzen-style proof system,  play a central role in assessing how intuitive the obtained results are. Secondly, it allows for defeasible reasoning to be reduced to a serious of classical reasoning checks, sometimes without blowing up the computational complexity compared to the underlying classical case.

Tentative topics: i) A brief overview of the most important approaches to non-monotonic reasoning. ii) Defining propositional defeasible reasoning. iii) Propositional algorithms for defeasible reasoning. iv) A brief introduction to description logics. v) Lifting defeasible reasoning to description logics. vi) Algorithms and implementations of defeasible reasoning for description logics.

Teaching methods

Information to be announced as soon as possible.

Mode of examination

Immanent

Additional information

This is a guest professor course of the TU Wien Informatics Doctoral School.

The course is open to all PhD students and interested Master students.


 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue10:00 - 12:0017.05.2022 - 14.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Thu13:00 - 15:0019.05.2022Seminarraum 126 Defeasible Reasoning
Wed10:00 - 12:0025.05.2022Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Thu10:00 - 12:0002.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Wed10:00 - 12:0008.06.2022Seminarraum FAV EG B (Seminarraum von Neumann) Defeasible Reasoning
Thu10:00 - 12:0009.06.2022Seminarraum FAV EG B (Seminarraum von Neumann) Defeasible Reasoning
Wed10:00 - 12:0015.06.2022Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Defeasible Reasoning - Single appointments
DayDateTimeLocationDescription
Tue17.05.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Thu19.05.202213:00 - 15:00Seminarraum 126 Defeasible Reasoning
Tue24.05.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Wed25.05.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Tue31.05.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Thu02.06.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Wed08.06.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Defeasible Reasoning
Thu09.06.202210:00 - 12:00Seminarraum FAV EG B (Seminarraum von Neumann) Defeasible Reasoning
Tue14.06.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning
Wed15.06.202210:00 - 12:00Seminarraum FAV EG C (Seminarraum Gödel) Defeasible Reasoning

Examination modalities

Information to be announced as soon as possible.

Course registration

Begin End Deregistration end
16.02.2022 00:00 06.05.2022 23:59

Registration modalities

Please register in TISS.

Curricula

Literature

Recommended literature: A series of papers, ranging from the original 1990 KLM paper to recent work published in 2020, will be provided.

Previous knowledge

Required background: Basic familiarity with propositional logic is required. Familiarity with description logics is recommended, but is not required.

Miscellaneous

  • Attendance Required!

Language

English