KLM-Style Defeasible Reasoning
Aus International Center for Computational Logic
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