Three-valued semantics for hybrid MKNF knowledge bases revisited

ISSN: 10450823
0Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.

Abstract

Knorr et al. (2011) formulated a three-valued formalism for the logic of Minimal Knowledge and Negation as Failure (MKNF) and proposed a well-founded semantics for hybrid MKNF knowledge bases (KBs). The main results state that if a hybrid MKNF KB has a three-valued MKNF model, its well-founded MKNF model exists, which is unique and can be computed by an alternating fixpoint construction. In this paper, we show that these claims are erroneous. We propose a classification of hybrid MKNF KBs into a hierarchy and show that its innermost subclass is what works for the well-founded semantics of Knorr et al. Furthermore, we provide a uniform characterization of well-founded, two-valued, and all three-valued MKNF models, in terms of stable partitions and the alternating fixpoint construction, which leads to updated complexity results as well as proof-theoretic tools for reasoning under these semantics.

Cite

CITATION STYLE

APA

Liu, F., & Your, J. H. (2018). Three-valued semantics for hybrid MKNF knowledge bases revisited. In IJCAI International Joint Conference on Artificial Intelligence (Vol. 2018-July, pp. 5627–5631). International Joint Conferences on Artificial Intelligence.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free