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 6 of 6 for “"Non-monotonic reasoning"”.
-
Generalized metrics and topology in logic programming semantics
… The use of negation in logic programming and non-monotonic reasoning, however, renders some semantic operators to be non-monotonic, hence discontinuous with respect to the Scott topology, and therefore invalidates the standard approach, so that alternative methods have to be sought. In this …
-
KLM-Style Defeasible Reasoning for Datalog
… has enjoyed great success as a model of valid reasoning and discourse. For real-world reasoning tasks, however, an agent typically only has partial knowledge of its domain, and at most a statistical understanding of relationships between properties. In this context, classical inference is …
-
Defeasible justification for the KLM Framework
Knowledge Representation (KR) and Reasoning are essential aspects of Artificial Intelligence (AI) as they allow AI systems to conduct logical reasoning. Most classical logics, such as Propositional Logic (PL), are monotonic, which means that adding new knowledge to a knowledge base cannot cause the …
-
Justifications for KLM-style defeasible reasoning
… a field known as knowledge representation and reasoning, wherein research is conducted into how best to represent knowledge and reason about said knowledge in order to create more knowledge. Many systems which use formal logic were initially highly constrained as the algorithms which they …
-
A Lightweight Defeasible Description Logic in Depth
… model some of the most intuitive forms of reasoning. The capability for abductive reasoning is imperative for any field subjected to incomplete knowledge and the motivation to complete it with typical expectations. When such default expectations receive contradicting evidence, an abductive …
-
Refining the semantics for epistemic logic programs
The primary goal of this dissertation is to present a new semantics for the language of Epistemic Specifications that accurately defines those models of associated programs that are to be considered as world views from the standpoint of a rational agent. Epistemic Specifications is a declarative …