Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Standpoint Logics with Defeasible Beliefs
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Álvarez and Rudolph. This is done with the goal of…
cs.AI2024
Towards Propositional KLM-Style Defeasible Standpoint Logics
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical s…