We introduce measures of uncertainty that are based on Depth-Bounded Logics [4] and resemble belief functions. We show that our measures can be seen as approximation of classical probability measures over classical logic, and that a variant of the PSAT [10] problem for them is solvable in polynomial time.
Depth-Bounded Approximations of Probability
Baldi P.
;
2020-01-01
Abstract
We introduce measures of uncertainty that are based on Depth-Bounded Logics [4] and resemble belief functions. We show that our measures can be seen as approximation of classical probability measures over classical logic, and that a variant of the PSAT [10] problem for them is solvable in polynomial time.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
9. Depth-Bounded Approximations of Probability.pdf
solo utenti autorizzati
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
339.88 kB
Formato
Adobe PDF
|
339.88 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.
