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. The document has been submitted to Journal: Annals of Mathematics and Artificial Intelligence, Technical report, 2005.
 
 
Abstract
(English)
The management of imprecise information in logic programs becomes to be important whenever the real world information to be represented is of imperfect nature and the classical crisp true, false approximation is not adequate. In this work, we consider generalized normal logic programs over complete lattices, where computable truth combination functions may appear in the rule bodies to manipulate truth values. It is an unifying umbrella for existing approaches for many-valued normal logic programs. We will provide declarative and fixed-point semantics of the logic and provide a simple and effective top-down query answering procedure by a transformation to an equational system over lattices.
Subject Logic programming
nonmonotonic logic
many-valued logic
top-down
I.2.3.Artificial Intelligence.Deduction and Theorem Proving.Logic


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