Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering. In: 9th International Conference on Knowledge-Based & Intelligent (Melbourne, 14-16 Sept 2005). Proceedings, vol. 3682 pp. 753 - 760. Rajiv Khosla and Robert J. Howlett and Lakhmi C. Jain (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: ii{i} the certainty values are taken from a certainty lattice; ii{ii} computable functions may appear in the rule bodies to manipulate certainties; and ii{iii} we solve the problem by a reduction to an equational systems, for which we device a top-down procedure.
Subject Logic programming
Query answering
I.2.3 Deduction and Theorem Proving. Logic programming

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