Info-gap decision theory 4839173 215428201 2008-05-28T03:50:30Z 129.94.177.74 /* Some applications */ Burgman link added '''Info-gap decision theory''' is a non-probabilistic [[decision theory]] seeking to optimize robustness to failure, or opportuneness for windfall, under severe uncertainty. <ref name="ybh igdt 2001"> Yakov Ben-Haim, ''Information-Gap Theory: Decisions Under Severe Uncertainty,'' Academic Press, London, 2001. </ref> <ref name="ybh igdt 2006"> Yakov Ben-Haim, ''Info-Gap Theory: Decisions Under Severe Uncertainty,'' 2nd edition, Academic Press, London, 2006. </ref> It is common to make uncertain decisions.<ref>Here are some examples: In many fields, including [[engineering]], [[economics]], [[management]], [[conservation biology|biological conservation]], [[medicine]], [[homeland security]], and more, analysts use models and data to evaluate and formulate [[decision theory|decisions]]. An '''info-gap''' is the disparity between what ''is known'' and what ''needs to be known'' in order to make a reliable and responsible decision. Info-gaps are [[Knightian uncertainty|Knightian uncertainties]]: a lack of knowledge, an incompleteness of understanding. Info-gaps are non-probabilistic and cannot be insured against or modelled [[probability theory|probabilistically]]. A common info-gap, though not the only kind, is uncertainty in the value of a parameter or of a vector of parameters, such as the durability of a new material or the future rates or return on stocks. Another common info-gap is uncertainty in the shape of a [[probability distribution]]. Another info-gap is uncertainty in the functional form of a property of the system, such as [[friction]] force in engineering, or the [[Phillips curve]] in economics. Another info-gap is in the shape and size of a set of possible vectors or functions. For instance, one may have very little knowledge about the relevant set of cardiac waveforms at the onset of heart failure in a specific individual.</ref> What can be done to make good (or at least the best possible) decisions under conditions of uncertainty? Info-gap '''robustness''' analysis evaluates each feasible decision by asking: how much deviation from an estimate of a parameter value, function, or set, is permitted and yet "guarantee" acceptable performance? In everyday terms, the "robustness" of a decision is set by the size of deviation from an estimate that still leads to performance within requirements when using that decision. It is sometimes difficult to judge how much robustness is needed or sufficient. However, according to info-gap theory, the ranking of feasible decisions in terms of their degree of robustness is independent of such judgments. Info-gap theory also proposes an '''opportuneness''' function which evaluates the potential for windfall outcomes resulting from favorable uncertainty. In the framework of classical [[decision theory]], info-gap's robustness model is an instance of [[Abraham Wald|Wald]]'s [[minimax|Maximin]] model and its opportuneness model is an instance of the classical Minimin model. Both operate in the neighborhood of an estimate of the parameter of interest whose true value is subject to ''severe'' uncertainty and therefore is likely to be ''substantially wrong''. Moreover, the considerations brought to bear upon the decision process itself also originate in the locality of this unreliable estimate, and so may or may not be reflective of the entire range of decisions and uncertainties. == Background, working assumptions, and a look ahead == Decision under severe uncertainty is a formidable task and the development of methodologies capable of handling this task is even a more arduous undertaking. Indeed, over the past sixty years an enormous effort has gone into the development of such methodologies. Yet, for all the knowledge and expertise that have accrued in this area of decision theory, no fully satisfactory general methodology is available to date. Now, as portrayed in the info-gap literature, Info-Gap was designed expressly as a methodology for solving decision problems that are subject to severe uncertainty. And what is more, its aim is to seek solutions that are '''robust'''. Thus, to have a clear picture of info-gap's modus operandi and its role and place in decision theory and robust optimization, it is imperative to examine it within this context. In other words, it is necessary to establish info-gap's relation to classical decision theory and robust optimization. To this end, the following questions must be addressed: * What are the characteristics of decision problems that are subject to severe uncertainty? * What difficulties arise in the modelling and solution of such problems? * What type of robustness is sought? * How does info-gap theory address these issues? * In what way is info-gap decision theory similar to and/or different from other theories for decision under uncertainty? Two important points need to be elucidated in this regard at the outset: * Considering the '''severity''' of the uncertainty that info-gap was designed to tackle, it is essential to clarify the difficulties posed by severe uncertainty. * Since info-gap is a '''non-probabilistic''' method that seeks to '''maximize robustness''' to uncertainty, it is imperative to compare it to the single most important "non-probabilistic" model in classical decision theory, namely Wald's '''Maximin''' paradigm (Wald 1945, 1950). After all, this paradigm has dominated the scene in classical decision theory for well over sixty years now. So, first let us clarify the assumptions that are implied by '''severe''' uncertainty. === Working assumptions === Info-gap decision theory employs three simple constructs to capture the uncertainty associated with decision problems: # A parameter <math>\displaystyle u</math> whose true value is subject to severe uncertainty. # A region of uncertainty <math>\displaystyle \mathfrak{U}\ </math> where the true value of <math>\displaystyle u \ </math> lies. # An estimate <math>\ \displaystyle \tilde{u}\ </math> of the true value of <math>\displaystyle u \ </math>. It should be pointed out, though, that as such these constructs are generic, meaning that they can be employed to model situations where the uncertainty is not severe but mild, indeed very mild. So it is vital to be clear that to give apt expression to the '''severity''' of the uncertainty, in the Info-Gap framework these three constructs are given specific meaning. <blockquote style="background:beige;font-size:115%; padding:5px; border:1px dashed darkcyan"> [[Image:Assumption.png|right]] <center>''Working Assumptions''</center> # The region of uncertainty <math>\displaystyle \mathfrak{U}\ </math> is '''relatively large.'''<br> In fact, Ben-Haim (2006, p. 210) indicates that in the context of info-gap decision theory most of the commonly encountered regions of uncertainty are '''unbounded.''' # The estimate <math>\displaystyle \tilde{u}\ </math> is a '''poor''' approximation of the true value of <math>\displaystyle \ u\ </math>.<br> That is, the estimate is a '''poor''' indication of the true value of <math>\displaystyle \ u\ </math> (Ben-Haim, 2006, p. 280) and is likely to be '''substantially wrong''' (Ben-Haim, 2006, p. 281). In the picture <math>\displaystyle u^{\circ}\ </math> represents the true (unknown) value of <math>\ \displaystyle u\ </math>. The point to note here is that conditions of severe uncertainty entail that the estimate <math>\displaystyle \tilde{u}\ </math> can -- relatively speaking -- be very distant from the true value <math>\displaystyle u^{\circ}\ </math>. This is particularly pertinent for methodologies, like info-gap, that seek '''robustness''' to uncertainty. Indeed, assuming otherwise would -- methodologically speaking -- be tantamount to engaging in wishful thinking. </blockquote> In short, the situations that info-gap is designed to take on are demanding in the extreme. Hence, the challenge that one faces conceptually, methodologically and technically is considerable. It is essential therefore to examine whether info-gap robustness analysis succeeds in this task, and whether the tools that it deploys in this effort are different from those made available by Wald's (1945) Maximin paradigm especially for robust optimization. So let us take a quick look at this stalwart of classical decision theory and robust optimization. === Wald's Maximin paradigm === The basic idea behind this famous paradigm can be expressed in plain language as follows: <blockquote style="background:beige;font-size:115%; padding:5px; border:1px dashed darkcyan"> <center>''Maximin Rule''</center> The maximin rule tells us to rank alternatives by their worst possible outcomes: we are to adopt the alternative the worst outcome of which is superior to the worst outcome of the others.<div align="right">[[John Rawls|Rawls]] <ref name="rawls">Rawls, J. Theory of Justice, 1971, Belknap Press, Cambridge, MA.</ref>(1971, p. 152)</div> </blockquote> Thus, according to this paradigm, in the framework of decision-making under severe uncertainty, the robustness of an alternative is a measure of how well this alternative can cope with the '''worst uncertain outcome''' that it can generate. Needless to say, this attitude towards severe uncertainty often leads to the selection of highly '''conservative''' alternatives. This is precisely the reason that this paradigm is not always a satisfactory methodology for decision-making under severe uncertainty (Tintner 1952). As indicated in the overview, info-gap's robustness model is a Maximin model in disguise. More specifically, it is a simple instance of Wald's Maximin model where: # The region of uncertainty associated with an alternative decision is an immediate neighborhood of the estimate <math>\displaystyle \tilde{u}\ </math>. # The uncertain outcomes of an alternative are determined by a characteristic function of the performance requirement under consideration. Thus, aside from the '''conservatism''' issue, a far more serious issue must be addressed. This is the '''validity''' issue arising from the '''local''' nature of info-gap's robustness analysis. === Local vs global robustness === [[Image:Maximin_assumption.png|right]] The validity of the results generated by info-gap's robustness analysis are crucially contingent on the quality of the estimate <math>\displaystyle \tilde{u}\ </math>. Alas, according to info-gap's own working assumptions, this estimate is poor and likely to be substantially wrong (Ben-Haim, 2006, p. 280-281). The trouble with this feature of info-gap's robustness model is brought out more forcefully by the picture. The white circle represents the immediate neighborhood of the estimate <math>\ \displaystyle \tilde{u}\ </math> on which the Maximin analysis is conducted. Since the region of uncertainty is large and the quality of the estimate is poor, it is very likely that the true value of <math>\ \displaystyle u\ </math> is distant from the point at which the Maximin analysis is conducted. So given the severity of the uncertainty under consideration, how valid/useful can this type of Maximin analysis really be? The critical issue here is then to what extent can a '''local''' robustness analysis a la Maximin in the immediate neighborhood of a poor estimate aptly represent a large region of uncertainty. This is a serious issue that must be dealt with in this article. It should be pointed out that, in comparison, robust optimization methods invariably take a far more global view of robustness. So much so that '''scenario planning''' and '''scenario generation''' are central issues in this area. This reflects a strong commitment to an adequate representation of the entire region of uncertainty in the definition of robustness and in the robustness analysis itself. And finally there is another reason why the intimate relation to Maximin is crucial to this discussion. This has to do with the portrayal of info-gap's contribution to the state of the art in decision theory, and its role and place vis-a-vis other methodologies. === Role and place in decision theory === Info-gap is emphatic about its advancement of the state of the art in decision theory (color is used here for emphasis): <blockquote style="background:beige;font-size:115%; padding:5px; border:1px dashed darkcyan"> Info-gap decision theory is <font color="darkcyan">radically different from all current theories</font> of decision under uncertainty. The difference originates in the <font color="darkcyan">modelling of uncertainty</font> as an information gap <font color="darkcyan">rather than as a probability</font>. <div align="right"> Ben-Haim (2006, p.xii)</div> In this book we concentrate on the fairly <font color="darkcyan">new concept</font> of information-gap uncertainty, whose <font color="darkcyan">differences</font> from more classical approaches to uncertainty are <font color="darkcyan">real and deep</font>. Despite the power of classical decision theories, in many areas such as engineering, economics, management, medicine and public policy, a need has arisen for a <font color="darkcyan">different format</font> for decisions based on <font color="darkcyan">severely uncertain</font> evidence. <div align="right">Ben-Haim (2006, p. 11)</div> </blockquote> These strong claims must be substantiated. In particular, a clear-cut, unequivocal answer must be given to the following question: in what way is info-gap's generic robustness model different, indeed <font color="darkcyan">radically different</font>, from <font color="darkcyan">worst-case analysis</font> a la <font color="darkcyan">Maximin</font>? Subsequent sections of this article describe various aspects of info-gap decision theory and its applications, how it proposes to cope with the working assumptions outlined above, the local nature of info-gap's robustness analysis and its intimate relationship with Wald's classical Maximin paradigm and worst-case analysis. ==Illustrative example== Here is an illustrative example, which will introduce the basic concepts of information gap theory. More rigorous description and discussion follows. ===Resource allocation=== Suppose you are a project manager, supervising two teams: red team and blue team. Each of the teams will yield some revenue at the end of the year. This revenue depends on the investment in the team ñ higher investments will yield higher revenues. You have a limited amount of resources, and you wish to decide how to allocate these resources between the two groups, so that the total revenues of the project will be as high as possible. If you have an estimate of the correlation between the investment in the teams and their revenues, as illustrated in Figure 1, you can also estimate the total revenue as a function of the allocation. This is exemplified in Figure 2 ñ the left-hand side of the graph corresponds to allocating all resources to the red team, while the right-hand side of the graph corresponds to allocating all resources to the blue team. A simple optimization will reveal the optimal allocation ñ the allocation that, under your estimate of the revenue functions, will yield the highest revenue. [[image:IGT-example1.png|thumb|right|Figure 1 ñ Revenue per investment]] [[image:IGT-example2.png|thumb|right|Figure 2 ñ Revenue per allocation]] ===Introducing uncertainty=== However, this analysis does not take uncertainty into account. Since the revenue functions are only a (possibly rough) estimate, the actual revenue functions may be quite different. For any level of uncertainty (or ''horizon of uncertainty'') we can define an envelope within which we assume the actual revenue functions are. Higher uncertainty would correspond to a more inclusive envelope. Two of these uncertainty envelopes, surrounding the revenue function of the red team, are represented in Figure 3. As illustrated in Figure 4, the actual revenue function may be any function within a given uncertainty envelope. Of course, some instances of the revenue functions are only possible when the uncertainty is high, while small deviations from the estimate are possible even when the uncertainty is small. [[image:IGT-example3.png|thumb|right|Figure 3 ñ Revenue uncertainty envelopes]] [[image:IGT-example4.png|thumb|right|Figure 4 ñ Revenue function instance]] These envelopes is called ''info-gap models of uncertainty'', since they describe are understanding of the uncertainty surrounding the revenue functions. From the info-gap models (or uncertainty envelopes) of the revenue functions, we can determine an info-gap model for the total amount of revenues. Figure 5 illustrates two of the uncertainty envelopes defined by the info-gap model of the total amount of revenues. [[image:IGT-example5.png|thumb|right|Figure 5 ñ Total revenue uncertainty envelopes]] ===Robustness=== Now, assume that as a project manager, high revenues will earn you the senior management's respect, but if the total revenues are below some threshold, it will mean your job. We will define such a threshold as a ''critical revenue'', since total revenues beneath the critical revenue will be considered as failure. For any given allocation, the ''robustness'' of the allocation, with respect to the critical revenue, is the maximal uncertainty that will still guaranty that the total revenue will exceed the critical revenue. This is demonstrated in Figure 6. If the uncertainty will increase, the envelope of uncertainty will become more inclusive, to include instances of the total revenue function that, for the specific allocation, yields a revenue smaller than the critical revenue. [[image:IGT-example6.png|thumb|right|Figure 6 - Robustness]] The robustness measures the immunity of a decision to failure. A ''robust satisficer'' is a decision maker that prefers choices with higher robustness. If, for some allocation <math>q</math>, we will illustrate the correlation between the critical revenue and the robustness, we will have a graph somewhat similar to Figure 7. This graph, called ''robustness curve'' of allocation <math>q</math>, has two important features, that are common to (most) robustness curves: [[image:IGT-example7.png|thumb|right|Figure 7 ñ Robustness curve]] # The curve is non-increasing. This captures the notion that when we have higher requirements (higher critical revenue), we are less immune to failure (lower robustness). This is the tradeoff between quality and robustness. # At the nominal revenue, that is, when the critical revenue equals the revenue under the nominal model (our estimate of the revenue functions), the robustness is zero. This is since a slight deviation from the estimate may decrease the total revenue. If we compare the robustness curves of two allocations, <math>q</math> and <math>q'</math>, it is not uncommon that the two curves will intersect, as illustrated in Figure 8. In this case, none of the allocations is strictly more robust than the other: for critical revenues smaller than the crossing point, allocation <math>q'</math> is more robust than allocation <math>q</math>, while the other way around holds for critical revenues higher than the crossing point. That is, the preference between the two allocations depends on the criterion of failure ñ the critical revenue. [[image:IGT-example8.png|thumb|right|Figure 8 ñ Robustness curves cross]] ===Opportuneness=== Suppose, in addition to the threat of losing your job, the senior management offers you a carrot: if the revenues are ''higher'' than some revenue, you will be awarded a considerable bonus. Although revenues lower than this revenue will not be considered to be a failure (as you may still keep your job), a higher revenue will be considered a windfall success. We will therefore denote this threshold by ''windfall revenue''. For any given allocation, the ''opportuneness'' of the allocation, with respect to the critical revenue, is the minimal uncertainty for which it is possible for the total revenue to exceed the critical revenue. This is demonstrated in Figure 9. If the uncertainty will decrease, the envelope of uncertainty will become less inclusive, to exclude all instances of the total revenue function that, for the specific allocation, yields a revenue higher than the windfall revenue. [[image:IGT-example9.png|thumb|right|Figure 9 - Opportuneness]] The opportuneness may be considered as the immunity to windfall success. Therefore, lower opportuneness is preferred to higher opportuneness. If, for some allocation <math>q</math>, we will illustrate the correlation between the windfall revenue and the robustness, we will have a graph somewhat similar to Figure 10. This graph, called ''opportuneness curve'' of allocation <math>q</math>, has two important features, that are common to (most) opportuneness curves: [[image:IGT-example10.png|thumb|right|Figure 10 ñ Opportuneness curves]] # The curve is non-decreasing. This captures the notion that when we have higher requirements (higher windfall revenue), we are more immune to failure (higher opportuneness, which is less desirable). That is, we need a more substantial deviation from the estimate in order to achieve our ambitious goal. This is the tradeoff between quality and opportuneness. # At the nominal revenue, that is, when the critical revenue equals the revenue under the nominal model (our estimate of the revenue functions), the opportuneness is zero. This is since no deviation from the estimate is needed in order to achieve the windfall revenue. === Treatment of severe uncertainty === The logic underlying the above illustration is that the (unknown) true revenue is somewhere in the immediate neighborhood of the (known) estimate of the revenue. For if this is not the case, what is the point of conducting the analysis exclusively in this neighborhood? Therefore, to remind ourselves that info-gap's manifest objective is to seek robust solutions for problems that are subject to '''severe''' uncertainty, it is instructive to exhibit in the display of the results also those associated with the '''true''' value of the revenue. Of course, given the severity of the uncertainty we do not know the true value. What we do know, however, is that according to our working assumptions the estimate we have is a '''poor''' indication of the true value of the revenue and is likely to be '''substantially wrong.''' So, methodologically speaking, we have to display the true value at a distance from its estimate. In fact, it would be even more enlightening to display a number of '' possible true values .'' In short, methodolocially speaking the picture is this: [[Image:Investment_example.png|650px]] Note that in addition to the results generated by the estimate, two "possible" true values of the revenue are also displayed at a distance from the estimate. As indicated by the picture, since info-gap robustness model applies its Maximin analysis in an immediate neighborhood of the estimate, there is no assurance that the analysis is in fact conducted in the neighborhood of the true value of the revenue. In fact, under conditions of severe uncertainty this -- methodologically speaking -- is very unlikely. This raises the question: how valid/useful/meaningful are the results? Aren't we sweeping the severity of the uncertainty under the carpet? For example, suppose that a given allocation is found to be very fragile in the neighborhood of the estimate. Does this means that this allocation is also fragile elsewhere in the region of uncertainty? Conversely, what guarantee is there that an allocation that is robust in the neighborhood of the estimate is also robust elsewhere in the region of uncertainty, indeed in the neighborhood of the true value of the revenue? More fundamentally, given that the results generated by info-gap are based on a '''local''' revenue/allocation analysis in the neighborhood of an estimate that is likely to be substantially wrong, we have no other choice -- methodologically speaking -- but to assume that the results generated by this analysis are equally likely to be substantially wrong. In other words, in accordance with the universal [[Garbage_In%2C_Garbage_Out|Garbage In - Garbage Out Axiom]], we have to assume that the quality of the results generated by info-gap's analysis is only as good as the quality of the estimate on which the results are based. The picture speaks for itself. What emerges then is that info-gap theory is yet to explain in what way, if any, it actually attempts to deal with the severity of the uncertainty under consideration. Subsequent sections of this article will address this '''severity''' issue and its methodological and practical implications. A more detailed analysis of an illustrative numerical investment problem of this type can be found in Sniedovich (2007). == Info-gap models == Info-gaps are quantified by '''info-gap models of uncertainty.''' An info-gap model is an unbounded family of nested sets. For example, a frequently encountered example is a family of nested [[ellipsoid]]s all having the same shape. The structure of the sets in an info-gap model derives from the information about the uncertainty. In general terms, the structure of an info-gap model of uncertainty is chosen to define the smallest or strictest family of sets whose elements are consistent with the prior information. Since there is, usually, no known worst case, the family of sets may be unbounded. A common example of an info-gap model is the '''fractional error model.''' The best estimate of an uncertain function <math>u(x)\!\,</math> is <math>{\tilde{u}}(x)</math>, but the fractional error of this estimate is unknown. The following unbounded family of nested sets of functions is a fractional-error info-gap model: :<math> \mathcal{U}(\alpha, {\tilde{u}}) = \left \{ u(x): \ |u(x) - {\tilde{u}}(x) | \le \alpha {\tilde{u}}(x), \ \mbox{for all}\ x \right \} , \ \ \ \alpha \ge 0 </math> At any '''horizon of uncertainty''' <math>\alpha</math>, the set <math>\mathcal{U}(\alpha, {\tilde{u}})</math> contains all functions <math>u(x)\!\,</math> whose fractional deviation from <math>{\tilde{u}}(x)</math> is no greater than <math>\alpha</math>. However, the horizon of uncertainty is unknown, so the info-gap model is an unbounded family of sets, and there is no worst case or greatest deviation. There are many other types of info-gap models of uncertainty. All info-gap models obey two basic [[axiom]]s: *'''Nesting.''' The info-gap model <math>\mathcal{U}(\alpha, {\tilde{u}})</math> is nested if <math>\alpha < \alpha^\prime</math> implies that: ::<math> \mathcal{U}(\alpha, {\tilde{u}}) \ \subseteq \ \mathcal{U}(\alpha^\prime, {\tilde{u}}) </math> *'''Contraction.''' The info-gap model <math>\mathcal{U}(0,{\tilde{u}})</math> is a singleton set containing its center point: ::<math> \mathcal{U}(0,{\tilde{u}}) = \{ {\tilde{u}} \} </math> The nesting axiom imposes the property of "clustering" which is characteristic of info-gap uncertainty. Furthermore, the nesting axiom implies that the uncertainty sets <math>\mathcal{U}(\alpha, u)</math> become more inclusive as <math>\alpha</math> grows, thus endowing <math>\alpha</math> with its meaning as an horizon of uncertainty. The contraction axiom implies that, at horizon of uncertainty zero, the estimate <math>{\tilde{u}}</math> is correct. Recall that the uncertain element <math>u</math> may be a parameter, vector, function or set. The info-gap model is then an unbounded family of nested sets of parameters, vectors, functions or sets. == Robustness and opportuneness == Uncertainty may be either [[wiktionary:pernicious|pernicious]] or [[wiktionary:propitious|propitious]]. That is, uncertain variations may be either adverse or favorable. Adversity entails the possibility of failure, while favorability is the opportunity for sweeping success. Info-gap decision theory is based on quantifying these two aspects of uncertainty, and choosing an action which addresses one or the other or both of them simultaneously. The pernicious and propitious aspects of uncertainty are quantified by two "immunity functions": the robustness function expresses the immunity to failure, while the opportuneness function expresses the immunity to windfall gain. The '''robustness function''' expresses the greatest level of uncertainty at which failure cannot occur; the '''opportuneness function''' is the least level of uncertainty which entails the possibility of sweeping success. The robustness and opportuneness functions address, respectively, the pernicious and propitious facets of uncertainty. Let <math>q</math> be a decision vector of parameters such as design variables, time of initiation, model parameters or operational options. We can verbally express the robustness and opportuneness functions as the maximum or minimum of a set of values of the uncertainty parameter <math>\alpha</math> of an info-gap model: :{| width="100%" border="0" |<math> {\hat{\alpha}}(q) = \max \{ \alpha: \ \mbox{minimal requirements are always satisfied}\} </math> | (robustness) | (1)<!-- eq 2 ig--> |- |<math> {\hat{\beta}}(q) = \min \{ \alpha: \ \mbox{sweeping success is possible}\} </math> | (opportuneness) | (2)<!-- eq 1 ig--> |} We can "read" eq.&nbsp;(1) as follows. The robustness <math>{\hat{\alpha}}(q)</math> of decision vector <math>q</math> is the greatest value of the horizon of uncertainty <math>\alpha</math> for which specified minimal requirements are always satisfied. <math>{\hat{\alpha}}(q)</math> expresses robustness ó the degree of resistance to uncertainty and immunity against failure ó so a large value of <math>{\hat{\alpha}}(q)</math> is desirable. Eq.&nbsp;(2) states that the opportuneness <math>{\hat{\beta}}(q)</math> is the least level of uncertainty <math>\alpha</math> which must be tolerated in order to enable the possibility of sweeping success as a result of decisions <math>q</math>. <math>{\hat{\beta}}(q)</math> is the immunity against windfall reward, so a small value of <math>{\hat{\beta}}(q)</math> is desirable. A small value of <math>{\hat{\beta}}(q)</math> reflects the opportune situation that great reward is possible even in the presence of little ambient uncertainty. The immunity functions <math>{\hat{\alpha}}(q)</math> and <math>{\hat{\beta}}(q)</math> are complementary and are defined in an anti-symmetric sense. Thus "bigger is better" for <math>{\hat{\alpha}}(q)</math> while "big is bad" for <math>{\hat{\beta}}(q)</math>. The immunity functions ó robustness and opportuneness ó are the basic decision functions in info-gap decision theory. The robustness function involves a maximization, but not of the performance or outcome of the decision. The greatest tolerable uncertainty is found at which decision <math>q</math> '''[[satisficing|satisfices]]''' the performance at a critical survival-level. One may establish one's preferences among the available actions <math>q, \, q^\prime,\, \ldots </math> according to their robustnesses <math>{\hat{\alpha}}(q),\, {\hat{\alpha}}(q^\prime), \, \ldots </math>, whereby larger robustness engenders higher preference. In this way the robustness function underlies a satisficing decision algorithm which maximizes the immunity to pernicious uncertainty. The opportuneness function in eq.&nbsp;(2) involves a minimization, however not, as might be expected, of the damage which can accrue from unknown adverse events. The least horizon of uncertainty is sought at which decision <math>q</math> enables (but does not necessarily guarantee) large windfall gain. Unlike the robustness function, the opportuneness function does not satisfice, it "windfalls". Windfalling preferences are those which prefer actions for which the opportuneness function takes a small value. When <math>{\hat{\beta}}(q)</math> is used to choose an action <math>q</math>, one is "windfalling" by optimizing the opportuneness from propitious uncertainty in an attempt to enable highly ambitious goals or rewards. Given a scalar reward function <math>R(q,u)</math>, depending on the decision vector <math>q</math> and the info-gap-uncertain function <math>u</math>, the minimal requirement in eq.&nbsp;(1) is that the reward <math>R(q,u)</math> be no less than a critical value <math>{r_{\rm c}}</math>. Likewise, the sweeping success in eq. (2) is attainment of a "wildest dream" level of reward <math>{r_{\rm w}}</math> which is much greater than <math>{r_{\rm c}}</math>. Usually neither of these threshold values, <math>{r_{\rm c}}</math> and <math>{r_{\rm w}}</math>, is chosen irrevocably before performing the decision analysis. Rather, these parameters enable the decision maker to explore a range of options. In any case the windfall reward <math>{r_{\rm w}}</math> is greater, usually much greater, than the critical reward <math>{r_{\rm c}}</math>: :<math> {r_{\rm w}} > {r_{\rm c}} </math> The robustness and opportuneness functions of eqs.&nbsp;(1) and (2) can now be expressed more explicitly: :{| border="0" width="100%" | <math> {\hat{\alpha}}(q, {r_{\rm c}}) = \max \left \{ \alpha: \ \left ( \min_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q,u) \right ) \ge {r_{\rm c}} \right \} </math> | (3) |- |<math> {\hat{\beta}}(q, {r_{\rm w}}) = \min \left \{ \alpha: \ \left ( \max_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q,u) \right ) \ge {r_{\rm w}} \right \} </math> | (4) |} <math>{\hat{\alpha}}(q, {r_{\rm c}})</math> is the greatest level of uncertainty consistent with guaranteed reward no less than the critical reward <math>{r_{\rm c}}</math>, while <math>{\hat{\beta}}(q, {r_{\rm w}})</math> is the least level of uncertainty which must be accepted in order to facilitate (but not guarantee) windfall as great as <math>{r_{\rm w}}</math>. The complementary or anti-symmetric structure of the immunity functions is evident from eqs.&nbsp;(3) and (4). These definitions can be modified to handle multi-criterion reward functions. Likewise, analogous definitions apply when <math>R(q,u)</math> is a loss rather than a reward. The robustness function generates '''robust-satisficing preferences''' on the options. A robust-satisficing decision maker will prefer a decision option <math>q\,\!</math> over an alternative <math>q^\prime</math> if the robustness of <math>q\,\!</math> is greater than the robustness of <math>q^\prime</math> at the same value of critical reward <math>{r_{\rm c}}</math>. That is: :{| border="0" width="100%" |<math>q \succ _{\rm r} q^\prime </math>&nbsp;&nbsp;&nbsp;&nbsp; if &nbsp;&nbsp;&nbsp;&nbsp;<math> {\hat{\alpha}}(q, {r_{\rm c}}) > {\hat{\alpha}}(q^\prime, {r_{\rm c}})</math> | (5) <!--\label{eq 1 prf ro}--> |} Let <math>\mathcal{Q}</math> be the set of all available or feasible decision vectors <math>q</math>. A robust-satisficing decision is one which maximizes the robustness on the set <math>\mathcal{Q}</math> of available <math>q</math>-vectors and satisfices the performance at the critical level <math>{r_{\rm c}}</math>: :<math> {\hat{q}_{{\rm c}}}({r_{\rm c}}) = \arg \max_{q \in \mathcal{Q}} {\hat{\alpha}}(q, {r_{\rm c}}) </math> Usually, though not invariably, the robust-satisficing action <math>{\hat{q}_{{\rm c}}}({r_{\rm c}})</math> depends on the critical reward <math>{r_{\rm c}}</math>. The opportuneness function generates '''opportune-windfalling preferences''' on the options. An opportune-windfalling decision maker will prefer a decision <math>q</math> over an alternative <math>q^\prime</math> if <math>q</math> is more opportune than <math>q^\prime</math> at the same level of reward <math>{r_{\rm w}}</math>. Formally: :{| border=0 width="100%" |<math>q \succ _{\rm o} q^\prime </math>&nbsp;&nbsp;&nbsp;&nbsp; if &nbsp;&nbsp;&nbsp;&nbsp; <math> {\hat{\beta}}(q, {r_{\rm w}}) < {\hat{\beta}}(q^\prime, {r_{\rm w}})</math> | (6) <!--\label{eq 3 prf ro}--> |} The opportune-windfalling decision, <math>{\hat{q}_{{\rm w}}}({r_{\rm w}})</math>, ''minimizes'' the opportuneness function on the set of available decisions: :<math> {\hat{q}_{{\rm w}}}({r_{\rm w}}) = \arg \min_{q \in \mathcal{Q}} {\hat{\beta}}(q, {r_{\rm w}}) </math> The two preference rankings, eqs.&nbsp;(5) and (6), as well as the corresponding the optimal decisions <math>{\hat{q}_{{\rm c}}}({r_{\rm c}})</math> and <math>{\hat{q}_{{\rm w}}}({r_{\rm w}})</math>, may be different. == Invariance property == The main point to keep in mind here is that info-gap's raison d'&ecirc;tre is to provide a methodology for decision under '''severe''' uncertainty. This means that its primary test would be in the efficacy of its handling of and coping with '''severe''' uncertainty. To this end it must be established first how Info-Gap's robustness/opportuneness models behave/fare, as the '''severity''' of the uncertainty is increased/decreased. Second, it must be established whether info-gap's robustness/opportuneness models give adequate expression to the potential variability of the performance function over the entire region of uncertainty. This is particularly important because Info--Gap is usually concerned with relatively large, indeed unbounded, regions of uncertainty. So, let <math>\ \displaystyle \mathfrak{U} \ </math> denote the total region of uncertainty and consider these key questions: <blockquote style="font-size:110%"> * How does the robustness/opportuneness analysis respond to an increase/decrease in the size of <math>\ \displaystyle \mathfrak{U} \ </math>? * How does an increase/decrease in the size of <math>\ \displaystyle \mathfrak{U} \ </math> affect the robustness or opportuneness of a decision? * How representative are the results generated by info-gap's robustness/opportuness analysis of what occurs in the relatively large total region of uncertainty <math>\ \displaystyle \mathfrak{U} \ </math>? </blockquote> [[Image: Invariance_gray1.png|right]] Suppose then that the robustness <math>\ \displaystyle \hat{\alpha}(q,r_{c}) \ </math> has been computed for a decision <math>\ \displaystyle q\in \mathcal{Q}\ </math> and it is observed that <math>\ \displaystyle \ \mathcal{U}(\alpha^{*},\tilde{u}) \subseteq \mathfrak{U}\ </math> where <math>\ \displaystyle \alpha^{*}=\hat{\alpha}(q,r_{c}) + \varepsilon \ </math>&nbsp; for some <math>\ \displaystyle \varepsilon > 0\ </math>. The question is then: how would the robustness of <math>\ \displaystyle q \ </math>, namely <math>\ \displaystyle \hat{\alpha}(q,r_{c}) \ </math>, be affected if the region of uncertainty would be say, twice as large as <math>\ \displaystyle \mathfrak{U} \ </math>, or perhaps even 10 times as large as <math>\ \displaystyle \mathfrak{U} \ </math>? Consider then the following result which is a direct consequence of the local nature of info-gap's robustness/oppurtnueness analysis and the nesting property of info-gaps' regions of uncertainty (Sniedovich 2007): === Invariance Theorem === The robustness of decision <math>\ \displaystyle q \ </math> is invariant with the size of the total region of uncertainty <math>\ \displaystyle \mathfrak{U} \ </math> for all <math>\ \displaystyle \mathfrak{U} \ </math> such that :{| width="70%" border="0" | (7)<!-- eq 7 ig--> |<math>\mathcal{U}(\hat{\alpha}(q,r_{c})+\varepsilon,\tilde{u}) \subseteq \mathfrak{U}\ </math>&nbsp; for some <math>\ \displaystyle \varepsilon > 0\ .</math> &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp;<math> \Box</math> |} In other words, for any given decision, info-gap's analysis yields the same results for all total regions of uncertainty that contain <math>\ \displaystyle \ \mathcal{U}(\alpha^{*},\tilde{u}) \ </math>. This applies to both the robustness and opportuneness models. This is illustrated in the picture: the robustness of a given decision does not change notwithstanding an increase in the region of uncertainty from <math>\ \displaystyle \mathfrak{U} \ </math> to <math>\ \displaystyle \mathfrak{U}''' \ </math>. In short, by dint of focusing exclusively on the immediate neighborhood of the estimate <math>\ \displaystyle \tilde{u} \ </math> info-gap's robustness/opportuneness models are inherently '''local'''. For this reason they are -- '''in principle''' -- incapable of incorporating in the analysis of <math>\ \displaystyle \hat{\alpha}(q,r_{c}) \ </math> and <math>\ \displaystyle \hat{\beta}(q,r_{c}) \ </math> regions of uncertainty that lie outside the neighborhoods <math>\mathcal{U}(\hat{\alpha}(q,r_{c}),\tilde{u})\ </math> and <math>\mathcal{U}(\hat{\beta}(q,r_{c}),\tilde{u})\ </math> of the estimate <math>\ \displaystyle \tilde{u} \ </math>, respectively. To illustrate, consider a simple numerical example where the total region of uncertainty is <math>\mathfrak{U}=(-\infty,\infty),\ </math> the estimate is <math>\ \displaystyle \tilde{u}=0 \ </math> and for some decision <math>\ \displaystyle \hat{q} \ </math> we obtain <math>\mathcal{U}(\hat{\alpha}(\hat{q},r_{c}),\tilde{u})=(-2,2)</math>. The picture is this: [[image:Nomansland.png|center]] where the term '' "No man's land" ''&nbsp; refers to the part of the total region of uncertainty that is outside the region <math>\ \displaystyle \mathcal{U}(\hat{\alpha}(q,r_{c})+\varepsilon,\tilde{u}) \ </math>. Note that in this case the robustness of decision <math>\ \displaystyle \hat{q} \ </math> is based on its (worst-case) performance over no more than a minuscule part of the total region of uncertainty that is an immediate neighborhood of the estimate <math>\ \displaystyle \tilde{u} \ </math>. Since usually info-gap's total region of uncertainty is unbounded, this illustration represents a ''usual'' &nbsp; case rather than an exception. The thing to note then is that info-gap's robustness/opportuneness are '''by definition local properties.''' As such they cannot assess the performance of decisions over the total region of uncertainty. For this reason it is not clear how Info-Gap's Robustness/Opportuneness models can provide a meaningful/sound/useful basis for decision under sever uncertainty where the estimate is poor and is likely to be substantially wrong. This crucial issue is addressed in subsequent sections of this article. == Some applications == Info-gap theory has generated a lot of literature. Info-gap theory has been studied or applied in a range of applications including engineering <ref name="ybh rrms 1996"/> <ref> Keith W. Hipel and Yakov Ben-Haim, 1999, Decision making in an uncertain world: Information-gap modelling in water resources management, ''IEEE Trans., Systems, Man and Cybernetics'', Part C: Applications and Reviews, 29: 506-517. </ref> <ref name="ybh 2005 crc"> Yakov Ben-Haim, 2005, Info-gap Decision Theory For Engineering Design. Or: Why `Good' is Preferable to `Best', appearing as chapter 11 in ''Engineering Design Reliability Handbook'', Edited by Efstratios Nikolaidis, Dan M.Ghiocel and Surendra Singhal, CRC Press, Boca Raton. </ref> <ref name="kanno ijss 2005"> Y. Kanno and I. Takewaki, Robustness analysis of trusses with separable load and structural uncertainties, ''International Journal of Solids and Structures,'' Volume 43, Issue 9, May 2006, pp.2646-2669.</ref> <ref name = "wang 2005"> Kaihong Wang, 2005, Vibration Analysis of Cracked Composite Bending-torsion Beams for Damage Diagnosis, PhD thesis, Virginia Politechnic Institute, Blacksburg, Virginia. </ref> <ref name="kanno jota 2006"> Y. Kanno and I. Takewaki, 2006, Sequential semidefinite program for maximum robustness design of structures under load uncertainty, ''Journal of Optimization Theory and Applications'', vol.130, #2, pp.265-287. </ref> <ref name="pierce jsv 2006"> S.G. Pierce, K. Worden and G. Manson, 2006, A novel information-gap technique to assess reliability of neural network-based damage detection ''Journal of Sound and Vibration,'' 293: Issues 1-2, pp.96-111.</ref> <ref> S.Gareth Pierce, Yakov Ben-Haim, Keith Worden, Graeme Manson, 2006, Evaluation of neural network robust reliability using information-gap theory, ''IEEE Transactions on Neural Networks'', vol.17, No.6, pp.1349-1361. </ref> <ref name="chetwynd rs 2006"> Chetwynd, D., Worden, K., Manson, G., 2006, An application of interval-valued neural networks to a regression problem, ''Proceedings of the Royal Society - Mathematical, Physical and Engineering Sciences'', (Series A), 462 (2074) pp.3097-3114. </ref> <ref> D. Lim, Y. S. Ong, Y. Jin, B. Sendhoff, and B. S. Lee, 2006, Inverse Multi-objective Robust Evolutionary Design, ''Genetic Programming and Evolvable Machines'', Vol. 7, No. 4, pp. 383-404. </ref> <ref name="vinot et al 2005"> P. Vinot, S. Cogan and V. Cipolla, 2005, A robust model-based test planning procedure ''Journal of Sound and Vibration'', 288, Issue 3, pp.571-585. </ref> <ref name="takewaki and ybh 2005"> Izuru Takewaki and Yakov Ben-Haim, 2005, Info-gap robust design with load and model uncertainties, ''Journal of Sound and Vibration'', 288: 551-570. </ref> <ref> Izuru Takewaki and Yakov Ben-Haim, 2007, Info-gap robust design of passively controlled structures with load and model uncertainties, ''Structural Design Optimization Considering Uncertainties'', Yiannis Tsompanakis, Nikkos D. Lagaros and Manolis Papadrakakis, editors, Taylor and Francis Publishers. </ref> <ref> Francois M. Hemez and Yakov Ben-Haim, 2004, Info-gap robustness for the correlation of tests and simulations of a nonlinear transient, ''Mechanical Systems and Signal Processing'', vol. 18, #6, pp.1443-1467. </ref>, biological conservation <ref name="levy et al 2000"> Levy, Jason K., Keith W. Hipel and D. Marc Kilgour, 2000, Using environmental indicators to quantify the robustness of policy alternatives to uncertainty, ''Ecological Modelling'', vol.130, Issues 1-3, pp.79-86.</ref> <ref> A. Moilanen, and B.A. Wintle, 2006, Uncertainty analysis favours selection of spatially aggregated reserve structures. ''Biological Conservation,'' Volume 129, Issue 3, May 2006, Pages 427-434.</ref> <ref> Halpern, Benjamin S., Helen M. Regan, Hugh P. Possingham and Michael A. McCarthy, 2006, Accounting for uncertainty in marine reserve design, ''Ecology Letters'', vol.9, pp.2-11.</ref> <ref name=rhino> Helen M. Regan, Yakov Ben-Haim, Bill Langford, Will G. Wilson, Per Lundberg, Sandy J. Andelman, Mark A. Burgman, 2005, Robust decision making under severe uncertainty for conservation management, ''Ecological Applications'', vol.15(4): 1471-1477. </ref> <ref> McCarthy, M.A., Lindenmayer, D.B., 2007, Info-gap decision theory for assessing the management of catchments for timber production and urban water supply, ''Environmental Management'', vol.39 (4) pp. 553-562. </ref> <ref> Crone, Elizabeth E., Debbie Pickering and Cheryl B. Schultz, 2007, Can captive rearing promote recovery of endangered butterflies? An assessment in the face of uncertainty, ''Biological Conservation'', vol. 139, #1-2,pp.103-112.</ref> <ref> L. Joe Moffitt, John K. Stranlund and Craig D. Osteen, 2007, Robust detection protocols for uncertain introductions of invasive species, ''Journal of Environmental Management'', In Press, Corrected Proof, Available online 27 August 2007. </ref> <ref> M. A. Burgman, D.B. Lindenmayer, and J. Elith, Managing landscapes for conservation under uncertainty, ''Ecology'', 86(8), 2005, pp. 2007ñ-2017. </ref> <ref> Moilanen, A., B.A. Wintle., J. Elith and M. Burgman, 2006, Uncertainty analysis for regional-scale reserve selection, ''Conservation Biology'', Vol.20, No. 6, 1688ñ1697. </ref> <ref name="atte et al reserve 2006"> Moilanen, Atte, Michael C. Runge, Jane Elith, Andrew Tyre, Yohay Carmel, Eric Fegraus, Brendan Wintle, Mark Burgman and Yakov Ben-Haim, 2006, Planning for robust reserve networks using uncertainty analysis, ''Ecological Modelling'', vol. 199, issue 1, pp.115-124.</ref> <ref> Nicholson, Emily and Hugh P. Possingham, Making conservation decisions under uncertainty for the persistence of multiple species, ''Ecological Applications'', vol. 17, pp.251-265. </ref> <ref name="burgman 2005 book"> Burgman, Mark, 2005, ''Risks and Decisions for Conservation and Environmental Management'', Cambridge University Press, Cambridge. </ref>, theoretical biology <ref> Yohay Carmel and Yakov Ben-Haim, 2005, Info-gap robust-satisficing model of foraging behavior: Do foragers optimize or satisfice?, ''American Naturalist'', 166: 633-641.</ref>, homeland security <ref> L. Joe Moffitt, John K. Stranlund, and Barry C. Field, 2005, Inspections to Avert Terrorism: Robustness Under Severe Uncertainty, ''Journal of Homeland Security and Emergency Management,'' Vol. 2: No. 3. http://www.bepress.com/jhsem/vol2/iss3/3 </ref>, economics <ref name="colin 2007"> Beresford-Smith, Bryan and Colin J. Thompson, 2007, Managing credit risk with info-gap uncertainty, <i>The Journal of Risk Finance,</i> vol.8, issue 1, pp.24-34.</ref> <ref> John K. Stranlund and Yakov Ben-Haim, 2007, Price-based vs. quantity-based environmental regulation under Knightian uncertainty: An info-gap robust satisficing perspective, ''Journal of Environmental Management'', In Press, Corrected Proof, Available online 28 March 2007.</ref> <ref name="ybh 2005 var"> Yakov Ben-Haim, 2005, Value at risk with Info-gap uncertainty, ''Journal of Risk Finance,'' vol. 6, #5, pp.388-403.</ref>, project management <ref> Yakov Ben-Haim and Alexander Laufer, 1998, Robust reliability of projects with activity-duration uncertainty, ''ASCE Journal of Construction Engineering and Management''. 124: 125-132.</ref> <ref name="tahan ben-asher 2005"> Meir Tahan and Joseph Z. Ben-Asher, 2005, Modeling and analysis of integration processes for engineering systems, ''Systems Engineering'', Vol. 8, No. 1, pp.62-77. </ref> <ref> Sary Regev, Avraham Shtub and Yakov Ben-Haim, 2006, Managing project risks as knowledge gaps, ''Project Management Journal'', vol. 37, issue #5, pp.17-25. </ref> and statistics <ref> Fox, D.R., Ben-Haim, Y., Hayes, K.R., McCarthy, M., Wintle, B., and Dunstan, P., An Info-Gap Approach to Power and Sample-size calculations, ''Environmetrics,'' vol. 18, pp.189-203.</ref>. Foundational issues related to info-gap theory have also been studied <ref> Yakov Ben-Haim, 1994, Convex models of uncertainty: Applications and Implications, ''Erkenntnis: An International Journal of Analytic Philosophy'', 41:139-156.</ref> <ref> Yakov Ben-Haim, 1999, Set-models of information-gap uncertainty: Axioms and an inference scheme, ''Journal of the Franklin Institute'', vol. 336: 1093-1117.</ref> <ref> Yakov Ben-Haim, 2000, Robust rationality and decisions under severe uncertainty, ''Journal of the Franklin Institute'', vol. 337: 171-199.</ref> <ref> Yakov Ben-Haim, 2004, Uncertainty, probability and information-gaps, ''Reliability Engineering and System Safety'', vol. 85: 249-266.</ref> <ref> George J. Klir, 2006, ''Uncertainty and Information: Foundations of Generalized Information Theory'', Wiley Publishers.</ref> <ref> Yakov Ben-Haim, 2007, Peirce, Haack and Info-gaps, in ''Susan Haack, A Lady of Distinctions: The Philosopher Responds to Her Critics'', edited by Cornelis de Waal, Prometheus Books.</ref>. The remainder of this section describes in a little more detail the kind of uncertainties addressed by info-gap theory. Although many published works are mentioned below, no attempt is made here to present insights from these papers. The emphasis is not upon elucidation of the concepts of info-gap theory, but upon the context where it is used and the goals. A typical engineering application is the vibration analysis of a cracked beam, where the location, size, shape and orientation of the crack is unknown and greatly influence the vibration dynamics.<ref name = "wang 2005"/> Very little is usually known about these spatial and geometrical uncertainties. The info-gap analysis allows one to model these uncertainties, and to determine the degree of robustness - to these uncertainties - of properties such as vibration amplitude, natural frequencies, and natural modes of vibration. Another example is the structural design of a building subject to uncertain loads such as from wind or earthquakes.<ref name="kanno ijss 2005"/> <ref name="kanno jota 2006"/> The response of the structure depends strongly on the spatial and temporal distribution of the loads. However, storms and earthquakes are highly idiosyncratic events, and the interaction between the event and the structure involves very site-specific mechanical properties which are rarely known. The info-gap analysis enables the design of the structure to enhance structural immunity against uncertain deviations from design-base or estimated worst-case loads.{{Fact|date=February 2008}} Another engineering application involves the design of a neural net for detecting faults in a mechanical system, based on real-time measurements. A major difficulty is that faults are highly idiosyncratic, so that training data for the neural net will tend to differ substantially from data obtained from real-time faults after the net has been trained. The info-gap robustness strategy enables one to design the neural net to be robust to the disparity between training data and future real events.<ref name="pierce jsv 2006"/> <ref name="chetwynd rs 2006"/> Biological systems are vastly more complex and subtle than our best models, so the conservation biologist faces substantial info-gaps in using biological models. For instance, Levy ''et al'' <ref name="levy et al 2000"/> use an info-gap robust-satisficing "methodology for identifying management alternatives that are robust to environmental uncertainty, but nonetheless meet specified socio-economic and environmental goals." They use info-gap robustness curves to select among management options for spruce-budworm populations in Eastern Canada. [[Mark Burgman|Burgman]] <ref> Burgman, Mark, 2005, ''Risks and Decisions for Conservation and Environmental Management'', Cambridge University Press, Cambridge, pp.399.</ref> uses the fact that the robustness curves of different alternatives can intersect, to illustrate a change in preference between conservation strategies for the orange-bellied parrot. Project management is another area where info-gap uncertainty is common. The project manager often has very limited information about the duration and cost of some of the tasks in the project, and info-gap robustness can assist in project planning and integration.<ref name="tahan ben-asher 2005"/> Financial economics is another area where the future is fraught with surprises, which may be either pernicious or propitious. Info-gap robustness and opportuness analyses can assist in portfolio design, credit rationing, and other applications.<ref name="colin 2007"/> ===Disclaimer and Summary=== The robustness and opportuneness functions can inform decision. For example, a change in decision increasing robustness may increase or decrease opportuneness. From a subjective stance, robustness and opportuneness both trade-off against aspiration for outcome: robustness and opportuneness deteriorate as the decision maker's aspirations increase. Robustness is zero for model-best anticipated outcomes. Robustness curves for alternative decisions may cross as a function of aspiration, implying reversal of preference. Various theorems identify conditions where larger info-gap robustness implies larger probability of success, regardless of the underlying probability distribution. However, these conditions are technical, and do not translate into any common-sense, verbal recommendations, placing info-gap theory entirely in the hands of experts. == Maximin/Minimin: playing robustness/opportuneness games with Nature == For well over sixty years now [[Abraham Wald|Wald]]'s [[minimax|Maximin]] model has figured in classical [[decision theory]] and related areas ñ such as [[robust optimization]] - as the foremost non-probabilistic paradigm for modeling and treatment of severe uncertainty. Info-gap is propounded (eg. Ben-Haim 2001, 2006) as a new non-probabilistic theory that is radically different from all current decision theories for decision under uncertainty. So, it is imperative to examine in this discussion in what way, if any, is info-gap's robustness model radically different from [[minimax|Maximin]]. For one thing, there is a well-established assessment of the utility of [[minimax|Maximin]]. For example, Berger (Chapter 5)<ref name=Berger> {{cite book |author=James O Berger |title=Statistical decision theory and Bayesian analysis |year= 2006; really 1985 |edition=Second Edition |publisher=Springer Science + Business Media |location=New York |isbn=0-387-96098-8 |url=http://books.google.com/books?id=oY_x7dE15_AC&pg=PA100&dq=isbn:0387960988&sig=AqRaO4FctKZ6JMJp60rRNekfIJk#PPA331,M1}} </ref> suggests that even in situations where no prior information is available (a best case for [[minimax|Maximin]]), [[minimax|Maximin]] can lead to bad decision rules and be hard to implement. He recommends [[Bayesian inference|Bayesian methodology]]. And as indicated above, <blockquote style="font-size:120%;width=700px"> It should also be remarked that the minimax principle even if it is applicable leads to an extremely conservative policy. <div align="right">Tintner (1952, p. 25)<ref name="tintner 52">Tintner, G., ìAbraham Waldís contributions to econometricsî, ''The Annals of Mathematical Statistics,'' 23(1), 21-28, 1952.</ref></div> </blockquote> However, quite apart from the ramifications that establishing this point might have for the utility of info-gaps' robustness model, the reason that it behooves us to clarify the relationship between info-gap and [[minimax|Maximin]] is the centrality of the latter in decision theory. After all, this is a major classical decision methodology. So, any theory claiming to furnish a new non-probabilistic methodology for decision under severe uncertainty would be expected to be compared to this stalwart of decision theory. And yet, not only is a comparison of info-gap's robustness model to [[minimax|Maximin]] absent from the three books expounding info-gap (Ben-Haim 1996, 2001, 2006), [[minimax|Maximin]] is not even mentioned in them as the major decision theoretic methodology for severe uncertainty that it is. Elsewhere in the info-gap literature, one can find discussions dealing with similarities and differences between these two paradigms, as well as discussions on the relationship between info-gap and worst-case analysis, <ref name="ybh 2005 crc"/> <ref name="takewaki and ybh 2005" /> <ref name="ybh 2005 var"/><ref name="tahan ben-asher 2005"/> <ref> Z. Ben-Haim and Y. C. Eldar, Maximum set estimators with bounded estimation error, ''IEEE Trans. Signal Processing'', vol. 53, no. 8, August 2005, pp. 3172-3182.</ref> <ref>Babuˆka, I., F. Nobile and R. Tempone, 2005, Worst case scenario analysis for elliptic problems with uncertainty, ''Numerische Mathematik'' (in English) vol.101 pp.185Ò219.</ref>. However, the general impression is that the intimate connection between these two paradigms has not been identified. Indeed, the opposite is argued. For instance, Ben-Haim (2005<ref name="ybh 2005 var"/>) argues that info-gap's robustness model is similar to [[minimax|Maximin]] but, is not a [[minimax|Maximin]] model. The following quote eloquently expresses Ben-Haim's assessment of info-gap's relationship to Maximin and it provides ample motivation for the analysis that follows. <blockquote style="font-size:110%;border:1px dashed darkcyan;background-color:beige;padding:5px">We note that robust reliability is emphatically '' not '' a worst-case analysis. In classical worst-case min-max analysis the designer minimizes the impact of the maximally damaging case. But an info-gap model of uncertainty is an unbounded family of nested sets: <math> \ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math>, for all <math>\ \displaystyle \alpha\ge 0 \ </math>. Consequently, there is no worst case: any adverse occurrence is less damaging than some other more extreme event occurring at a larger value of <math>\ \displaystyle \alpha \ </math>. What Eq. (1) expresses is the greatest level of uncertainty consistent with no-failure. When the designer chooses q to maximize <math>\ \displaystyle \hat{\alpha}(q, r_{c}) \ </math> he is maximizing his immunity to an unbounded ambient uncertainty. The closest this comes to "min-maxing" is that the design is chosen so that "bad" events (causing reward <math>\ \displaystyle R\ </math> less than <math>\ \displaystyle r_{c}\ </math>) occur as "far away" as possible (beyond a maximized value of <math>\ \displaystyle \hat{\alpha} \ </math>). <div align="right"> Ben-Haim , 1999, pp. 271-2<ref name="YBH 99">Ben-Haim, Y. (1999) Design certification with information-gap uncertainty, ''Structural Safety,'' 2, 269-289.</ref></div> </blockquote> The point to note here is that this statement misses the fact that the horizon of uncertainty <math>\ \displaystyle \alpha \ </math> is bounded above (implicitly) by the performance requirement <center> <math> r_{c} \le R(q,u),\forall u\in \mathcal{U}(\alpha,\tilde{u})</math> </center> and that info-gap conducts its worst-case analysis -- one analysis at a time for a given <math>\ \displaystyle \alpha \ge 0 \ </math>&nbsp; -- within each of the regions of uncertainty <math>\displaystyle \ \mathcal{U}(\alpha,\tilde{u}), \alpha\ge 0 \ </math> . In short, given the discussions in the info-gap literature on this issue, it is obvious that the kinship between info-gap's robustness model and [[Abraham wald|Wald's]] [[minimax|Maximin]] model, as well as info-gap's kinship with other models of classical decision theory must be brought to light. So, the objective in this section is to place info-gap's robustness and opportuneness models in their proper context, namely within the wider frameworks of classical [[decision theory]] and [[robust optimization]]. The discussion is based on the classical decision theoretic perspective outlined by Sniedovich (2007<ref name="sniedo 07">M. Sniedovich, 2007, The art and science of modeling decision-making under severe uncertainty, ''Decision-Making in Manufacturing and Services,'' Volume 1, Issue 1-2, pp. 111-136. http://www.dmms.agh.edu.pl/Volume_1_2/Sniedovich.pdf</ref>) and on standard texts in this area (eg. Resnik 1987<ref name="resnik 87">Resnik, M.D., ''Choices: an Introduction to Decision Theory,'' University of Minnesota Press, Minneapolis, MN, 1987.</ref>, French 1988<ref name="french 88">French, S.D., ''Decision Theory,'' Ellis Horwood, 1988.</ref>). <center> <div style="border:1px red dashed;background-color:beige;font-size:115%;padding:5px;color:#333333"> Certain parts of the exposition that follows have a mathematical slant. <br> This is unavoidable because info-gap's models are mathematical. </div> </center> === Generic models === The basic conceptual framework that classical decision theory provides for dealing with uncertainty is that of a two-player game. The two players are the decision maker (DM) and '''Nature,''' where Nature represents uncertainty. More specifically, Nature represents the DM's attitude towards uncertainty and risk. Note that a clear distinction is made in this regard between a '''pessimistic''' decision maker and an '''optimistic''' decision maker, namely between a '''worst-case''' attitude and a '''best-case''' attitude. A pessimistic decision maker assumes that Nature plays '''against''' him whereas an optimistic decision maker assumes that Nature plays '''with''' him. To express these intuitive notions mathematically, classical [[decision theory]] uses a simple model consisting of the following three constructs: <blockquote style="font-size:115%"> * A set <math>\ \displaystyle D</math> representing the ''decision space'' available to the DM. * A set of sets <math>\ \displaystyle \{S(d): d\in D\}\ </math> representing ''state spaces'' associated with the decisions in <math>\ \displaystyle D </math>. * A function <math>\ \displaystyle g=g(d,s)</math> stipulating the ''outcomes'' generated by the decision-state pairs <math>\ \displaystyle (d,s)\ </math>. </blockquote> The function <math>\ \displaystyle g \ </math> is called ''objective function, payoff function, return function, cost function'' etc. The decision-making process (game) defined by these objects consists of three steps: <blockquote style="font-size:115%"> * '''Step 1:''' The DM selects a decision <math>\ \displaystyle d\in D \ </math>. * '''Step 2:''' In response, given <math>\ \displaystyle d\ </math>, Nature selects a state <math>\ \displaystyle s\in S(d)\ </math>. * '''Step 3:''' The outcome <math>\ \displaystyle g(d,s)</math> is alloted to DM. </blockquote> Note that in contrast to games considered in classical [[game theory]], here the first player (DM) moves first so that the second player (Nature) knows what decision was selected by the first player prior to selecting her decision. Thus, the conceptual and technical complications regrding the existence of [[Nash equilibrium|Nash equilibrium point]] are not pertinent here. Nature is not an independent player, it is a conceptual device describing the DM's attitude towards uncertainty and risk. At first sight, the simplicity of this framework may strike one as naive. Yet, as attested by the variety of specific instances that it encompasses it is rich in possibilities, flexible, and versatile. For the purposes of this discussion it suffices to consider the following classical generic setup: <center> <math> \begin{array}{cccc} z^{*}= & \stackrel{DM}{\mathop{Opt}}&\stackrel{Nature}{\mathop{opt}}\quad & g(d,s)\\[-0.05in] & d\in D & s\in S(d) & \end{array} </math> </center> where <math>\ \displaystyle \mathop{Opt} \ </math> and <math> \displaystyle \mathop{opt}\ </math> represent the DM's and Nature's optimality criteria, respectively, that is, each is equal to either <math>\ \displaystyle \max\ </math> or <math>\ \displaystyle \min\ </math>. If <math>\ \displaystyle \mathop{Opt} = \mathop{opt}\ </math> then the game is '''cooperative,''' and if <math>\ \displaystyle \mathop{Opt} \neq \mathop{opt}\ </math> then the game is '''non-cooperative.''' Thus, this format represents four cases: two non-cooperative games (Maximin and Minimax) and two cooperative games (Minimin, and Maximax). The respective formulations are as follows: <center> <math> \begin{array}{c||c} \textit{Worst-Case\ Pessimism} & \textit{Best-Case\ Optimism}\\ \hline Maximin \ \ \ \ \ \ \ \ \ \ \ Minimax & Minimin \ \ \ \ \ \ \ \ \ \ \ \ \ Maximax\\ \displaystyle \max_{d\in D}\,\min_{s\in S(d)}\,g(d,s) \ \ \ \displaystyle \min_{d\in D}\,\max_{s\in S(d)}\,g(d,s) & \displaystyle \min_{d\in D}\,\min_{s\in S(d)}\,g(d,s) \ \ \ \displaystyle \max_{d\in D}\,\max_{s\in S(d)}\,g(d,s) \end{array} </math> </center> Each case is specified by a pair of optimality criteria employed by DM and Nature. For example, [[minimax|Maximin]] depicts a situation where DM strives to maximize the outcome and Nature strives to minimize it. Similarly, the Minimin paradigm represents situations where both DM and Nature are striving to in minimize the outcome. Of particular interest to this discussion are the Maximin and Minimin paradigms because they subsume info-gap's robustness and opportuneness models, respectively. So, here they are: <blockquote style="font-size:115%"> {| |- valign="top" | &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Maximin Game: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | <math>\ \displaystyle \max_{d\in D}\,\min_{s\in S(d)}\,g(d,s)</math> |} * '''Step 1:''' The DM selects a decision <math>\ \displaystyle d\in D \ </math> with a view to <font color="darkgreen">maximize</font> the outcome <math>\ \displaystyle g(d,s) \ </math>. * '''Step 2:''' In response, given <math>\ \displaystyle d\ </math>, Nature selects a state in <math>\ \displaystyle S(d)\ </math> that minimizes <math> \ \displaystyle g(d,s) \ </math> over <math>\ \displaystyle S(d) \ </math>. * '''Step 3:''' The outcome <math>\ \displaystyle g(d,s)</math> is alloted to DM. </blockquote> <blockquote style="font-size:115%"> {| |- valign="top" | &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Minimin Game: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | <math>\ \displaystyle \min_{d\in D}\,\min_{s\in S(d)}\,g(d,s)</math> |} * '''Step 1:''' The DM selects a decision <math>\ \displaystyle d\in D \ </math> with a view to <font color="darkgreen">minimizes</font> the outcome <math>\ \displaystyle g(d,s) \ </math>. * '''Step 2:''' In response, given <math>\ \displaystyle d\ </math>, Nature selects a state in <math>\ \displaystyle S(d)\ </math> that minimizes <math> \ \displaystyle g(d,s) \ </math> over <math>\ \displaystyle S(d) \ </math>. * '''Step 3:''' The outcome <math>\ \displaystyle g(d,s)</math> is alloted to DM. </blockquote> With this in mind, consider now info-gap's robustness and opportuneness models. === Info-gap's robustness model === From a classical decision theoretic point of view info-gap's robustness model is a game between the DM and Nature, where the DM selects the value of <math>\ \displaystyle \alpha \ </math> (aiming for the largest possible) whereas Nature selects the worst value of <math>\ \displaystyle u \ </math> in <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math>. In this context the worst value of <math>\ \displaystyle u \ </math> pertaining to a given <math>\ \displaystyle (q,\alpha) \ </math> pair is a <math>\ \displaystyle u\in \mathcal{U}(\alpha,\tilde{u}) \ </math> that violates the performance requirement <math>\ \displaystyle r_{c} \le R(q,u) \ </math>. This is achieved by minimizing <math>\ \displaystyle R(q,u)\ </math> over <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u})\ </math>. There are various ways to incorporate the DM's objective and Nature's antagonistic response in a single outcome. For instance, one can use the following characteristic function for this purpose: <center> <math> \varphi(q,\alpha,u):=\begin{cases} \quad \alpha &, \ \ r_{c} \le R(q,u) \\ -\infty &, \ \ r_{c} > R(q,u) \end{cases} \ , \ q\in \mathcal{Q}, \alpha\ge 0, u\in \mathcal{U}(\alpha,\tilde{u}) </math> </center> Note that, as desired, for any triplet <math>\ \ (q,\alpha,u)\ </math> of interest we have <center> <math> r_{c} \le R(q,u) \ \ \ \longleftrightarrow \ \ \ \alpha \le \varphi(q,\alpha,u) </math> </center> hence from the DM's point of view satisficing the performance constraint is equivalent to maximizing &nbsp; <math>\ \displaystyle \varphi(q,\alpha,u)\ </math>. In short, <blockquote style="font-size:115%"> {| |- valign="top" | &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Info-gap's Maximin Robustness Game for decision <math>\ \displaystyle q \ </math>: &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; | <math>\ \displaystyle \hat{\alpha}(q,r_{c}):=\max_{\alpha \ge 0}\,\min_{u\in \mathcal{U}(\alpha,\tilde{u})}\,\varphi(q,\alpha,u)</math> |} * '''Step 1:''' The DM selects an horizon of uncertainty <math>\ \displaystyle \alpha\ge 0 \ </math> with a view to <font color="darkgreen">maximize</font> the outcome <math>\ \displaystyle \varphi(q,\alpha,u) \ </math>. * '''Step 2:''' In response, given <math>\ \displaystyle \alpha \ </math>, Nature selects a <math>\ \displaystyle u \in \mathcal{U}(\alpha,\tilde{u})\ </math> that minimizes <math> \ \displaystyle \varphi(q,\alpha,u) \ </math> over <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math>. * '''Step 3:''' The outcome <math>\ \displaystyle \varphi(q,\alpha,u)</math> is alloted to DM. </blockquote> Clearly, the DM's optimal alternative is to select the largest value of <math>\ \displaystyle \alpha \ </math> such that the worst <math>\ \displaystyle u\in \mathcal{U}(\alpha,\tilde{u})\ </math> satisfies the performance requirement. === Maximin Theorem === As shown in Sniedovich (2007) <ref name="sniedo 2007"/>, Info-gap's robustness model is a simple instance of [[wald|Wald's]] [[minimax|Maximin]] model. Specifically, <center><math> {\hat{\alpha}}(q, {r_{c}}) = \max \left \{ \alpha: \ {r_{\rm c}} \le \min_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q,u) \right \} = \max_{\alpha \ge 0} \min_{u \in \mathcal{U}(\alpha,\tilde{u})} \varphi(q,\alpha,u) \quad \quad \Box </math></center> === Info-gap's opportuneness model === By the same token, info-gap's opportuneness model is a simple instance of the generic Minimin model. That is, <center><math> {\hat{\beta}}(q, {r_{c}}) = \min \left \{ \alpha: \ {r_{c}} \le \max_{u \in \mathcal{U}(\alpha, \tilde{u})} R(q,u) \right \} = \min_{\alpha \ge 0} \min_{u \in \mathcal{U}(\alpha,\tilde{u})} \psi(q,\alpha,u) </math></center> where <center><math> \psi(q,\alpha,u) = \left\{\begin{matrix} \alpha &,& {r_{c}} \le R(q,u)\\ \infty &,&{r_{ c}} > R(q,u) \end{matrix}\right. \ , \ \alpha \ge 0, u \in \mathcal{U}(\alpha,\tilde{u}) </math></center> observing that, as desired, for any triplet <math>\ \ (q,\alpha,u)\ </math> of interest we have <center> <math> r_{w} \le R(q,u) \ \ \ \longleftrightarrow \ \ \ \alpha \ge \psi(q,\alpha,u) </math> </center> hence, for a given pair <math>\ \displaystyle (q,\alpha)\ </math>, the DM would satisfy the performance requirement via minimizing the outcome <math>\ \displaystyle \psi(q,\alpha,u)\ </math> over <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math>. Nature's behavior is a reflection of her sympathetic stance here. '''Remark:''' This attitude towards risk and uncertainty which assumes that Nature will play '' with us,''&nbsp; is rather naive. As noted by Resnik (1987, p. 32<ref name="resnik 87"/>) "... But that rule surely would have few adherence...". Nevetheless it is often used in combination with the [[minimax|Maximin]] rule in the formulation of [[Hurwicz]]'s '' optimism-pessimisim ''&nbsp; rule (Resnik 1987<ref name="resnik 87"/>, French 1988<ref name="french 88"/>) with a view to mitigate the extreme conservatism of [[minimax|Maximin]]. === Mathematical programming formulations === To bring out more forcefully that info-gap's robustness model is an instance of the generic [[minimax|Maximin]] model, and info-gap's opportuneness model an instance of the generic Minimin model, it is instructive to examine the equivalent so called ''Mathematical Programming '' (MP) formats of these generic models (Ecker and Kupferschmid<ref name="ecker 88">Ecker J.G. and Kupferschmid, M., ''Introduction to Operations Research,'' Wiley, 1988.</ref>, 1988, pp. 24-25; Thie 1988<ref name="thie 88">Thie, P., '' An Introduction to Linear Programming and Game Theory,'' Wiley, NY, 1988.</ref> pp. 314-317; Kouvelis and Yu<ref name="kouvelis 97"/>, 1997, p. 27): <center> <math> \begin{array}{c|c|c} \textit{Model} & \textit{Classical\ Format} & \textit{MP\ Format} \\ \hline \textit{Maximin:} & \displaystyle \max_{d\in D}\ \min_{s\in S(d)}\ g(d,s) & \displaystyle \max_{d\in D,\alpha\in \mathbb{R}}\{\alpha: \alpha \le \min_{s\in S(d)} g(d,s)\} \\ \textit{Minimin:} & \displaystyle \min_{d\in D}\ \min_{s\in S(d)}\ g(d,s) & \displaystyle \min_{d\in D,\alpha\in \mathbb{R}}\{\alpha: \alpha \ge \min_{s\in S(d)} g(d,s)\} \end{array} </math> </center> Thus, in the case of info-gap we have <center> <math> \begin{array}{c|c|c|c} \textit{Model} & \textit{Info-Gap\ Format} & \textit{MP\ Format} & \textit{Classical\ Format} \\ \hline \textit{Robustness} &\displaystyle \max\{\alpha: r_{c}\le \min_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\} &\displaystyle \displaystyle \max\{\alpha: \alpha \le \min_{u\in \mathcal{U}(\alpha,\tilde{u})}\varphi(q,\alpha,u)\} & \displaystyle \max_{\alpha\ge 0}\ \min_{u\in \mathcal{U}(\alpha,\tilde{u})}\ \varphi(q,\alpha,u) \\ \textit{Opportuneness} &\displaystyle \min\{\alpha: r_{c}\le \max_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\} &\displaystyle \displaystyle \min\{\alpha: \alpha \ge \min_{u\in \mathcal{U}(\alpha,\tilde{u})}\psi(q,\alpha,u)\} & \displaystyle \min_{\alpha\ge 0}\ \min_{u\in \mathcal{U}(\alpha,\tilde{u})}\ \psi(q,\alpha,u) \end{array} </math> </center> To verify the equivalence between info-gap's formats and the respective decision theoretic formats, recall that, by construction, for any triplet <math>\ \displaystyle (q,\alpha,u)\ </math> of interest we have <center> <math> \alpha \le \varphi(q,\alpha,u)\ \ \ \longleftrightarrow \ \ \ r_{c} \le R(q,u) </math><p> <math> \alpha \ge \psi(q,\alpha,u) \ \ \ \longleftrightarrow \ \ \ r_{w} \le R(q,u) </math> </center> This means that in the case of robustness/[[minimax|Maximin]], an antagonistic Nature will (effectively) minimize <math>\ \displaystyle R(q,u) \ </math> by minimizing <math>\ \displaystyle \varphi(q,\alpha,u) \ </math> whereas in the case of opportuneness/Minimin a sympathetic Nature will (effectively) maximize <math>\ \displaystyle R(q,u) \ </math> by minimizing <math>\ \displaystyle \psi(q,\alpha,u) \ </math>. === Summary === Info-gap's robustness analysis stipulates that given a pair <math>\ \displaystyle (q,\alpha)\ </math>, the <font color="darkgreen"><b>worst</b></font> element of <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u})\ </math> is realized. This of course is a typical [[minimax|Maximin]] analysis. In the parlance of classical [[decision theory]]: <blockquote style="font-size:120%;background-color:beige;padding:3x;border:1px dashed darkcyan"> The '''Robustness''' of decision <math>\ \displaystyle q \ </math> is the <font color="darkgreen">largest</font> horizon of uncertainty, <math>\ \displaystyle \alpha \ </math>, such that the <font color="darkgreen"><b>worst</b></font> value of <math>\ \displaystyle u \ </math> in <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math> satisfies the performance requirement <math>\ \displaystyle r_{c} \le R(q,u) \ </math>. </blockquote> Similarly, info-gap's opportuneness analysis stipulates that given a pair <math>\ \displaystyle (q,\alpha)\ </math>, the <font color="darkgreen"><b>best</b></font> element of <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u})\ </math> is realized. This of course is a typical Minimin analysis. In the parlance of classical [[decision theory]]: <blockquote style="font-size:120%;background-color:beige;padding:3x;border:1px dashed darkcyan"> The '''Opportuneness''' of decision <math>\ \displaystyle q \ </math> is the <font color="darkgreen">smallest</font> horizon of uncertainty, <math>\ \displaystyle \alpha \ </math> , such that the <font color="darkgreen"><b>best</b></font> value of <math>\ \displaystyle u \ </math> in <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u}) \ </math> satisfies the performance requirement <math>\ \displaystyle r_{w} \le R(q,u) \ </math>. </blockquote> The mathematical transliterations of these concepts are straightforward, resulting in typical Maximin/Minimin models, respectively. Far from being restrictive, the generic Maximin/Minimin models' lean structure is a blessing in disguise. The main point here is that the abstract character of the three basic constructs of the generic models <blockquote> * Decision * State * Outcome </blockquote> in effect allows for great flexibility in modeling. A more detailed analysis is therefore required to bring out the full force of the relationship between info-gap and generic classical decision theoretic models. See [[#Notes on the art of math modeling]]. == Criticism == Sniedovich <ref name="sniedo 2007"/> has challenged the validity of info-gap theory for making decisions under severe uncertainty. He questions the effectiveness of info-gap theory in situations where the best estimate <math>\displaystyle \tilde{u}</math> is a poor indication of the true value of <math>\displaystyle u</math>. Sniedovich notes that the info-gap robustness function is "local" to the region around <math>\displaystyle \tilde{u}</math>, where <math>\displaystyle \tilde{u}</math> is likely to be substantially in error. He concludes that therefore the info-gap robustness function is an unreliable assessment of immunity to error. The following is a pictorial summary of Sniedovich's (2007) discussion on local vs global robustness. For illustrative purposes it is cast here as a ''Treasure Hunt.'' It shows how the elements of info-gap's robustness model relate to one another and how the severe uncertainty is treated in the model. <center> <table width=100% bborder=0 cellpadding=5 cellspacing=0> <tr vvalign="top" align="left"> <td width=145px style="border-bottom:1px solid skyblue" valign="top">[[Image:Australia_plain.png]]</td> <td width=280px valign="top" style="border-bottom:1px solid skyblue" > (1) You are in charge of a treasure hunt on a large island <!-- , <math>\ \mathfrak{U}\ </math>, --> somewhere in the Asia/Pacific region. You consult a portfolio of search strategies.<!-- ,<math>\ \mathcal{Q}\ </math>--> You need to decide which strategy would be best for this particular expedition. <!-- <center><math> u \in \mathfrak{U}</math></center> --> <!-- <center><math> q \in \mathcal{Q}</math></center> --></font></td> <td width=145px style="border-left:1px solid skyblue;border-bottom:1px solid skyblue" valign="top">[[Image: Australia_q.png]]</td> <td width=280px valign="top" style="border-bottom:1px solid skyblue"> (2) The difficulty is that the treasure's exact location on the island is unknown. <!-- Namely, its location is subject to severe uncertainty.--> There is a severe gap between what you need to know -- the true location of the treasure -- and what you actually know -- a poor estimate of the true location. <!-- Under severe uncertainty the gap is severe. <center> <math> \ u = ?</math></center> --> </td> <td width=145px style="border-left:1px solid skyblue;border-bottom:1px solid skyblue;" valign="top">[[Image: Australia_dot.png]]</td> <td width=280px style="border-bottom:1px solid skyblue" valign="top"> (3) Somehow you compute an estimate of the true location of the treasure. Since we are dealing here with severe uncertainty, we assume -- methodologically speaking -- that this estimate is a poor indication of the true location and is likely to be substantially wrong. <!-- In short, methodologically speaking, the best estimate we have, <math>\ \tilde{u}\ </math>, is a wild guess at the true value of <math>\ u \ </math>.<p> <center><math>\displaystyle \tilde{u} \in \mathfrak{U}</math></center> --> </td> </tr> <tr valign="top" align="left"> <td vvalign="top" width=145px sstyle="border-left:1px solid skyblue" valign="top">[[Image:Australia_regions.png]]</td> <td width=280px valign="top"> (4) To determine the robustness of a given strategy, you conduct a local worst-case analysis in the immediate neighborhood of the poor estimate. Specifically, you compute the largest safe deviation<!-- , <math>\ \alpha\ </math>,--> from the poor estimate that does not violate the performance requirement.<!-- <center><math>\displaystyle \hat{\alpha}(q,r_{c}):= \max\{\alpha \ge 0: r_{c}\le \min_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\}</math></center> --> </td> <td vvalign="top" width=145px style="border-left:1px solid skyblue" valign="top">[[Image:Australia_max.png]]</td> <td width=280px valign="top"> (5) You compute the robustness of each search strategy in your portfolio <!-- , <math>\ q\in \mathcal{Q}\ </math>, --> and you select the one whose robustness is the largest. <!-- The recipe is as follows:<p> <center><math>\displaystyle \hat{\alpha}(r_{c}):= \max_{q\in \mathcal{Q}} \hat{\alpha}(q,r_{c})</math></center> --> </td> <td valign="top" align="left" colspan=2 style="border-left:1px solid skyblue"> (6) To remind yourself and the financial backers of the expedition that this analysis is subject to severe uncertainty in the true location of the treasure, it is important -- methodologically speaking -- to display the '''true location''' on the map. Of course, you do not know the true location. But given the severity of the uncertainty, you place it at some distance from the poor estimate. The more severe the uncertainty, the greater should the distance (gap) between the true location and the estimate be. </td> </tr> <tr> <td vvalign="top" width=145px style="border-top:1px solid skyblue" valign="top">[[Image:Australia_true.png]]</td> <td valign="top" align="left" colspan=5 style="border-top:1px solid skyblue"> '''Epilogue:'''<br> According to Sniedovich (2007) this is an important reminder of the central issue in decision-making under severe uncertainty. The estimate we have is a poor indication of the true value of the parameter of interest and is likely to be substantially wrong. Therefore, in the case of info-gap it is important to show the gap on the map by displaying the true value of <math>\ \displaystyle u \ </math> somewhere in the region of uncertainty. The small red <math>\ \clubsuit\ </math> represents the true (unknown) location of the treasure. </td> </table> </center><p> '''In summary:'''<p> Info-gap's robustness model is a mathematical representation of a local worst-case analysis in the neighborhood of a given estimate of the true value of the parameter of interest. Under severe uncertainty the estimate is assumed to be a poor indication of the true value of the parameter and is likely to be substantially wrong. <p> The fundamental question therefore is: Given the <blockquote style="font-size:115%"> *<font color="darkcyan">Severity</font> of the uncertainty *<font color="darkcyan">Local</font> nature of the analysis *<font color="darkcyan">Poor</font> quality of the estimate </blockquote> how meaningful and useful are the results generated by the analysis, and how sound is the methodology as a whole? More on this criticism can be found on [http://www.moshe-online.com/infogap Sniedovich's web site.] == Discussion == ====Satisficing and bounded rationality ==== It is correct that the info-gap robustness function is local, and has restricted quantitative value in some cases. However, a major purpose of decision analysis is to provide focus for subjective judgments. That is, regardless of the formal analysis, a framework for discussion is provided. Without entering into any particular framework, or characteristics of frameworks in general, discussion follows about proposals for such frameworks. Simon <ref> Simon, Herbert A., 1959, Theories of decision making in economics and behavioral science, ''American Economic Review'', vol.49, pp.253-283.</ref> introduced the idea of [[bounded rationality]]. Limitations on knowledge, understanding, and computational capability constrain the ability of decision makers to identify optimal choices. Simon advocated [[satisficing]] rather than optimizing: seeking adequate (rather than optimal) outcomes given available resources. Schwartz <ref> Schwartz, Barry, 2004, ''Paradox of Choice: Why More Is Less'', Harper Perennial.</ref>, Conlisk <ref>Conlisk, John, 1996, Why bounded rationality? ''Journal of Economic Literature'', XXXIV, pp.669-700.</ref> and others discuss extensive evidence for the phenomenon of bounded rationality among human decision makers, as well as for the advantages of satisficing when knowledge and understanding are deficient. The info-gap robustness function provides a means of implementing a satisficing strategy under bounded rationality. For instance, in discussing bounded rationality and satisficing in conservation and environmental management, Burgman notes that "Info-gap theory ... can function sensibly when there are 'severe' knowledge gaps." The info-gap robustness and opportuneness functions provide "a formal framework to explore the kinds of speculations that occur intuitively when examining decision options." <ref> Burgman, Mark, 2005, ''Risks and Decisions for Conservation and Environmental Management'', Cambridge University Press, Cambridge, pp.391, 394.</ref> Burgman then proceeds to develop an info-gap robust-satisficing strategy for protecting the endangered orange-bellied parrot. Similarly, Vinot, Cogan and Cipolla <ref> P. Vinot, S. Cogan and V. Cipolla, 2005, A robust model-based test planning procedure ''Journal of Sound and Vibration'', 288, Issue 3, p.572</ref> discuss engineering design and note that "the downside of a model-based analysis lies in the knowledge that the model behavior is only an approximation to the real system behavior. Hence the question of the honest designer: how sensitive is my measure of design success to uncertainties in my system representation? ... It is evident that if model-based analysis is to be used with any level of confidence then ... [one must] attempt to satisfy an acceptable sub-optimal level of performance while remaining maximally robust to the system uncertainties."<ref> P. Vinot, S. Cogan and V. Cipolla, 2005, ''op. cit.''</ref> They proceed to develop an info-gap robust-satisficing design procedure for an aerospace application. ===Alternatives to info-gap=== Of course, decision in the face of uncertainty is nothing new, and attempts to deal with it have a long history. A number of authors have noted and discussed similarities and differences between info-gap robustness and [[minimax]] or worst-case methods <ref name="ybh 2005 crc"/> <ref name="takewaki and ybh 2005" /> <ref name="ybh 2005 var"/> <ref name="tahan ben-asher 2005"/> <ref> Z. Ben-Haim and Y. C. Eldar, Maximum set estimators with bounded estimation error, ''IEEE Trans. Signal Processing'', vol. 53, no. 8, August 2005, pp. 3172-3182.</ref> <ref> Babuöka, I., F. Nobile and R. Tempone, 2005, Worst case scenario analysis for elliptic problems with uncertainty, ''Numerische Mathematik'' (in English) vol.101 pp.185ñ219.</ref>. Sniedovich <ref name="sniedo 2007"> M. Sniedovich, 2007, The art and science of modeling decision-making under severe uncertainty, ''Decision-Making in Manufacturing and Services,'' Volume 1, Issue 1-2, pp. 109-134. </ref> has demonstrated formally that the info-gap robustness function can be represented as a minimax optimization, and is thus related to Wald's minimax theory. Sniedovich <ref name="sniedo 2007"/> has claimed that info-gap's robustness analysis is conducted in the neighborhood of an estimate that is likely to be substantially wrong, concluding that the resulting robustness function is equally likely to be substantially wrong. On the other hand, the estimate is the best one has, so it is useful to know if it can err greatly and still yield an acceptable outcome. This critical question clearly raises the issue of whether robustness (as defined by info-gap theory) is qualified to judge whether confidence is warranted,<ref>Yakov Ben-Haim, Scott Cogan and Laetitia Sanseigne, 1998, Usability of Mathematical Models in Mechanical Decision Processes, ''Mechanical Systems and Signal Processing'', vol. 12: 121-134.</ref><ref name="ybh rrms 1996"> Yakov Ben-Haim, ''Robust Reliability in the Mechanical Science,'' Springer, Berlin ,1996.</ref> <ref>(See also chapter 4 in Yakov Ben-Haim, Ref. 2.)</ref> and how it compares to methods used to inform decisions under uncertainty using considerations '''not''' limited to the neighborhood of a bad initial guess. Answers to these questions vary with the particular problem at hand. Some general comments follow. ==== Robust optimization ==== The robust optimization literature <ref name="rosenhead 72">M.J. Rosenhead, M. Elton, and S.K. Gupta, 1972, Robustness and Optimality as Criteria for Strategic Decisions, Operational Research Quarterly, 23(4), 413-430.</ref> <ref name="rosenblatt 87">M.J. Rosenblatt and H.L. Lee, 1987, A robustness approach to facilities design, International Journal of Production Research, 25(4), 479-486.</ref> <ref name="kouvelis 97">P. Kouvelis and G. Yu, 1997, Robust Discrete Optimization and Its Applications, Kluwer.</ref> <ref name="rustem 02">B. Rustem and M. Howe, 2002, Algorithms for Worst-case Design and Applications to Risk Management, Princeton University Press.</ref> <ref name="lempert 03">R.J. Lempert, S.W. Popper, and S.C. Bankes, 2003, Shaping the Next One Hundred Years: New Methods for Quantitative, Long-Term Policy Analysis, The Rand Corporation.</ref> <ref name="ben-tal 06">A. Ben-Tal, L. El Ghaoui, and A. Nemirovski, 2006, Mathematical Programming, Special issue on Robust Optimization, Volume 107(1-2).</ref> provides methods and techniques that take a '''global''' approach to robustness analysis. These methods directly address decision under '''severe''' uncertainty, and have been used for this purpose for more than thirty years now. [[Abraham Wald|Wald]]'s [[minimax|Maximin]] model is the main instrument used by these methods. The principal difference between the [[minimax|Maximin]] model employed by info-gap and the various [[minimax|Maximin]] models employed by robust optimization methods is in the manner in which the total region of uncertainty is incorporated in the robustness model. Info-gap takes a local approach that concentrates on the immediate neighborhood of the estimate. In sharp contrast, robust optimization methods set out to incorporate in the analysis the entire region of uncertainty, or at least an adequate representation thereof. In fact, some of these methods do not even use an estimate. ===Comparative analysis=== Classical decision theory <ref name="resnik 87"/><ref name="french 88"/> offers two approaches to decision-making under severe uncertainty, namely [[minimax|Maximin]] and Laplaces' [[Principle of insufficient reason]]. As indicated above, info-gap's robustness model is a simple instance of the generic [[minimax|Maximin]] model. Therefore, all that needs to be pointed out here is that whatever info-gap's robustness model can do the generic [[minimax|Maximin]] model can do -- and much more. Indeed, as attested by the rich literature on robust optimization, [[minimax|Maximin]] provides a wide range of methods for decision making in the face of severe uncertainty. As for Laplaces' [[Principle of insufficient reason]], in this context it is convenient to view it as an ``instance'' of [[Bayesian probability|Bayesian analysis]]. The essence of the [[Bayesian probability|Bayesian analysis]] is applying probabilities for different possible realizations of the uncertain parameters. In the case of Knightian (non-probabilistic) uncertainty, these probabilities represent the decision makerís "degree of belief" in a specific realization. In our example, suppose there are only five possible realizations of the uncertain revenue to allocation function. The decision maker believes that the estimated function is the most likely, and that the likelihood decreases as the difference from the estimate increases. Figure 11 exemplifies such a probability distribution. [[image:IGT-example11.png|thumb|right|Figure 11 ñ Probability distribution of the revenue function realizations]] Now, for any allocation, one can construct a probability distribution of the revenue, based on his prior beliefs. The decision maker can then choose the allocation with the highest expected revenue, with the lowest probability for an unacceptable revenue, etc. The most problematic step of this analysis is the choice of the realizations probabilities. When there is an extensive and relevant past experience, an expert may use this experience to construct a probability distribution. But even with extensive past experience, when some parameters change, the expert may only be able to estimate that <math>A</math> is more likely than <math>B</math>, but will not be able to reliably quantify this difference. Furthermore, when conditions change drastically, or when there is no past experience at all, it may prove to be difficult even estimating whether <math>A</math> is more likely than <math>B</math>. Nevertheless, methodologically speaking, this difficulty is not as problematic as basing the analysis of a problem subject to severe uncertainty on a single point estimate and its immediate neighborhood, as done by info-gap. And what is more, contrary to info-gap, this approach is global, rather than local. Still, it must be stressed that [[bayesian probability|Bayesian analysis]] does not expressly concern itself with the question of robustness. It should also be noted that Bayesian analysis raises the issue of ''learning from experience'' and adjusting probabilities accordingly. In other words, decision is not a one-stop process, but profits from a sequence of decisions and observations. == External links == * [http://www.technion.ac.il/yakov/IGT/igt.htm Further information on info-gap theory] * [http://www.moshe-online.com/infogap/ Further analysis and critique of info-gap] ==See also== *[[Decision theory]] *[[Decision analysis]] *[[Bayesian inference]] *[[Bayesian probability]] *[[Bayesian estimation]] *[[Hierarchical Bayes model]] *[[List of publications in statistics]] *[[Markov chain Monte Carlo]] == Notes on the art of math modeling == <!-- <div align="center" style="font-size:120%; padding:3px;border:1px red dashed;background-color:beige"> The Art of Math Modeling </div> --> === Constraint satisficing vs payoff optimization === Any satisficing problem can be formulated as an optimization problem. To see that this is so, let the objective function of the optimization problem be the [[indicator function]] of the constraints pertaining to the satisficing problem. Thus, if our concern is to identify a worst-case scenario pertaining to a constraint, this can be done via a suitable Maximin/Minimax worst-case analysis of the indicator function of the constraint. This means that the generic decision theoretic models can handle outcomes that are induced by '''constraint satisficing''' requirements rather than by say '''payoff maximization.''' In particular, note the equivalence <center> <math> r \le f(x) \ \ \longleftrightarrow \ \ 1 \le I(x) </math> </center> where <center> <math> I(x):= \begin{cases} 1 &, \ \ r \le f(x) \\ 0 &,\ \ r > f(x) \end{cases}\ , \ x\in X </math> </center> and therefore <center> <math> x\in X, r \le f(x) \ \ \ \longleftrightarrow \ \ \ x=\arg\, \max_{x\in X} I(x) </math> </center> In practical terms, this means that an antagonistic Nature will aim to select a state that will violate the constraint whereas a sympathetic Nature will aim to select a state that will satisfy the constraint. As for the outcome, the penalty for violating the constraint is such that the decision maker will refrain from selecting a decision that will allow Nature to violate the constraint within the state space pertaining to the selected decision. === The role of "min" and "max" === It should be stressed that the feature according info-gap's robustness model its typical [[minimax|Maximin]] character is not the presence of both <math>\ \displaystyle \min \ </math> and <math>\ \displaystyle \max \ </math> in the formulation of the info-gap model. Rather, the reason for this is a deeper one. It goes to the heart of the conceptual framework that the [[minimax|Maximin]] model captures: Nature playing against the DM. This is what is crucial here. To see that this is so, let us generalize info-gap's robustness model and consider the following modified model instead: <center> <math> z(q):= \max\{\alpha: R(q,u) \in C, \forall u \in \mathcal{U}(\alpha,\tilde{u})\} </math> </center> where in this context <math>\ \displaystyle C \ </math> is some set and <math>\ R\ </math> is some function on <math>\ \displaystyle \mathcal{Q}\times \mathfrak{U} </math>. Note that it is not assumed that <math>\ \displaystyle R \ </math> is a real-valued function. Also note that "min" is absent from this model. All we need to do to incorporate a ''min''&nbsp; into this model is to express the constraint <center> <math> R(q,u) \in C \ , \ \forall u \in \mathcal{U}(\alpha,\tilde{u}) </math> </center> as a worst-case requirement. This is a straightforward task, observing that for any triplet <math>\ \displaystyle (q,\alpha.u)\ </math> of interest we have <center> <math> R(q,u) \in C \ \ \ \longleftrightarrow \ \ \ \alpha \le I(q,\alpha,u) </math> </center> where <center> <math> I(q,\alpha,u):= \begin{cases} \quad \alpha &, \ \ R(q,u) \in C\\ -\infty &, \ \ R(q,u) \notin C \end{cases} \ , \ q\in \mathcal{Q}, u\in \mathcal{U}(\alpha,\tilde{u}) </math> </center> hence, <center> <math> \begin{array}{ccl} \max\{\alpha: R(q,u) \in C, \forall u \in \mathcal{U}(\alpha,\tilde{u})\} &=& \max\{\alpha: \alpha \le I(q,\alpha,u), \forall u \in \mathcal{U}(\alpha,\tilde{u})\} \\ &=& \max\{\alpha: \alpha \le\displaystyle \min_{u \in \mathcal{U}(\alpha,\tilde{u})} I(q,\alpha,u)\} \end{array} </math> </center> which, of course, is a [[minimax|Maximin]] model a la Mathematical Programming. In short, <center> <math> \max\{\alpha: R(q,u) \in C, \forall u \in \mathcal{U}(\alpha,\tilde{u})\} = \max_{\alpha\ge 0}\ \min_{u \in \mathcal{U}(\alpha,\tilde{u})} I(q,\alpha,u)\} </math> </center> Note that although the model on the left does not include an explicit "min", it is nevertheless a typical Maximin model. The feature rendering it a [[minimax|Maximin]] model is the <math>\ \displaystyle \forall \ </math> requirement which lends itself to an intuitive worst-case formulation and interpretation. In fact, the presence of a double "max" in an info-gap robustness model does not necessarily alter the fact that this model is a [[minimax|Maximin]] model. For instance, consider the robustness model <center> <math> \max\{\alpha: r_{c}\ge \max_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\} </math> </center> This is an instance of the following [[minimax|Maximin]] model <center> <math> \max_{\alpha \ge 0} \min_{u\in \mathcal{U}(\alpha,\tilde{u})} \vartheta(q,\alpha,u) </math> </center> where <center> <math> \vartheta(q,\alpha,u):= \begin{cases} \quad \alpha &, \ \ r_{c} \ge R(q,\alpha)\\ -\infty &,\ \ r_{c} < R(q,\alpha) \end{cases} </math> </center> The "inner min" indicates that Nature plays against the DM -- the "max" player -- hence the model is a robustness model. === The nature of the info-gap/Maximin/Minimin connection === This modeling issue is discussed here because claims have been made that although there is a close relationship between info-gap's robustness and opportuneness models and the generic [[minimax|Maximin]] and Minimin models, respectively, the description of info-gap as an '' instance of ''&nbsp; these models is too strong. The argument put forward is that although it is true that info-gap's robustness model can be expressed as a [[minimax|Maximin]] model, the former is not an instance of the latter. This objection apparently stems from the fact that any optimization problem can be formulated as a Maximin model by a simple employment of ''dummy''&nbsp; variables. That is, clearly <center> <math> \min_{x\in X} f(x) = \max_{y\in Y}\min_{x\in X} g(y,x) </math> </center> where <center> <math> g(y,x) = f(x) \ , \ \forall x\in X, y\in Y </math> </center> for any arbitrary non-empty set <math>\ \displaystyle Y \ </math>. The point of this objection seems to be that we are running the risk of watering down the meaning of the term '' instance ''&nbsp; if we thus contend that any minimization problem is an instance of the [[minimax|Maximin]] model. It must therefore be pointed out that this concern is utterly unwarranted in the case of the info-gap/Maximin/Minimin relation. The correspondence between info-gap's robustness model and the generic [[minimax|Maximin]] model is neither contrived nor is it formulated with the aid of dummy objects. The correspondence is immediate, intuitive, and compelling hence, aptly described by the term '' instance of ''. Specifically, as shown above, info-gap's robustness model is an instance of the generic Maximin model specified by the following constructs: <center> <math> \begin{array}{rccl} \text{Decision Space} & D & = & (0,\infty)\\ \text{State Spaces} & S(d) & = & \mathcal{U}(d,\tilde{u})\\ \text{Outcomes} & g(d,s) & = & \varphi(q,d,s) \end{array} </math> </center> Furthermore, those objecting to the use of the term '' instance of ''&nbsp; should note that the Maximin model formulated above has an equivalent so called '' Mathematical Programming ''&nbsp; (MP) formulation deriving from the fact that <center><math> \begin{array}{ccc} \text{Classical Maximin Format}&& \text{MP Maximin Format}\\ \displaystyle \max_{d\in D} \ \min_{s \in S(d)}\ g(d,s) &=& \displaystyle \max_{d\in D,\alpha \in \mathbb{R}}\{\alpha: \alpha \le \min_{s\in S(d)} g(d,s)\} \end{array} </math> </center> where <math>\ \mathbb{R} \ </math> denotes the real line. So here are side by side info-gap's robustness model and the two equivalent formulations of the generic [[minimax|Maximin]] paradigm: <center> <math> \begin{array}{c}\textit{Robustness\ Model} \end{array}</math><br> &nbsp;<br> <math> \begin{array}{c|c|c} \text{Info-gap Format}& \text{MP Maximin Format}&\text{Classical Maximin Format}\\ \hline \\[-0.18in] \displaystyle \max\{\alpha: r_{c} \le \min_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\}&\displaystyle \max\{\alpha: \alpha \le \min_{u \in \mathcal{U}(\alpha,\tilde{u})}\ \varphi(q,\alpha,u)\}&\displaystyle \max_{\alpha\ge 0} \ \min_{u\in \mathcal{U}(\alpha,\tilde{u})} \varphi(q,\alpha,u) \end{array} </math> </center> Note that the equivalence between these three representations of the same decision-making situation makes no use of dummy variables. It is based on the equivalence <center> <math> r_{c} \le R(q,u) \longleftrightarrow \alpha \le \varphi(q,\alpha,u) </math> </center> deriving directly from the definition of the characteristic function <math>\ \displaystyle \varphi \ </math>. Clearly then, info-gap's robustness model is an instance of the generic [[minimax|Maximin]] model. Similarly, for info-gap's opportuneness model we have <center> <math> \begin{array}{c}\textit{Opportuneness\ Model} \end{array}</math><br> &nbsp;<br> <math> \begin{array}{c|c|c} \text{Info-gap Format}& \text{MP Minimin Format}&\text{Classical Minimin Format}\\ \hline \\[-0.18in] \displaystyle \min\{\alpha: r_{w} \le \max_{u\in \mathcal{U}(\alpha,\tilde{u})} R(q,u)\} & \displaystyle \min\{\alpha: \alpha \ge \min_{u \in \mathcal{U}(\alpha,\tilde{u})}\ \psi(q,\alpha,u)\} & \displaystyle \min_{\alpha\ge 0} \ \min_{u\in \mathcal{U}(\alpha,\tilde{u})} \psi(q,\alpha,u) \end{array} </math> </center> Again, it should be stressed that the equivalence between these three representations of the same decision-making situation makes no use of dummy variables. It is based on the equivalence <center> <math> r_{c} \le R(q,u) \longleftrightarrow \alpha \ge \psi(q,\alpha,u) </math> </center> deriving directly from the definition of the characteristic function <math>\ \displaystyle \psi \ </math>. Thus, to "help" the DM minimize <math>\ \displaystyle \alpha \ </math>, a sympathetic Nature will select a <math>u \in \mathcal{U}(\alpha,\tilde{u})\ </math> that minimizes <math>\ \psi(q,\alpha,u) \ </math> over <math>\ \displaystyle \mathcal{U}(\alpha,\tilde{u})\ </math> . Clearly, info-gap's opportuneness model is an instance of the generic Minimin model. === Other formulations === There are of course other valid representations of the robustness/opportuneness models. For instance, in the case of the robustness model, the outcomes can be defined as follows (Sniedovich 2007<ref name="sniedo 07" />) : <center> <math> g(\alpha,u):= \alpha \cdot \left(r_{c} \preceq R(q,u)\right) </math> </center> where the binary operation <math>\ \ \preceq \ \ </math> is defined as follows: <center> <math> a \preceq b := \begin{cases} 1 &, \ \ a\le b \\ 0 &,\ \ a>b \end{cases} </math> </center> The corresponding MP format of the [[minimax|Maximin]] model would then be as follows: <center> <math> \max\{\alpha: \alpha \le \min_{u\in \mathcal{U}(\alpha,\tilde{u})} \alpha \cdot \left(r_{c} \preceq R(q,u)\right) \} = \max\{\alpha: 1 \le \min_{u\in \mathcal{U}(\alpha,\tilde{u})} \left(r_{c} \preceq R(q,u)\right)\} </math> </center> In words, to maximize the robustness, the DM selects the largest value of <math>\ \alpha \ </math> such that the performance constraint <math>\ r_{c} \le R(q,u) \ </math> is satisfied by all <math>\ u\in \mathcal{U}(\alpha,\tilde{u})\ </math>. In plain language: the DM selects the largest value of <math>\ \displaystyle \alpha \ </math> whose worst outcome in the region of uncertainty of size <math>\ \displaystyle \alpha \ </math> satisfies the performance requirement. === Simplifications === As a rule the classical [[minimax|Maximin]] formulations are not particularly useful when it comes to '''solving''' the problems they represent, as no "general purpose" [[minimax|Maximin]] solver is available (Rustem and Howe 2002 <ref name="rustem 02" />). It is common practice therefore to simplify the classical formulation with a view to derive a formulation that would be readily amenable to solution. This is a problem-specific task which involves exploiting a problem's specific features. The mathematical programming format of [[minimax|Maximin]] is often more user-friendly in this regard. The best example is of course the classical [[minimax|Maximin]] model of [[Game theory|2-person zero-sum games]] which after streamlining is reduced to a standard [[linear programming]] model (Thie 1988<ref name="thie 88"/>, pp. 314-317) that is readily solved by [[linear programming]] [[Simplex algorithm|algorithms]]. To reiterate, this [[linear programming]] model is an instance of the generic [[Minimax|Maximin]] model obtained via simplification of the classical [[minimax|Maximin]] formulation of the [[Game theory|2-person zero-sum game]]. Another example is [[dynamic programming]] where the Maximin paradigm is incorporated in the dynamic programming functional equation representing sequential decision processes that are subject to severe uncertainty (eg. Sniedovich 2003<ref name="sniedo 03">Sniedovich M., OR/MS Games: 3. The Counterfeit coin problem, INFORMS Transactions in Education, Vol. 3(2), 32-41, 2003.</ref><ref name="sniedo 03a">Sniedovich, M., OR/MS Games: 4. The joy of egg-dropping in Braunschweig and Hong Kong, INFORMS Transactions on Education, 4(1), 48-64, 2003.</ref>). === Summary === Recall that in plain language the [[minimax|Maximin]] paradigm maintains the following: <blockquote style="background:beige;font-size:115%; padding:5px; border:1px dashed darkcyan"> <center>''Maximin Rule''</center> The maximin rule tells us to rank alternatives by their worst possible outcomes: we are to adopt the alternative the worst outcome of which is superior to the worst outcome of the others.<div align="right">Rawls (1971, p. 152)</div> </blockquote> Info-gap's robustness model is a simple instance of this paradigm that is characterized by a specific decision space, state spaces and objective function, as discussed above. Much can be gained by viewing info-gap's theory in this light. == References == {{reflist|1}} [[Category:Decision theory]]