We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively.
Query answering in normal logic programs under uncertainty
Straccia U
2005
Abstract
We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_43831-doc_126158.pdf
solo utenti autorizzati
Descrizione: Query Answering in Normal Logic Programs under Uncertainty
Tipologia:
Versione Editoriale (PDF)
Dimensione
172.11 kB
Formato
Adobe PDF
|
172.11 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.