It is generally accepted that knowledge based systems would be smarter if they can manage uncertainty. In this paper we extend Description Logics, well-known logics for managing structured knowledge, towards the management of uncertainty. We allow (i) to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice; and (ii) combine the logic with annotated logic programming, in which the management of uncertainty is based on so-called annotation terms.
Uncertainty and description logic programs over lattices
Straccia U
2006
Abstract
It is generally accepted that knowledge based systems would be smarter if they can manage uncertainty. In this paper we extend Description Logics, well-known logics for managing structured knowledge, towards the management of uncertainty. We allow (i) to express that a sentence is not just true or false, but certain to some degree, which is taken from a certainty lattice; and (ii) combine the logic with annotated logic programming, in which the management of uncertainty is based on so-called annotation terms.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_138975-doc_54201.pdf
solo utenti autorizzati
Descrizione: sanchez07
Tipologia:
Versione Editoriale (PDF)
Dimensione
330.77 kB
Formato
Adobe PDF
|
330.77 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.