KLM-Style Defeasible Reasoning

From International Center for Computational Logic

KLM-Style Defeasible Reasoning

Talk by Tommie Meyer
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