[edit]
Characterizing the set of coherent lower previsions with a finite number of constraints or vertices
Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence, PMLR R8:465-472, 2010.
Abstract
The standard coherence criterion for lower pre- visions is expressed using an infinite number of linear constraints. For lower previsions that are es- sentially defined on some finite set of gambles on a finite possibility space, we present a reformula- tion of this criterion that only uses a finite number of constraints. Any such lower prevision is coher- ent if it lies within the convex polytope defined by these constraints. The vertices of this polytope are the extreme coherent lower previsions for the given set of gambles. Our reformulation makes it possible to compute them. We show how this is done and illustrate the procedure and its results.