KLM-Style Defeasible Reasoning

Talk by Tommie Meyer

Location: APB room 3027
Start: 21. July 2022 at 11:00 am
End: 21. July 2022 at 12:00 pm
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