Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. A Simple Top-Down Query Answering Procedure for Many-Valued Logic Programming. Technical report, 2006.
We present a simple, yet general top-down query answering procedure for many-valued logic programming, which allow to deal with imprecision and some forms of uncertainty. The main features of the logic are: ii{i} the truth values are taken from a complete lattice; ii{ii} computable functions may appear in the rule bodies to manipulate truth values. To answer queries, we provide a novel and simple tabling-like top-down procedure.
Subject Deductive databases
Logic programming
Many-valued logic
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