Representing upper probability Measures over rational Lukasiewicz logic
Document typeArticle
Date issued2008
PublisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Rights accessOpen Access
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.
CitationMarchioni, Enrico. Representing upper probability Measures over rational Lukasiewicz logic. "Mathware & Soft Computing", vol. 15, núm. 2, p. 159-173.
ISSN1134-5632
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
27-74-1-PB.pdf | 237,6Kb | View/ |
Except where otherwise noted, content on this work is licensed under a Creative Commons license:
Attribution-NonCommercial-NoDerivs 3.0 Spain