PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Loyer Y., Straccia U. Approximate well-founded semantics, query answering and generalized normal logic programs over lattices. In: Annals of Mathematics and Artificial Intelligence, vol. 55 (3-4) pp. 389 - 417. Springer Verlag, 2009.
 
 
Abstract
(English)
The management of imprecise information in logic programs becomes important whenever the real world information to be represented is of an imperfect nature and the classical crisp "true, false" approximation is not adequate. In this work, we consider normal logic programs over complete lattices, where computable truth combination functions may appear in the rule bodies to manipulate truth values and we will provide a top-down query answering procedure.
URL: http://springerlink.metapress.com/content/h085406842l0/?p=3d71f80b681544c0b27c3eecb075e7ef&pi=1
DOI: 10.1007/s10472-008-9099-0
Subject Logic Programming
Uncertainty
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