Sciweavers

KES
2005
Springer

Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering

14 years 6 months ago
Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering
We present a simple, yet general top-down query answering procedure for logic programs managing uncertainty. The main features are: (i) the certainty values are taken from a certainty lattice; (ii) computable functions may appear in the rule bodies to manipulate certainties; and (iii) we solve the problem by a reduction to an equational systems, for which we device a top-down procedure.
Umberto Straccia
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where KES
Authors Umberto Straccia
Comments (0)