Representing upper probability Measures over rational Lukasiewicz logic
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2099/13198
Tipus de documentArticle
Data publicació2008
EditorUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
Upper probability measures are measures of uncertainty that generalize
probability measures in order to deal with non-measurable events. Following
an approach that goes back to previous works by H ajek, Esteva, and Godo,
we show how to expand Rational Lukasiewicz Logic by modal operators
in
order to reason about upper probabilities of classical Boolean events
'
so that
(
'
) can be read as \the upper probability of
'
". We build the logic
U
(R L)
for representing upper probabilities and show it to be complete w.r.t. a class
of Kripke structures equipped with an upper probability measure. Finally,
we prove that the set of
U
(R L)-satis able formulas is NP-complete.
CitacióMarchioni, Enrico. Representing upper probability Measures over rational Lukasiewicz logic. "Mathware & Soft Computing", vol. 15, núm. 2, p. 159-173.
ISSN1134-5632
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
27-74-1-PB.pdf | 237,6Kb | Visualitza/Obre |