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.
Top-Down Query Answering for Logic Programs over Bilattices
Straccia U
2004
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160757-doc_125765.pdf
accesso aperto
Descrizione: Top-Down Query Answering for Logic Programs over Bilattices
Dimensione
193.28 kB
Formato
Adobe PDF
|
193.28 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
