DeepAI AI Chat
Log In Sign Up

Ultimate approximations in nonmonotonic knowledge representation systems

by   Marc Denecker, et al.

We study fixpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We show that each lattice operator O has a unique most precise or ultimate approximation. We demonstrate that fixpoints of this ultimate approximation provide useful insights into fixpoints of the operator O. We apply our theory to logic programming and introduce the ultimate Kripke-Kleene, well-founded and stable semantics. We show that the ultimate Kripke-Kleene and well-founded semantics are more precise then their standard counterparts We argue that ultimate semantics for logic programming have attractive epistemological properties and that, while in general they are computationally more complex than the standard semantics, for many classes of theories, their complexity is no worse.


page 1

page 2

page 3

page 4


Interdefinability of defeasible logic and logic programming under the well-founded semantics

We provide a method of translating theories of Nute's defeasible logic i...

Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers

We present alternative definitions of the first-order stable model seman...

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)

The semantics of determiner phrases, be they definite de- scriptions, in...

Uniform semantic treatment of default and autoepistemic logics

We revisit the issue of connections between two leading formalisms in no...

Fixpoint 3-valued semantics for autoepistemic logic

The paper presents a constructive fixpoint semantics for autoepistemic l...

Fixpoint Semantics for Recursive SHACL

SHACL is a W3C-proposed language for expressing structural constraints o...

Lattice-Based Graded Logic: a Multimodal Approach

Experts do not always feel very, comfortable when they have to give prec...