Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/92546
Títol: | Representing upper probability measures over rational Lukasiewicz logic |
Autoria: | Marchioni, Enrico |
Citació: | Marchioni, E. (2008). Representing upper probability measures over rational Lukasiewicz logic. Mathware & Soft Computing, 15(2), 159-173. |
Resum: | 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 v in order to reason about upper probabilities of classical boolean events y so that v(y) can be read as 'the upper probability of y'. 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. |
Paraules clau: | informàtica teórica lògica racional probabilitat |
Tipus de document: | info:eu-repo/semantics/article |
Versió del document: | info:eu-repo/semantics/publishedVersion |
Data de publicació: | 2008 |
Llicència de publicació: | https://creativecommons.org/licenses/by/4.0/ |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
marchioni.pdf | 237,67 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons