This book has two main purposes. On the one hand, it provides aconcise and systematic development of the theory of lower previsions,
based on the concept of acceptability, in spirit of the work of
Williams and Walley. On the other hand, it also extends this theory to
deal with unbounded quantities, which abound in practical
applications.

Following Williams, we start out with sets of acceptable gambles. From
those, we derive rationality criteria---avoiding sure loss and
coherence---and inference methods---natural extension---for
(unconditional) lower previsions. We then proceed to study various
aspects of the resulting theory, including the concept of expectation
(linear previsions), limits, vacuous models, classical propositional
logic, lower oscillations, and monotone convergence. We discuss
n-monotonicity for lower previsions, and relate lower previsions with
Choquet integration, belief functions, random sets, possibility
measures, various integrals, symmetry, and representation theorems
based on the Bishop-De Leeuw theorem.

Next, we extend the framework of sets of acceptable gambles to consider
also unbounded quantities. As before, we again derive rationality
criteria and inference methods for lower previsions, this time also
allowing for conditioning. We apply this theory to construct
extensions of lower previsions from bounded random quantities to a
larger set of random quantities, based on ideas borrowed from the
theory of Dunford integration.

A first step is to extend a lower prevision to random quantities that
are bounded on the complement of a null set (essentially bounded
random quantities). This extension is achieved by a natural extension
procedure that can be motivated by a rationality axiom stating that
adding null random quantities does not affect acceptability.

In a further step, we approximate unbounded random quantities by a
sequences of bounded ones, and, in essence, we identify those for
which the induced lower prevision limit does not depend on the details
of the approximation. We call those random quantities 'previsible'. We
study previsibility by cut sequences, and arrive at a simple
sufficient condition. For the 2-monotone case, we establish a Choquet
integral representation for the extension. For the general case, we
prove that the extension can always be written as an envelope of
Dunford integrals. We end with some examples of the theory.