Conditional expected, extensive utility

Abstract

Luce and Krantz (1971) presented an axiom system for conditional expected utility. In this theory a conditional decision is a function whose domain is a non-null subevent and whose range is a subset of a set of consequences. Given a family of conditional decisions that is closed under unions of decisions whose domains are disjoint and under restrictions to non-null subevents, the second major primitive is an ordering of the family. Axioms were given that are adequate to construct a numerical utility function over decisions and a probability function over events for which the conditional expectation of the utility is order preserving. Several of the axioms are quite complex and seem a bit artificial, and the proof is very long. Here the structure is modified by adding to the set of outcomes a concatenation operation, and the representation theorem is modified by requiring that the utility function be additive over this binary operation as well as exhibiting the expected utility property. The advantages of this pair of changes are, first, it exploits the obvious fact that the union of consequences is itself a consequence; second, it reduces the mathematical burden carried by the set theoretic structure of conditional decisions and, as a result, the axioms can be made much easier to understand; and third, it permits a considerably shorter proof because one can draw more readily on known results. The major drawback of this approach is, of course, that it is inconsistent with the evidence that utility is not additive over consequences - at least, not over increasing amounts of a single good (diminishing marginal utility).