5 papers · 1 filter
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…
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Nicholas Leisegang, Thomas Meyer, Ivan Varzniczak
Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al. applied to modal logics. However, work in this field has…
Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Nicholas Leisegang, Giovanni Casini, Thomas Meyer
Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge…
Rational Inference in Formal Concept Analysis
Lucas Carr, Nicholas Leisegang, Thomas Meyer +1
Defeasible conditionals are a form of non-monotonic inference which enable the expression of statements like "if then normally ". The KLM framework defines a semantics for…
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…