KLM-Style Defeasible Reasoning

Vortrag von Tommie Meyer

Veranstaltungsort: APB room 3027
Beginn: 21. Juli 2022 um 11:00
Ende: 21. Juli 2022 um 12:00
Event series: Research Seminar Logic and AI
iCal

This talk will give an overview of KLM-style defeasible reasoning, a form of non-monotonic reasoning initially introduced by Kraus, Lehmann, and Magidor. The overview will start with the propositional roots of defeasible reasoning and its links with the theory of Belief Revision. I will then discuss its application to description logics and other fragments of first-order logic, and the challenges inherent in lifting the intuition underlying propositional versions of defeasible reasoning to more expressive logics.

The talk will take place in a hybrid fashion, physically in our seminar room, and online through the link:

https://bbb.tu-dresden.de/b/ali-zgz-l8d-52n