Istituto di Scienza e Tecnologie dell'Informazione     
Loyer Y., Straccia U. Uncertainty and partial non-uniform assumptions in parametric deductive databases. In: 8th European Conference on Logics in Artificial Intelligence (Cosenza, September 2002). Proceedings, pp. 271 - 282. (Lecture Notes in Computer Science, vol. 2424). Springer Verlag, 2002.
Different many-valued logic programming frameworks have been proposed to manage uncertain information in deductive databases and logic programming. A feature of these frameworks is that they rely on a predefined assumption or hypothesis, i.e. an interpretation that assigns the same default truth value to all the atoms of a program, e.g. in the open world assumption, by default all atoms have unknown truth value. In this paper we extend these frameworks along three directions: ii{i} we will introduce non-monotonic modes of negation; ii{ii} the default truth values of atoms need notnecessarily to be all equal each other; and ii{iii} a hypothesis can be a partial interpretation. We will show that our approach extends the usual ones: if we restrict our attention to classical logic programs and consider total uniform hypotheses, then our semantics reduces to the usual semantics of logic programs. In particular, under the everything false assumption, our semantics captures and extends the well-founded semantics to these frameworks.
Subject Logic programming
I.2.4 Knowledge Representation Formalisms and Methods. Representations

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional