Istituto di Scienza e Tecnologie dell'Informazione     
Loyer Y., Straccia U. The well-founded semantics in normal logic programs with uncertainty. In: Functional and Logic Programming. 6th International Symposium. FLOPS 2002 (Aizu, Japan, September 2002 2002). Proceedings, pp. 152 - 166. Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.). (Lecture Notes in Computer Science, vol. 2441). Springer, 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). However, 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 nonmonotonic negation in the parametric IB framework, a 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 Logic programs
I.2.4 Knowledge Representation Formalisms and Methods

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