Istituto di Scienza e Tecnologie dell'Informazione     
Loyer Y., Straccia U. Well-founded Semantics for Parametric Deductive Databases. Technical report, 2002.
Many frameworks of logic programming have been proposed to manage uncertain information in deductive databases and expert systems. Roughly, on the basis of how uncertainty is associated to facts and the rules in a program, they can be classified into implication-based (IB) and annotation-based (AB). One fundamental issue that remains unaddressed in the IB approach is the representation and the manipulation of the non-monotonic mode of negation, an important feature for real applications. Our focus in this paper is to introduce non-monotonic negation in the parametric IB framework, an unifying umbrella for IB frameworks. The semantical approach that we will adopt is based on the well-founded semantics, one of the most widely studied and used semantics of (classical) logic programs with negation.
Subject I.2.4 Artificial Intelligence:Knowledge Representation Formalisms andMethods . 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