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

@inproceedings{Straccia2005UncertaintyMI,
  title={Uncertainty Management in Logic Programming: Simple and Effective Top-Down Query Answering},
  author={Umberto Straccia},
  booktitle={KES},
  year={2005}
}
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. 

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
11 Extracted Citations
13 Extracted References
Similar Papers

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 13 references

A useful four-valued logic

  • N. D. Belnap
  • Modern uses of multiple-valued
  • 1977
Highly Influential
3 Excerpts

Top-down query answering for logic programs over bilattices

  • U. Straccia
  • Technical Report 2004-TR-62, Istituto di Scienza…
  • 2004
2 Excerpts

Similar Papers

Loading similar papers…