Generated envelopes
Denote by \textbf{B} a Boolean algebra and by \(P\) the set of finitely additive probabilities in \textbf{B}. We call an initial valuation any map \(v\) from \textbf{B} in \([0,1]\); the meaning of \(v\) is that the available information about a random phenomenon is of type ``the actual probability of the event \(e\) is at least \(v(e)\). Following \textit{A. Papamarcou} and \textit{T. L. Fine} [Ann. Probab. 14, 710-723 (1986; Zbl 0595.60003)], we call \(v\) dominated if a probability exists greater than or equal to \(v\). If this is the case, we consider the valuation \(\overline{v}\) defined by \[ \overline{v}(e)=\text{Inf}\{p(e) |\;p\in P,\;p\geq v\}, \qquad e\in\mathbf{B}. \] This new valuation, we call lower envelope generated by \(v\), is an improvement of the initial valuation, but the formula defining \(\overline{v}\) is not constructive since it refers to the whole class of probabilities greater than \(v\). We furnish a formula to obtain \(\overline{v}\) from below, that is from the values taken by \(v\). The same question was examined by \textit{K. Weichselberger} and \textit{S. Pöhlmann} [A methodology for uncertainty in knowledge-based systems (1990; Zbl 0705.68097)] in particular cases. Also a necessary and sufficient condition for \(v\) to be dominated is established and a characterization of the lower envelopes is obtained.
- Envelopes of a simplex of discrete probabilities
- The differential of probabilistic entailment
- A note on undominated lower probabilities
- Conditional belief functions as lower envelopes of conditional probabilities in a finite setting
- Envelopes of conditional probabilities extending a strategy and a prior probability
- Inferences in probability logic
- Fuzzy refutations for probability and multivalued logics
- Probability-like functionals and fuzzy logic
- Comparing fuzzy and crisp deduction systems
- Pairings and related symmetry notions
- Dependency relations
- Simplicial complexes and closure systems induced by indistinguishability relations
- Graded consequence relations and fuzzy closure operator
- Local dissymmetry on graphs and related algebraic structures
- Decision systems in rough set theory: a set operatorial perspective
This page was built for publication: Generated envelopes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367733)
