Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"KLM-style"”.
-
Justifications for KLM-style defeasible reasoning
… formalisms for this type of reasoning, with the KLM (Kraus, Lehmann and Magidor) being one of the more popular. KLM has a number of desirable properties, which is why it is the formalism of choice. Regardless of the logic being used, reasoning systems also need to be able to "explain" how they …
-
KLM-Style Defeasible Reasoning for Datalog
… deal with these tasks. A notable example is the Klm framework, which describes an agent's defeasible knowledge qualitatively in terms of conditionals of the form “if A, then typically B”. The goal of this research project is to investigate Klm-style semantics for defeasible reasoning over Datalog …
-
An overview of KLM-style defeasible entailment
… the one defined by Kraus, Lehmann, and Magidor (KLM). The KLM framework has very desirable features both for theoretical study of nonmonotonic reasoning, as well as for implementation in AI applications. However, the current state of the KLM framework spans numerous papers over two decades of …
-
Enriching deontic logic with typicality
… of typicality which is based on defeasibility. KLM-style defeasible reasoning introduced by Kraus, Lehmann and Magidor (KLM), is a logic system that employs defeasibility while a logic that serves the same role for the stronger notion of typicality is Propositional Typicality Logic (PTL). …
-
Defeasible justification for the KLM Framework
… implication”. The Kraus, Lehmann, and Magidor (KLM) Framework is an extension of PL that can perform defeasible reasoning. The results of defeasible reasoning using the KLM Framework are often challenging to understand. Therefore, one needs a framework to justify conclusions drawn from …