Istituto di Scienza e Tecnologie dell'Informazione     
Loyer Y., Straccia U. Non-uniform hypotesis in deductive databases with uncertainty. Technical report, 2002.
Different many-valued logic programming frameworks has been proposed to manage uncertain information in deductive databases and logic programming. A feature of these frameworks is that they rely on a prede ned 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 by introducing non-uniform hypotheses: (i) we will deal with the non-monotonic mode of negation; (ii) the default truth values of atoms need not necessarily to be all equal each other; and (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.
Subject F.4.1 Mathematical Logic: Model Theory
I.2.3 Deduction and Theorem Proving: Deduction
I.2.4 Knowledge Representation Formalisms and Methods: Representation

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