5 research outputs found
A Recursive Algorithm for Computing Inferences in Imprecise Markov Chains
We present an algorithm that can efficiently compute a broad class of
inferences for discrete-time imprecise Markov chains, a generalised type of
Markov chains that allows one to take into account partially specified
probabilities and other types of model uncertainty. The class of inferences
that we consider contains, as special cases, tight lower and upper bounds on
expected hitting times, on hitting probabilities and on expectations of
functions that are a sum or product of simpler ones. Our algorithm exploits the
specific structure that is inherent in all these inferences: they admit a
general recursive decomposition. This allows us to achieve a computational
complexity that scales linearly in the number of time points on which the
inference depends, instead of the exponential scaling that is typical for a
naive approach
A theory of desirable things
Inspired by the theory of desirable gambles that is used to model uncertainty
in the field of imprecise probabilities, I present a theory of desirable
things. Its aim is to model a subject's beliefs about which things are
desirable. What the things are is not important, nor is what it means for them
to be desirable. It can be applied to gambles, calling them desirable if a
subject accepts them, but it can just as well be applied to pizzas, calling
them desirable if my friend Arthur likes to eat them. Other useful examples of
things one might apply this theory to are propositions, horse lotteries, or
preferences between any of the above. Regardless of the particular things that
are considered, inference rules are imposed by means of an abstract closure
operator, and models that adhere to these rules are called coherent. I consider
two types of models, each of which can capture a subject's beliefs about which
things are desirable: sets of desirable things and sets of desirable sets of
things. A crucial result is that the latter type can be represented by a set of
the former