Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Top-Down Query Answering for Logic Programs over Bilattices. The document will be submitted to Conference: Int. Conf. on Logic programming and Automated Reasoning 2005, Technical report, 2004.
Bilattices are generalizations of classical logics allowing reasoning with partial, incomplete, uncertain and/or inconsistent information and have interesting mathematical properties for both practical as well as theoretical investigations. In this paper we present a very simple, yet general, top-down query answering procedure under the Kripke-Kleene semantics as well as under the well-founded semantics for logic programs over bilattices.
Subject Logic programs, uncertainty, bilattices, top-down query answering
I.2.3 Artificial Intelligence: Deduction and Theorem Proving: [Logicprogramming]

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