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.
CITATION STYLE
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.
Mendeley helps you to discover research relevant for your work.