Choquet integral
A Choquet integral is a subadditive or superadditive integral created by the French mathematician Gustave Choquet in 1953. It was initially used in statistical mechanics and potential theory, but found its way into decision theory in the 1980s, where it is used as a way of measuring the expected utility of an uncertain event. It is applied specifically to membership functions and capacities. In imprecise probability theory, the Choquet integral is also used to calculate the lower expectation induced by a 2-monotone lower probability, or the upper expectation induced by a 2-alternating upper probability.
Using the Choquet integral to denote the expected utility of belief functions measured with capacities is a way to reconcile the Ellsberg paradox and the Allais paradox.
Multiobjective optimization problems seek Pareto optimal solutions, but the Pareto set of such solutions can be extremely large, especially with multiple objectives. To manage this, optimization often focuses on a specific function, such as a weighted sum, which typically results in solutions forming a convex envelope of the feasible set. However, to capture non-convex solutions, alternative aggregation operators like the Choquet integral can be used.
Definition
The following notation is used:- – a set.
- – a collection of subsets of.
- – a function.
- – a monotone set function.
Then the Choquet integral of with respect to is defined by:
where the integrals on the right-hand side are the usual Riemann integral.
Properties
In general the Choquet integral does not satisfy additivity. More specifically, if is not a probability measure, it may hold thatfor some functions and.
The Choquet integral does satisfy the following properties.
Monotonicity
If thenPositive homogeneity
For all it holds thatComonotone additivity
If are comonotone functions, that is, if for all it holds thatthen
Subadditivity
If is 2-alternating, thenSuperadditivity
If is 2-monotone, thenAlternative representation
Let denote a cumulative distribution function such that is integrable. Then this following formula is often referred to as Choquet Integral:where.
- choose to get,
- choose to get