35
A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Embed Size (px)

Citation preview

Page 1: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

A Third Paradigm for Decision Analysis

Love Ekenberg

Dept. of Computer and Systems SciencesStockholm University

Royal Institute of Technology

Page 2: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Our Research

Analyses and implementation of decision theoretical aspects for artificial as well as for human decision makers.

Algorithms and methods for how decision theoretical and stochastical features can be integrated into specifications.

Methods for handling estimates in centralised and decentralised architectures.

Simulation and evaluation models for cathastrophic events.

Page 3: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Computational Aspects

Conceptualisation of computationallly meaningful decision rules for decision support.

Monte Carlo simulations, statistical modelling, and integration of methods for data extraction.

Integration techniques for analyses of properties of distributions.

Development of fast algorithms for non linear optimization.

Page 4: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Problems with Decision Analysis

PMEU is not a God-given selection rule Value assignments are not easy even if they

are mathematically nice to handle. Our background information is often

incomplete, i.e., probabilities are often not possible to assert.

The epistemological properties of weights, probabilities and values are unclear.

Page 5: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Nevertheless…

An enormous problem is that precise value assignments and probability estimates are usually made anyway.

This is ABSURD and a cause of many bad decisions.

The results looks nice in presentations, but they are meaningless.

Let us take decisions seriously and see what can be done.

Page 6: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Alternative Approaches for Handling Uncertainty

– Possibility theory (Dubois and Prade, Cooman)

– Capacities of order 2 (Choquet, Huber and Strassen, Denneberg)

– Evidence theory and belief functions (Dempster, Shafer, Yager, Smets)

– Various kinds of logic (Nilsson, Wilson)

Page 7: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Alternative Approaches for Handling Uncertainty

– Upper and lower probabilities (Smith, Hodges and Lehmann, Hurwicz, Wald, Kyburg, Weichselberger and Pöhlman, Malmnäs, Danielson and Ekenberg)

– Sets of probability measures (Good, Levi)– Second-order probability theory (Gärdenfors

and Sahlin, Ekenberg and Thorbiörnson)

Page 8: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Alternative Approaches for Handling Uncertainty

– fuzzy measures (capacities of order 1) (Bellman and Zadeh, Barrett, Chen and Hwang, Lai, Carlsson and Fuller, Triantaphyllou and Lin, Ribeiro, Cutello and Montero)

Page 9: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Can We Relax?

Not yet! Very few address the computational problems. Useless for practical decision making.

Page 10: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

A Basic Approach to Real Life Decision Making

Many decision problems can be seen as analysing multi-linear equations under linear constraints.

Page 11: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

A Computational Approach to Imprecise Decision Making

The probability of consequence c is greater than 25%

The value of consequence c is between 100 and 300

Consequence c is preferred to consequence d

Page 12: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Representation

p11[0, 0.6], p12[0.3, 0.5], p13[0.1, 0.5] and p11 + p12 + p13 = 1

Page 13: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Evaluation

Given a decision problem, analyse

k pik·vik –  k pjk·vjk,

over all consequences in the two alternatives.

This is just bilinear for demonstrational purposes, but already here the computational efforts are severe using standard optimization techniques.

Page 14: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

A Model

Page 15: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Evaluation

Page 16: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Evaluation

Page 17: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Evaluation

Thus, in many cases, second order effects must be taken into consideration, i.e., what is the strengths of beliefs in the various values.

Page 18: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

By a belief distribution over B, we mean a positive distribution g defined on the unit cube B such that

2nd Order Information

( ) ( ) 1B

B

g x dV x

Page 19: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Depth in Decision Trees

Let f1(x1),…, fm(xm) be uniform belief distributions over the intervals [0, 1]. The product hm(zm) over these m factors is the distribution

1 1( 1 )( ( ))( )

( 1)!

m mm

m mLog z

h zm

2 m

ch

Page 20: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Depth in Decision Trees

0.2 0.4 0.6 0.8 1

2

4

6

8

Page 21: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

2nd Order Information

Page 22: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

The range for A1 is 0 to 0.30 The range for A2 is 0.02 to 0.28 Traditional interval analysis cannot

discriminate between them. However, the main mass of A1 is between,

say, 0.06 and 0.13 and the main mass of A2 is roughly between 0.16 and 0.24.

2nd Order Information

Page 23: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Evaluation

Page 24: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Result

Thus, in this case, there were no need for precise data.

This is often the case in real life decisions.

As usual, it is just to think a bit more.

Page 25: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Storing spent nuclear waste in Sweden (SKN, Statens Kärnbränslenämnd)

Large purchasing decisions at the Swedish Rail Administration (Banverket, around 1 billion Euro)

Choice of effective orthopedic forms of treatment (The Swedish National Board of Health and Welfare)

Some Real Life Cases

Page 26: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Model for risk management regarding evaluation of cost- and accessibility in cases of unplanned traffic disturbances (Swedish Telecom)

Choice of supporting system (Insurance company)Public-private flood insurance system for Hungary (IIASA and the Hungarian Academy of Sciences)

Land planning (Nacka Municipality)

Some Real Life Cases

Page 27: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology
Page 28: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Conclusions

The human intuition is not an adequate tool for decision making and decision support is necessary.

Traditional decision support is insufficient. The time consumption in real life analyses is

often very high .

Page 29: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Conclusions

We have completely solved this with our algorithms.

We can handle all explicit alternatives, criteria, consequences, weights, values and probabilities within the same framework.

The algorithms are implemented in a computer tool of commercial quality.

The experience of using this are very good.

Page 30: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Ex Vascular Necrosis

A patient 68 years old is going to decide between amputation below the left knee or treatment with medicines only.

The risk of death when performing an amputation below the left knee is less than 1 %.

When using medicines only, the probability of to later be forced to performing an amputation above the knee is 20-30 %. In such an operation is the death risk 5-10 %.

Page 31: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Consequences

Alternative 1 C11: Amputation below the left knee, fine otherwise C12: Dead

Alternative 2 C21: Completely fine N22: Amputation above the left knee C221: Dead C222: Fine with above knee

Page 32: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Probabilities

C11: (Amputation below knee) >99% C12: (Dead) <1% C21: (Fine) 70-80% N22: (Amputation above knee) 20-30% C221: (Dead) 5-10% C222: (Fine) 90-95%

Page 33: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

The Problem of Valuation

The probabilities are in a sense ok, since we have statistically valid information.

But how could we possibly quantify the values?

Of course, we can assert values, but will they really be adequate?

Page 34: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

The consequences are practically impossible to value exactly, but they can resonable be ranked.

Fine is better than amputation below the knee. Amputation below the knee is better than amputation

above the knee. Amputation above the knee is better than dead. Transitive properties follows.

Finding a Realistic Model

Page 35: A Third Paradigm for Decision Analysis Love Ekenberg Dept. of Computer and Systems Sciences Stockholm University Royal Institute of Technology

Furthermore, we can assert that u(Fine) = 1 and that u(dead) = 0.

This is just a matter of convention. The scale could be arbitrary.

Compare to a temperatur measure like Celsius.

Finding a Realistic Model