Pˇredn´aˇsky z Teorie her (THE) Game Theory Martin Hrub´y Brno University of Technology Brno Czech Republic
September 22, 2014
Martin Hrub´ y
THE: u ´vod, teorie volby
´ Uvod - Matematick´a teorie her ◮
Vˇedn´ı discipl´ına zkoumaj´ıc´ı racion´ aln´ı lidsk´e chov´an´ı pˇri rozhodov´an´ı (jsou i dalˇs´ı sloˇzky/projevy inteligence).
◮
Multi-oborov´a discipl´ına - matematika, ekonomie, sociologie, politologie, biologie, informatika, ...
◮
Z mnoha d˚ uvod˚ u je snaha chov´ an´ı lid´ı studovat, analyzovat a modelovat c´ılem je chov´an´ı pochopit a predikovat (dle moˇznost´ı – nebudeme vˇeˇstit)
◮
◮
v druh´e ˇc´asti semestru budeme zkoumat mechanismy (a jejich n´avrh), kter´e zp˚ usob´ı, ˇze se racion´aln´ı jedinec bude chovat tak, jak chceme my
Pozn´amka: Teorie her nen´ı nauka o programov´ an´ı poˇc´ıtaˇcov´ych her. Martin Hrub´ y
THE: u ´vod, teorie volby
Z historie model˚ u rozhodov´an´ı Talmud(0-500AD) – n´ avody a pˇrik´ az´ an´ı v obchodu, pr´avu a bˇeˇzn´em ˇzivotˇe. Proslavil se zejm´ena probl´em ”marriage contract problem” – muˇz mˇel tˇri ˇzeny, v urˇcit´em okamˇziku zemˇrel a zanechal odkaz E . Manˇzelky mˇely kontrahov´ ana pro tento pˇr´ıpad r˚ uzn´a dˇedictv´ı (100, 200, 300). Talmud doporuˇcuje spravedliv´e dˇelen´ı v pˇr´ıpadˇe, ˇze E je menˇs´ı neˇz suma kontrakt˚ u. V pˇr´ıpadˇe E = 100 je to (33.3, 33.3, 33.3), E = 200 pak (50,75,75), E = 300 pak (50, 100, 150). Aˇz v roce 1985 se uk´azalo, ˇze ˇreˇsen´ı Talmudu odpov´ıd´a poznatk˚ um o kooperativn´ıch hr´ach (nucleolus). Brams, S. J.: The Win-Win Solution: Guaranteeing Fair Shares to Everybody, v knihovnˇe Martin Hrub´ y
THE: u ´vod, teorie volby
Z historie (poznatky, v´ysledky) 1713 James Waldegrave uk´ azal prvn´ı zn´ am´e ˇreˇsen´ı ve sm´ıˇsen´ych strategi´ıch pro 2-hr´ aˇcov´e hry (hra Le Her). 1785 Condorcet˚ uv paradox 1838 Augustin Cournot publikoval model oligopolu, kter´y znaˇcnˇe pˇredstihl dobu. Odpov´ıd´ a dneˇsn´ımu Nashovu ekvilibriu. 1871 V knize ”The Descent of Man, and Selection in Relation to Sex” Charles Darwin publikoval prvn´ı (zat´ım intuitivn´ı) hernˇe-teoretickou argumentaci pro evoluˇcn´ı biologii. 1913 Zermelo’s Theorem 1921-27 Emile Borel – publikoval ˇctveˇrici ˇcl´ ank˚ uo strategick´ych hr´ ach. Poloˇzil prvn´ı form´aln´ı definici sm´ıˇsen´ych strategi´ı v minimax ˇreˇsen´ı her. 1928 John von Neumann dok´ azal minimax theorem v ˇcl´anku Zur Theorie der Gesellschaftsspiele. Martin Hrub´ y
THE: u ´vod, teorie volby
Z historie (poznatky, v´ysledky) 1930 F. Zeuthen: Problems of Monopoly and Economic Warfare. V kapitole IV naznaˇcil ˇreˇsen´ı ”bargaining problemu”, kter´e pozdˇeji Harsanyi uk´azal ekvivalentn´ı k Nash’s bargaining solution. 1944 John von Neumann and Oskar Morgenstern: Theory of Games and Economic Behavior. Povaˇzov´ana za jednu z nejv´yznamnˇejˇs´ıch matematick´ych knih 20. stolet´ı. 1950 Melvin Dresher and Merrill Flood (Rand Corporation): the Prisoner’s Dilemma. 1950-53 John F. Nash publikoval sv´e ˇreˇsen´ı v nekooperativn´ıch hr´ach a v teorii vyjedn´ av´ an´ı (bargaining). 1952-53 L. S. Shapley (Rand Corporation): j´ adro v kooperativn´ıch hr´ ach. Pak se to znaˇcnˇe rozjelo... Martin Hrub´ y
THE: u ´vod, teorie volby
Souˇcasn´y stav udˇelen´ych Nobelov´ych cen za teorii her 1972 1994 1996 2005 2007 2012
J.R. Hicks, K.J. Arrow J.C. Hersanyi, J.F. Nash, R. Selten J.A. Mirrlees, W. Vickrey R.J. Aumann, T.C. Schelling L. Hurwicz, E. S. Maskin, R.B. Myerson A. E. Roth, L. S. Shapley
Martin Hrub´ y
THE: u ´vod, teorie volby
Teorie her pro informatiky na FITu
◮
Teorie her je discipl´ına zapadaj´ıc´ı do inteligentn´ıch syst´em˚ u (UI).
◮
Umoˇzn´ı n´am formalizovat a modelovat specifickou ˇc´ast inteligence.
◮
V mnoha ohledech n´ am ulehˇc´ı pochopen´ı lidsk´eho chov´an´ı – ovˇsem vˇzdy na u ´rovni model˚ u.
◮
PSYCHOvˇedy: psychologie, psychiatrie, sociologie, politologie, ekonomie jsou z pohledu informatiky soft-vˇedy. ◮
◮
V´yjimky: experiment´aln´ı ekonomie/teorie her.
N´as zaj´ım´a matematika, modelov´ an´ı a simulace, algoritmizace, datov´e struktury, extr´emnˇe n´ aroˇcn´e v´ypoˇcty, ...
Martin Hrub´ y
THE: u ´vod, teorie volby
Teorie her pro hr´aˇce poˇc´ıtaˇcov´ych her Nebudeme dˇelat poˇc´ıtaˇcov´e hry. ◮
Poˇc´ıtaˇcov´e hry jsou bezesporu velk´y byznys v IT.
◮
Zn´ame nˇekolik typ˚ u poˇc´ıtaˇcov´ych her (nebudeme nyn´ı zav´adˇet typologii).
◮
Hry zn´am´e jako ”strategie” - tahov´e, real-time, ...
◮
V r´amci tˇechto poˇc´ıtaˇcov´ych her rozliˇsujeme dalˇs´ı pod-´ ulohy: grafika, simulaˇcn´ı j´ adro, model prostoru (GIS), inteligence poˇc´ıtaˇcov´eho protivn´ıka, ... ˇ asteˇcnˇe do toho zasahuj´ı Multi-agentn´ı syst´emy. C´
◮
V jist´em ohledu je studium THE jistou pr˚ upravou pro tento obor informatiky.
Martin Hrub´ y
THE: u ´vod, teorie volby
C´ıl pˇredmˇetu Teorie her (THE) ◮
Rozˇs´ıˇrit matematick´e vzdˇel´ an´ı a pˇrem´yˇslen´ı.
◮
Nauˇcit se analyzovat rozhodovac´ı situace, hledat v nich moˇzn´a ˇreˇsen´ı.
◮
Pˇredmˇet je u ´vodem do problematiky a m´ a m´ıt co moˇzn´a nejˇsirˇs´ı z´abˇer.
◮
Teorie her m´a taky sv´e pod-obory, zkus´ıme proj´ıt vˇsechny (vˇetˇsinu).
◮
Student by mˇel b´yt schopen analyzovat zadanou situaci a vytvoˇrit jej´ı matematick´y/poˇc´ıtaˇcov´y model. Na z´akladˇe modelu by mˇel b´yt schopen poznat chov´ an´ı modelovan´eho syst´emu, pˇr´ıpadnˇe predikovat pravdˇepodobn´e chov´an´ı hr´aˇc˚ u.
◮
V´ysledek studia her...
Martin Hrub´ y
THE: u ´vod, teorie volby
´ Uvod – Struktura a organizace pˇredmˇetu ◮ ◮
Pˇredn´aˇsky – 12 pˇredn´ aˇsek, 13. opakov´ an´ı. Projekt (nutn´y pro z´ apoˇcet) ◮
◮
◮
◮
◮
◮ ◮
Studijn´ı – nastudov´an´ı vybran´e kapitoly nad r´amec pˇredn´aˇsek, zpr´ava (origin´aln´ı, vlastn´ı v´yklad problematiky). Implementaˇcn´ı – implementace zvolen´e metody nebo algoritmu, zpr´ava. Aplikaˇcn´ı – implementace konkr´etn´ıho modelu, simulaˇcn´ı studie. Infiltraˇcn´ı – n´avˇstˇeva existuj´ıc´ı instituce tematicky pˇr´ıbuzn´e pˇredmˇetu, zpr´ava. Term´ın – viz organizace pˇredmˇetu.
Zkouˇska – obsah, term´ın (lze dohodnout). Konzultace, zpˇetn´ a vazba (reflexe a vyjedn´ av´ an´ı).
Studijn´ı literatura: ˇ FR0110/2010/F1). ◮ Knihy ve fakultn´ ı knihovnˇe (grant FRVS ◮ Studin´ ı texty Teorie her (pracovn´ı str´ anka kurzu). Martin Hrub´ y
THE: u ´vod, teorie volby
Pˇredn´aˇsky 1/3 Jedna pˇredn´aˇska vˇzdy znamen´ a jedno t´ema (tzn. nˇekter´e jsou informaˇcnˇe hustˇejˇs´ı, jin´e volnˇejˇs´ı). ´ 1. Uvod – organizace pˇredmˇetu, u ´vod do nezbytn´ych matematick´ych pojm˚ u, z´ aklady teorie rozhodov´an´ı. 2. Hry v norm´aln´ı formˇe (s nenulov´ym souˇctem) – z´akladn´ı pojmy, modelov´an´ı rozhodovac´ıch situac´ı, z´ aklady anal´yzy strategick´ych her, z´ akladn´ı modely oligopolu (Cournot˚ uv a Bertrand˚ uv model – analytick´e a simulaˇcn´ı ˇreˇsen´ı). 3. Hry v norm´aln´ı formˇe (s nulov´ym souˇctem) – vˇeta o Mini-maxu, sedlov´y bod, ˇreˇsen´ı. Line´ arn´ı optimalizace. 4. Algoritmy pro ˇreˇsen´ı strategick´ych her – algoritmy v´ypoˇctu ˇreˇsen´ı hry, vˇeta o existenci ˇreˇsen´ı (ekvilibria) a jej´ı d˚ ukaz. C´ıl: modelovat strategick´e situace. Poznat hernˇe-teoretickou matematiku. Martin Hrub´ y
THE: u ´vod, teorie volby
Pˇredn´aˇsky 2/3
7. Sekvenˇcn´ı (tahov´e) hry – z´ akladn´ı pojmy, modely, ˇreˇsen´ı, Stackelberg˚ uv model oligopolu. D˚ uvˇeryhodn´ a hrozba. SPNE. 8. Kooperativn´ı hry a vyjedn´ av´ an´ı (bargaining) – pojmy, modely, ˇreˇsen´ı. J´adro hry, Shapley value, Voting power, Nash bargaining solution. 9. Opakovan´e hry (repeated games) – vliv opakov´an´ı hry na strategick´e rozhodov´ an´ı hr´ aˇc˚ u. Opakov´ an´ı a kooperace. Korelovan´e ekvilibrium – motivace, definice, aplikace a v´ypoˇcet. C´ıl: jak´y vliv m´a spolupr´ ace na efektivnost naˇseho ˇzivota?
Martin Hrub´ y
THE: u ´vod, teorie volby
Pˇredn´aˇsky 3/3 10. Mechanism design – z´ akladn´ı pojmy, n´ avrh pravidel, strategick´a manipulace. Teorie veˇrejn´e volby (Public Choice) – volebn´ı mechanismy, Condorcet˚ uv paradox, Arrow˚ uv paradox (a dalˇs´ı). 11. Teorie aukc´ı – mechanismy aukc´ı, n´ avrh mechanismu aukce, modely. 12. Evoluˇcn´ı biologie – hern´ı podstata naˇs´ı evoluce, samoorganizace v populac´ıch jedinc˚ u. Stejn´e principy jsou ovˇsem platn´e napˇr. v modelov´ an´ı zat´ıˇzen´ı kom. s´ıt´ı. 13. Aplikace, pˇr´ıpadov´e studie – aplikace v modelov´an´ı energetick´ych trh˚ u. C´ıl: poznat, modelovat a navrhovat pravidla ve strategick´ych situac´ıch. Pˇr´ıpadov´a studie. Martin Hrub´ y
THE: u ´vod, teorie volby
´ Uvod do matematick´ych pojm˚ u
V THE budeme form´alnˇe definovat pojmy, algoritmy a postupy. ◮
Diskr´etn´ı matematika.
◮
Algebra.
◮
Matematick´a anal´yza.
◮
Pravdˇepodobnost. Statistika.
◮
Operaˇcn´ı v´yzkum.
Opakujeme a aplikujeme jiˇz z´ıskan´e matematick´e znalosti. THE je matematika naˇseho ˇzivota.
Martin Hrub´ y
THE: u ´vod, teorie volby
´ Uvod do matematick´ych pojm˚ u ◮
Pojem mnoˇzina – matematick´y objekt A, pro kter´y plat´ı, ˇze jsme schopni pro kaˇzd´y (∀) objekt o jednoznaˇcnˇe urˇcit, zda-li objekt o je nebo nen´ı prvkem A ◮ ◮
o ∈ A, o ∈ /A Mnoˇziny obvykle zapisujeme velk´ym p´ısmenem.
◮
Mnoˇzina nen´ı seznam. Kaˇzd´y prvek je tam pouze jednou (na rozd´ıl od multi-mnoˇziny).
◮
A = {a1 , a2 , ..., ax }. Pr´ azdn´ a mnoˇzina ∅.
◮
◮ ◮ ◮
|A| znaˇc´ı poˇcet prvk˚ u mnoˇziny (kardinalita mnoˇziny). + |A| = x, x ∈ N ∪ {0}.
Definice konkr´etn´ı mnoˇziny: B = {a ∈ A|condition(a)} Podmnoˇzina: ⊂, ⊆
Potenˇcn´ı mnoˇzina: 2A . Kolik m´ a prvk˚ u? Kolik je |2∅ |? Martin Hrub´ y
THE: u ´vod, teorie volby
Mnoˇzinov´e operace ◮ ◮
C = A ∪ B ⇔ ∀c ∈ C : c ∈ A ∨ c ∈ B C = A ∩ B ⇔ ∀c ∈ C : c ∈ A ∧ c ∈ B
C = A \ B ⇔ ∀c ∈ C : c ∈ A ∧ c ∈ /B C = {c ∈ A|c ∈ / B} P Oper´atory ∪, ∩, budeme pouˇz´ıvat s iteraˇcn´ı promˇennou: ◮
C=
[
fun(i )
N X
fun(i )
N X
fun(i )
i ∈N
I =
i =1
I =
i
Martin Hrub´ y
THE: u ´vod, teorie volby
Kart´ezsk´y souˇcin (angl. product), relace ◮
Q Kart´ezsk´y souˇcin (znaˇc´ıme × nebo ) mnoˇzin A a B je mnoˇzina uspoˇr´adan´ych dvojic C = A × B = {(a, b)|a ∈ A ∧ b ∈ B}.
◮
Relace – toto lidsk´e slovo m´ a opravdu hodnˇe v´yznam˚ u...
◮
Pro matematiku je bin´ arn´ı relace podmnoˇzinou kart´ezsk´eho souˇcinu mnoˇzin A a B (tzn. je to mnoˇzina uspoˇr´adan´ych dvojic). Definujeme i n-´ arn´ı relace R ⊆ A × B × C × ....
◮ ◮ ◮
R ⊆ A × B, R ⊆ A × A, R ⊆ A2 .
Notace: x = (a, b), x ∈ R, aRb ⇔ x ∈ R. R˚ uzn´e vlastnosti relac´ı.
Pˇr´ıklad: A = {1, 2, 3}; B = {x, y } A × B = {(1, x), (1, y ), (2, x), (2, y ), (3, x), (3, y )} R ⊆ A × B napˇr. R = {(1, x), (1, y )} Martin Hrub´ y
THE: u ´vod, teorie volby
Dalˇs´ı matematick´e znalosti
Bylo by dobr´e umˇet/ch´ apat: ◮ ◮
Pˇreˇc´ıst/pochopit matematick´y z´ apis. ´ Upravy algebraick´ych v´yraz˚ u (odvozov´ an´ı, zjednoduˇsov´an´ı).
◮
Vyˇreˇsen´ı line´arn´ı, kvadratick´e a jednoduch´e diferenci´aln´ı rovnice. Z´akladn´ı ˇreˇsen´ı soustav line´ arn´ıch rovnic.
◮
Derivovat. Hled´an´ı extr´em˚ u funkc´ı.
Nov´a znalost (moˇzn´a) bude: line´ arn´ı programov´ an´ı.
Martin Hrub´ y
THE: u ´vod, teorie volby
Z´akladn´ı pojmy THE: model situace ◮
Hra – hra je strategick´ a interakce dvou a v´ıce hr´aˇc˚ u.
◮
Hr´aˇc – hr´aˇc je u ´ˇcastn´ık hry.
◮
Strategie (akce) – varianty moˇzn´eho chov´ an´ı hr´aˇce.
◮
Zisk/Uˇzitek – hr´aˇc˚ uv v´ynos ze hry (uˇzitek je m´ıra uspokojen´ı ze zisku).
◮
Preference – rozliˇsen´ı strategi´ı nebo uˇzitk˚ u.
◮
Racionalita hr´aˇce – z´ akladn´ı pˇredpoklad pro ˇreˇsitelnost situace.
◮
Hran´ı hry – jak´ym zp˚ usobem hr´ aˇci realizuj´ı sv´e tahy. ˇ Reˇsen´ı hry – pravdˇepodobn´y zp˚ usob a v´ysledek chov´an´ı hr´aˇc˚ u.
◮
Hr´aˇc prov´ad´ı rozhodovan´ı nad strategiemi s c´ılem dos´ahnout individu´aln´ıho optim´aln´ıho v´ysledku (uˇzitku) ve hˇre. Selfish (sobeck´y) agent/hr´ aˇc. Martin Hrub´ y
THE: u ´vod, teorie volby
Hra a hr´aˇc Hra v pojet´ı TH je model situace – tzn. je to zjednoduˇsen´ı reality. Realitu abstrahujeme na hr´ aˇce, pravidla hry, strategie, preference, uˇzitek a hern´ı koncept. ◮
Hra m´a pravidla – v´ıme, jak se hra hraje.
◮
Hr´aˇci mohou m´ıt o hˇre r˚ uznou m´ıru informace.
◮
Nezkoum´ame, jestli je hr´ aˇc ve hˇre dobrovolnˇe, jestli chce hr´at, jak´e m´a pocity.
◮
Vˇsechno, co hr´aˇc v´ı, co zkoum´ a, co preferuje, vˇsechno je obsaˇzeno v modelu t´e situace (protivn´ıci, strategie, preference, uˇzitek, ˇreˇsen´ı hry).
◮
Hry proti pˇr´ırodˇe – pˇr´ıroda je hr´ aˇc bez strategick´eho chov´an´ı (o jeho chov´an´ı nelze ˇr´ıct nic v´ıc, neˇz ˇze svou strategii vol´ı n´ahodnˇe).
Martin Hrub´ y
THE: u ´vod, teorie volby
Pojmy model a simulace, opakov´an´ı ◮
Model syst´emu A je jin´y syst´em B, kter´y je mu jaksi podobn´y.
◮
Model je vˇzdy zjednoduˇsen´ı re´ aln´e situace/syst´emu.
◮
Modelov´an´ı je proces zd˚ uvodnˇen´eho zjednoduˇsov´an´ı sys. A.
◮
Simulace je proces experimentov´ an´ı s modelem (A B) jehoˇz c´ılem je z´ıskat nov´e znalosti o A prostˇrednictv´ım B.
Z´avˇer: budeme zkoumat inteligentn´ı rozhodov´ an´ı lid´ı prostˇrednictv´ım model˚ u. Mus´ıme se vyrovnat s faktem, ˇze naˇse modely budou pouze zjednoduˇsovat realitu s tou nadˇej´ı, ˇze zd˚ urazn´ı alespoˇ n ty aktu´ alnˇe relevantn´ı aspekty. V´yznam pojmu simulace v naˇsem pojet´ı: anal´yza hry a predikce v´ysledku hry. U poˇc´ıtaˇcov´ych model˚ u hern´ıch situac´ı je to opˇet proveden´ı experimentu s konkr´etn´ımi vstupy a konkr´etn´ım c´ılem. Martin Hrub´ y
THE: u ´vod, teorie volby
Strategie hr´aˇce ◮ ◮
Hr´aˇc prov´ad´ı rozhodov´ an´ı. Mus´ı poznat sv´e moˇznosti – identifikace jeho moˇznost´ı je souˇc´ast hr´aˇcov´ych analytick´ych schopnost´ı a taky jeho inteligence. ◮
◮
◮
◮
(v realitˇe): Pozn´an´ı tˇechto moˇznost´ı je de facto hr´aˇcovo know-how. V poˇc´ıtaˇcov´em modelov´an´ı rozhodovac´ı situace obvykle mus´ı model´aˇr s´am strategie urˇcit.
Vˇsechny strategie hr´ aˇce i ∈ Q ve hˇre tvoˇr´ı jeho mnoˇzinu strategi´ı – Si . Mnoˇziny strategi´ı hr´ aˇc˚ u jsou obecnˇe jin´e (aˇz disjunktn´ı, tzn. A ∩ B = ∅).
Budeme zkoumat tzv. mnoˇzinu strategick´ych profil˚ u Y S= Si i ∈Q
Martin Hrub´ y
THE: u ´vod, teorie volby
Uˇzitek a preference Uˇzitek: ◮
Uˇzitek (angl. utility) je vztaˇzen ke kaˇzd´e hr´ aˇcovˇe strategii. Na z´akladˇe uˇzitku m˚ uˇze hr´ aˇc prov´ adˇet rozhodov´ an´ı.
◮
V´ysledek (ˇreˇsen´ı, v´ystup, outcome) hry je spoleˇcn´y uˇzitek vˇsech hr´aˇc˚ u.
◮
Zisk a uˇzitek (pozdˇeji vˇse slouˇc´ıme do jednoho pojmu).
Preference: ◮
Preference je fenom´en veˇsker´eho modelov´ an´ı rozhodovac´ıch situac´ı.
◮
Preference nen´ı pˇredmˇetem rozhodov´ an´ı. Je to vstup do modelu. Kaˇzd´y m´ a jin´e preference (co to znamen´a?).
Preference hr´ aˇ ce nemus´ıme ch´ apat, ale mus´ıme je poznat a spr´ avnˇ e modelovat. Incentive (stimul, pohnutka, popud, ...). Martin Hrub´ y
THE: u ´vod, teorie volby
Vyj´adˇren´ı uˇzitku ◮
◮
◮
Obvykle velmi dobˇre ch´ apeme uˇzitek finanˇcn´ı – proˇc??? Ch´apeme jasnˇe hodnotu penˇez a jsme schopni srovn´avat dva r˚ uzn´e uˇzitky (1 CZK versus 1000 CZK). Uˇzitek je (subjektivn´ı) m´ıra uspokojen´ı plynouc´ı ze spotˇreby statk˚ u. Ve hr´ach o uˇzitku hr´ aˇce rozhoduj´ı i jeho protihr´aˇci.
Pˇr´ıstupy: ◮ Kardinalistick´ a teorie – jsme schopni vn´ımat velikost rozd´ılu mezi uˇzitky. ◮ Ordinalistick´ a teorie – nejsme schopni porovn´avat uˇzitky metrikou, ale alespoˇ n pozn´ ame lepˇs´ı uˇzitek. ◮ Zkoum´ ame preference na mnoˇzinˇe strategi´ı nebo na mnoˇzinˇe moˇzn´ych uˇzitk˚ u. Mnohdy je to zamˇeniteln´e. ◮ V´ yrazn´e probl´emy s preferenc´ı zaˇcnou aˇz u multi-kriteri´aln´ıho rozhodov´an´ı. Martin Hrub´ y
THE: u ´vod, teorie volby
Racionalita hr´aˇce Racionalita je pojem, kter´y poˇr´ adnˇe nech´ apou ani zkuˇsen´ı hern´ı teoretici. ◮
Racionalita hr´aˇce je z´ akladn´ı pˇredpoklad pro modelovatelnost situace (racionalita je deterministick´ a).
◮
Pojem s rozs´ahl´ym v´yznamem a mnoˇzstv´ım definic a pohled˚ u.
◮
Racion´aln´ı jedinec je schopen identifikovat sv´e c´ıle a podnik´a kroky k jejich dosaˇzen´ı.
◮
... je schopen promyslet situaci v cel´e jej´ı komplexnosti (nedˇel´a ukvapen´a rozhodnut´ı).
◮
... neˇr´ıd´ı se ”citem (intuic´ı)”, ale jeho postoje jsou matematicky zd˚ uvodniteln´e (logick´ a reakce na vstupy a stav situace).
◮
Racionalitu budeme form´ alnˇe definovat v Teorii volby/uˇzitku: hr´aˇc je schopen posoudit dvˇe strategie. Martin Hrub´ y
THE: u ´vod, teorie volby
Racionalita hr´aˇce
◮
Racion´aln´ı jedinec maximalizuje sv˚ uj uˇzitek.
◮
Racionalita mezi hr´ aˇci mus´ı b´yt common knowledge (vˇsichni si o sobˇe navz´ajem uvˇedomuj´ı, ˇze jsou racion´ aln´ı a souˇcasnˇe v´ı, ˇze v´ı...).
◮
Racionalita je jistota, je to logick´e chov´ an´ı.
Firma/jedinec neˇrekne, ˇze uˇz m´ a dost a d´ ale neprodukuje. Pokud to pˇresto ˇrekne, pak je souˇc´ ast´ı jej´ıho uˇzitku i jin´y faktor (napˇr. sledov´an´ı kvality ˇzivota ˇs´efa a zamˇestnanc˚ u). Pak je uˇzitek v´ıcesloˇzkov´y – (trˇzba, pohoda). ◮
... pak ovˇsem mus´ıme definovat oper´ ator preference
Martin Hrub´ y
THE: u ´vod, teorie volby
Trzby = R[CZK ], Pohoda = R[???] Rozhodovani ⊆ Trzby × Pohoda a moˇznost je lepˇs´ı? Klademe si ot´azku ∀r1 , r2 ∈ Rozhodovani : kter´ Je lepˇs´ı (1000, 20) neˇz (5000, 4)??? A co srovn´ an´ı s (20000, −10)? Pokud ˇrekneme, ˇze n´aˇs uˇzitek je d´ an funkc´ı u : Rozhodovani → R tak, ˇze 1pohoda = 100CZK , pak maximalizujeme funkci: u(trzba, pohoda) = trzba + 100 · pohoda Moˇzn´a podoba rozhodovac´ı mnoˇziny Rozhodovani (zˇrejmˇe je ohraniˇcen´a).
Martin Hrub´ y
THE: u ´vod, teorie volby
Preference, volba, uˇzitek a racionalita
◮
Potˇrebujeme formalizovat vztah mezi volbou a uˇzitkem. Formalizace=model.
◮
Ekonomick´e teorie.
◮
Zkoum´an´ı kˇrivek uˇzitku.
◮
M´ırn´a skepse nad t´ım, zda-li to v˚ ubec funguje.
Prozˇren´ı prognostika: v´ysledek modelu je vˇzdy expertn´ı n´azor na to, jak to m˚ uˇze fungovat. Pokud m´ a nˇekdo lepˇs´ı n´azor, pak sem s n´ım...!
Martin Hrub´ y
THE: u ´vod, teorie volby
´ Teorie volby - Uvod ˇ ano z: Cerp´ 1. McCarthy, N., Mierowitz, A.: Political Game Theory: An Introduction, Cambridge University Press, 2007 2. Magdal´ena Hykˇsov´ a: Pˇredn´ aˇsky z teorie her, Fakulta dopravn´ı ˇ CVUT ◮
◮
◮
◮
◮
Studium racionality je z´ akladem studia racion´aln´ıho rozhodov´an´ı. Naˇs´ım z´akladn´ım pˇredpokladem je fakt, ˇze studujeme racion´aln´ıho jedince (opakem jsou hry proti pˇr´ırodˇe). Racionalitu nen´ı moˇzno zamˇen ˇovat s nˇejakou formou mor´ alky – racion´aln´ı jedinec nekon´ a dobro, pouze sleduje svoje preference. Jedinec identifikuje svoje moˇznosti a hled´ a mezi nimi optimum (maximum). Mus´ı definovat v´yznam optima. Ot´azka: je schopen odhalit optimum? Martin Hrub´ y
THE: u ´vod, teorie volby
Teorie uˇzitku, pˇr´ıklady ◮ ◮
Pro zaˇc´atek intuitivnˇe... Organizujeme svatbu. Moˇznosti jsou: ◮ ◮ ◮
◮ ◮ ◮
v chatˇe (kr´asn´a chata, +1000 bod˚ u); nebo v s´ale (+800 bod˚ u). Pˇri nepˇr´ıznivniv´e poˇcas´ı v chatˇe ⇒ 0 bod˚ u, v s´ale nevad´ı. Pravdˇepodobnost nepˇr´ızniv´eho poˇcas´ı je 25 procent.
Oˇcek´av´an´y uˇzitek z chaty je 0.75 · 1000 + 0.25 · 0 = 750. Oˇcek´avan´y uˇzitek ze s´ alu je 800, tzn. vˇetˇs´ı. Vol´ım s´al.
D˚ uleˇzit´e !!! Pokud po tomto zjiˇstˇen´ı st´ ale v´ ah´ am, pak to znamen´a, ˇze bud’ (nˇeco je v modelu chybnˇe): ◮ ◮ ◮
◮ ◮
Jsem chybnˇe modeloval pravdˇepodobnost nepˇr´ızniv´eho poˇcas´ı. Jsem chybnˇe modeloval uˇzitek pˇri realizaci v chatˇe nebo s´ ale. V modelu chyb´ı nˇejak´y dalˇs´ı aspekt uˇzitku (napˇr. ˇstˇest´ı nevˇesty, rodiˇc˚ u, host˚ u, ...). Nejsem racion´alnˇe uvaˇzuj´ıc´ı jedinec. Riziko – specifick´y aspekt. Zmˇena uˇzitkov´e funkce. Martin Hrub´ y
THE: u ´vod, teorie volby
Definice racionality ◮
Je-li racion´aln´ı jedinec konfrontov´ an se dvˇema moˇznostmi x a y , pak je schopen jednoznaˇcnˇe rozhodnout, jestli nepreferuje x pˇred y nebo nepreferuje y pˇred x nebo nepreferuje ani jednu moˇznost. ◮
◮
◮
V kladn´em vyjadˇrov´ an´ı: pokud ˇreknu, ˇze nepreferuju x pˇred y , pak t´ım m´ın´ım, ˇze y je stejnˇe dobr´ a nebo lepˇs´ı moˇznost. Je-li konfrontov´an se tˇremi moˇznostmi x, y , z a nepreferuje-li y pˇred x a souˇcasnˇe nepreferuje z pˇred y (tzn. x je asi lepˇs´ı neˇz y a y je asi lepˇs´ı neˇz z), pak nem˚ uˇze preferovat z pˇred x. ◮
◮
Jestli moˇznosti splˇ nuj´ı tuto podm´ınku, pak mluv´ıme o ´uplnosti.
Jestli moˇznosti splˇ nuj´ı toto, pak mluv´ıme o tranzitivitˇe.
´ Uplnost a tranzitivita n´ as budou zaj´ımat. Bez nich nen´ı racion´aln´ıho rozhodov´ an´ı.
M´am A mnoˇzinu alternativ. Pro vˇsechny a1 , a2 ∈ A jsem schopen posoudit preferenci a dokonce i na u ´rovni tranzitivity. Co z toho plyne pro rozhodov´an´ı? Martin Hrub´ y
THE: u ´vod, teorie volby
Koneˇcn´e mnoˇziny akc´ı (strategi´ı, moˇznost´ı) a v´ystup˚ u ◮
Jedinec vol´ı z mnoˇziny akc´ı A = {a1 , a2 , ..., ak }.
◮
Pˇredpokl´ad´ame, ˇze jedinec m´ a kompletn´ı informaci (complete information) o situaci a tud´ıˇz je schopen jednoznaˇcnˇe predikovat n´asledky sv´ych akc´ı (jistota, certainty) – tzn. rozhodov´an´ı prob´ıh´ a za jistoty.
◮
Pak definujeme mnoˇzinu v´ystup˚ u/d˚ usledk˚ u X = {x1 , x2 , ..., xn }.
◮
Z pˇredpokladu jistoty plyne, ˇze pro kaˇzdou akci a ∈ A je jednoznaˇcnˇe pˇriˇrazen pr´ avˇe jeden v´ystup x ∈ X (zobrazen´ı je jednoznaˇcn´e).
◮
Form´alnˇe, existuje funkce u:A→X
◮
Zkoum´an´ı uˇzitkov´ych funkc´ı pro n´ as bude v´yznamn´e. Martin Hrub´ y
THE: u ´vod, teorie volby
Koneˇcn´e mnoˇziny akc´ı (strategi´ı, moˇznost´ı) a v´ystup˚ u
Form´alnˇe, existuje funkce u : A → X . ◮
◮ ◮
D´ale pˇredpokl´ad´ame, ˇze vˇsechny prvky mnoˇziny v´ystup˚ u jsou dosaˇziteln´e (feasible) – tzn., kaˇzd´y x ∈ X je d˚ usledek nˇejak´e akce a ∈ A (u je zobrazen´ı na mnoˇzinu). Form´alnˇe: xi je dosaˇziteln´y, pokud ∃a ∈ A : u(a) = xi .
Z pˇredpokladu dosaˇzitelnosti a jednoznaˇcnosti plyne, ˇze je jedno, zkoum´ame-li jedincovy preference nad akcemi nebo nad v´ystupy (zobrazen´ı je vz´ ajemnˇe jednoznaˇcn´e, bijektivn´ı).
Co by znamenalo, kdyby pro dvˇe r˚ uzn´e akce a1 , a2 ∈ A platilo u(a1 ) = u(a2 )?
Martin Hrub´ y
THE: u ´vod, teorie volby
Demo A u
a1 x1
a2 x2
a3 x3
ˇ ık´ame tedy, ˇze pokud je zobrazen´ı u vz´ R´ ajemnˇe jednoznaˇcn´e, pak je jedno, jestli zkoum´ame preference na akc´ıch nebo na uˇzitc´ıch.
Martin Hrub´ y
THE: u ´vod, teorie volby
Rozhodov´an´ı
Rozhodov´an´ı je akt v´ybˇeru akce a ∈ A. ◮
Poˇcet zkouman´ych charakteristik: mono-kriteri´aln´ı rozhodov´an´ı, v´ıce-kriteri´ aln´ı rozhodov´ an´ı
◮
Poˇcet rozhodovatel˚ u: jeden versus v´ıce ⇒ rozhodov´an´ı, jehoˇz v´ysledek je ovlivnˇen alespoˇ n dvˇema racion´ aln´ımi u ´ˇcastn´ıky (HRA)
Martin Hrub´ y
THE: u ´vod, teorie volby
Preference form´alnˇe Pˇredpokl´adejme, ˇze existuje relace R ⊆ X × X (nebo R ⊆ A × A) obsahuj´ıc´ı ”n´azory” jedince na posouzen´ı jeho moˇznost´ı. Zkoum´ame, zda-li je jedinec schopen na z´ akladˇe R prov´est rozhodnut´ı (racion´alnˇe). ◮
Slab´a preference (neostr´ a, weak preference) je definov´ana bin´arn´ı relac´ı R, kde xi Rxj znaˇc´ı, ˇze xj nen´ı preferov´ano pˇred ˇ ık´ame t´ım: xi . R´ ◮ ◮
◮
◮
xi je lepˇs´ı nebo stejn´a moˇznost xj nen´ı preferov´ano nad xi , v nejlepˇs´ım pˇr´ıpadˇe m˚ uˇze b´yt stejn´a, sp´ıˇse horˇs´ı moˇznost pˇripouˇst´ıme, ˇze xi a xj mohou b´yt stejnˇe dobr´e.
Analogie relace R je bin´ arn´ı relace ≥ napˇr´ıklad nad ˇc´ısly (pak ovˇsem p´ıˇseme dle zvyklost´ı xi Rxj ⇔ xi ≥ xj ).
Martin Hrub´ y
THE: u ´vod, teorie volby
Striktn´ı preference a indiference M´ame mnoˇzinu alternativ A (nebo uˇzitk˚ u X ). Pomoc´ı R m˚ uˇzeme definovat dvˇe v´yznamn´e relace striktn´ı preference (strict preference) a indiference (indifference, nerozliˇsitelnost).
Definition Pro kaˇzd´e x, y ∈ A, xPy (x je striktnˇe preferov´ ano pˇred y ) pr´avˇe tehdy, pokud xRy ∧ ¬yRx. Podobnˇe, xIy (x je indiferentn´ı s y ) pr´avˇe tehdy, pokud xRy ∧ yRx. Pozn´amka: relace P je zamˇeniteln´ a s >. Podobnˇe je I a =.
ˇ ık´ame: hr´aˇc striknˇe preferuje x nad (pˇred) y , hr´ R´ aˇc je indiferentn´ı mezi x a y .
Martin Hrub´ y
THE: u ´vod, teorie volby
Volba jedince Notace: hvˇezdiˇckou b´yv´ a v TH oznaˇcov´ ana koneˇcn´a volba hr´aˇce/hr´aˇc˚ u.
Jedinec bude zˇrejmˇ e volit takovou volbu x ∗ ∈ A, ∗ pro kterou x Ry pro vˇsechna y ∈ A.
Zkoum´ame, zda-li je jedinec schopen volby na z´ akladˇ e relace R. Respektive, definujeme takov´e vlastnosti R, aby takov´a volba byla moˇzn´a.
Martin Hrub´ y
THE: u ´vod, teorie volby
Volba jedince, maxim´aln´ı mnoˇzina
Definition Pro relaci slab´e preference R a mnoˇzinu voleb A definujeme maxim´aln´ı mnoˇzinu M(R, A) ⊆ A tak, ˇze M(R, A) = {x ∈ A|xRy ; ∀y ∈ A} Jedinec bude zˇrejmˇe volit z maxim´ aln´ı mnoˇziny. Ta by ovˇsem mˇela obsahovat alespoˇ n jeden prvek. Ot´azka: existuje takov´ a mnoˇzina M(R, A)? Co to m˚ uˇze ovlivnit?
Martin Hrub´ y
THE: u ´vod, teorie volby
Volba jedince, maxim´aln´ı mnoˇzina
Pˇredpoklad: pokud je |M(R, A)| > 1, pak jedinec vol´ı jednu z M(R, A) n´ahodnˇe, protoˇze je indiferentn´ı mezi shodn´ymi alternativami, tzn. ∀x1 , x2 ∈ M(R, A) : x1 Ix2 ˇ Pokud jedinec nesouhlas´ı s v´yˇse uveden´ym postojem, pak je bud chybn´a jeho preference nebo jedinec nen´ı racion´ aln´ı. Zjiˇstˇen´ı maxim´aln´ı mnoˇziny zˇrejmˇe nebude moˇzn´e, pokud pro nˇejak´a dvˇe x, y ∈ A neplat´ı ani xRy ani yRx (naruˇsen´ı u ´plnosti).
Martin Hrub´ y
THE: u ´vod, teorie volby
Nez´avislost na irelevantn´ıch alternativ´ach
Pozdˇeji budeme nav´ıc vyˇzadovat, aby jedincova preference byla nez´avisl´a na irelevantn´ıch alternativ´ ach (napˇr. v Teorii veˇrejn´e volby).
Definition Mˇejme mnoˇzinu alternativ A = {a, b} a preferenci R na A. Pˇredpokl´adejme, ˇze aRb. Pokud chceme zachovat nez´avislost na irelevantn´ıch alternativ´ ach, tak pˇrid´ an´ı alternativy c do A nesm´ı zmˇenit preferenci mezi a a b (tzn. aRb).
Martin Hrub´ y
THE: u ´vod, teorie volby
Demo
Mˇejme mnoˇzinu uˇzitk˚ u A = {a, b, c, d}. Relaci slab´e preference R zobraz´ıme graficky:
b a
c d
Je relace u ´pln´a? M(R, A) = {a}, protoˇze pouze pro a plat´ı aRy ; ∀y ∈ A. Pozn.: pˇredpokl´ad´ame, ˇze xRx; ∀x ∈ A plat´ı automaticky.
Martin Hrub´ y
THE: u ´vod, teorie volby
Pomocn´e definice Definition Bin´arn´ı relace R na X (tzn. R ⊆ X 2 ) je:
1. u ´pln´a, pokud ∀x, y ∈ X , x 6= y : xRy ∨ yRx. 2. reflexivn´ı, pokud ∀x ∈ X : xRx.
3. tranzitivn´ı, pokud xRy ∧ yRz ⇒ xRz ∀x, y , z ∈ X .
4. kvazi-tranzitivn´ı (definov´ ano nad relac´ı P), pokud xPy ∧ yPz ⇒ xPz ∀x, y , z ∈ X (pomoc´ı R je ekvivalentn´ı se z´apisem xRy ∧ ¬(yRx) ∧ yRz ∧ ¬(zRy ) ⇒ xRz ∧ ¬(zRx)).
5. anti-symetrick´a, pokud xRy a yRx znaˇc´ı x = y (jsou totoˇzn´e) 6. asymetrick´a, pokud xRy pak neplat´ı yRx Pozn´amka: u ´plnost vyjadˇruje schopnost jedince m´ıt n´azor na preferenci nad kaˇzd´ymi dvˇema akcemi (se zachov´ an´ım tranzitivity). Mus´ıme s t´ımto poˇc´ıtat i pˇresto, ˇze mnoho ekonom˚ u a psycholog˚ u o t´eto schopnosti ˇclovˇeka v nˇekter´ych situac´ıch pochybuje. Martin Hrub´ y
THE: u ´vod, teorie volby
Demo; paradox
Pˇr´ıklad: mˇejme mnoˇzinu X = {b1 , ..., b1000 } tis´ıce r˚ uzn´ych lahv´ı piva definovanou takto: b1 je lahev, kde jedna kapka piva byla nahrazena kapkou vody, b2 dvˇe kapky aˇz b1000 tis´ıc kapek. Jistˇe by kaˇzd´y prohl´asil, ˇze b1 Ib2 , b2 Ib3 , ..., b999 Ib1000 (je mi jedno, jestli zvol´ım lahev ˇredˇenou 999 kapkami vody nebo 1000 kapkami). Protoˇze xIy implikuje xRy (z definice), pak mus´ı platit i b1000 Rb999 ,...,b2 Rb1 . Pokud akceptujeme tranzitivitu, pak b1000 Rb1 . Vedle toho ovˇsem b1 Pb1000 . Kde se stala chyba?
Martin Hrub´ y
THE: u ´vod, teorie volby
´ e neostr´e uspoˇr´ad´an´ı Upln´ Definition
´ e neostr´e uspoˇr´ Mˇejme mnoˇzinu voleb A. Upln´ ad´ an´ı na mnoˇzinˇe A je bin´arn´ı relace R ⊆ A × A, kter´ a je u ´pln´ a, reflexivn´ı a tranzitivn´ı. Pozn´amka: Anti-symetrii zde nezav´ ad´ıme (by n´ am naruˇsovala indiferenci). Proˇc reflexivita?
Theorem Je-li A koneˇcn´a mnoˇzina a R u ´pln´e neostr´e uspoˇra´d´an´ı, pak M(R, A) 6= ∅. M´ame garanci, ˇze pokud je preference definov´ ana spr´avnˇe (poˇr´adnˇe) a mnoˇzina alternativ je koneˇcn´ a, pak existuje zvoliteln´e optimum.
Martin Hrub´ y
THE: u ´vod, teorie volby
D˚ ukaz vˇety o existenci maxima na mnoˇzinˇe alternativ 1/3 Nechˇt A je koneˇcn´a mnoˇzina a R je u ´pln´ a, reflexivn´ı a tranzitivn´ı relace. D˚ ukaz bude proveden matematickou indukc´ı. Pˇripomeˇ nme: M(R, A) = {x ∈ A|xRy ; ∀y ∈ A} Krok 1: Je-li A jednoprvkov´ a mnoˇzina, tedy A = {a}, pak z reflexivity plyne aRa a proto M(R, A) = {a}. Krok 2: Uk´aˇzeme, ˇze je-li tvrzen´ı pravdiv´e pro A′ s n prvky a relaci R ′ na A′ , pak mus´ı b´yt pravdiv´e i pro libovolnou A s n + 1 prvky a uspoˇr´ad´an´ı R. tzn. pˇrid´an´ım alternativy se podm´ınky preference nenaruˇs´ı Martin Hrub´ y
THE: u ´vod, teorie volby
D˚ ukaz vˇety o existenci maxima na mnoˇzinˇe alternativ 2/3 D˚ ukaz kroku 2: Budeme pracovat s mnoˇzinami A a A′ , kde A = A′ ∪ {a} Na mnoˇzin´ach A a A′ jsou definov´ ana uspoˇr´ ad´ an´ı R a R ′ tak, ˇze ′ ′ R je R omezen´a na A , tedy R ′ = R ∩ (A′ × A′ ) Dle naˇsich pˇredpoklad˚ u (a dle postupu matematick´e indukce) je M(R ′ , A′ ) 6= ∅ Pak z pˇredpoklad˚ uu ´plnosti preferenˇcn´ı relace plyne, ˇze pro ′ ˇ yRa nebo aRy nebo plat´ı oboje. libovoln´e y ∈ M(R , A′ ) plat´ı bud Budeme proto zkoumat dvˇe varianty preferenc´ı y a novˇe pˇridan´e alternativy a. Martin Hrub´ y
THE: u ´vod, teorie volby
D˚ ukaz vˇety o existenci maxima na mnoˇzinˇe alternativ 3/3 A = A′ ∪ {a}
ˇ yRa nebo aRy nebo plat´ı oboje. ∀y ∈ M(R ′ , A′ ) plat´ı bud
1. Plat´ı yRa neboli prvky maxima na A′ jsou preferov´any nad nov´ym prvkem a. Pak tedy yRz pro vˇsecny z ∈ A′ ∪ {a} (z definice maxim´aln´ı mnoˇziny) a proto y ∈ M(R, A). A t´ım dokazujeme krok 2. 2. Plat´ı aRy . Pokud tedy y ∈ M(R ′ , A′ ), pak yRz pro libovoln´e z ∈ A′ . Vych´az´ıme z aRy a v´ıme, ˇze yRz pro vˇsechny z ∈ A′ . Z tranzitivity R plyne aRz pro vˇsechny z ∈ A′ . Obecnˇe to implikuje aRw pro vˇsechny w ∈ A′ a proto a ∈ M(R, A) a to opˇet dokazuje krok 2.
Principem matematick´e indukce jsme dok´ azali tuto vˇetu pomoc´ı krok˚ u 1 a 2. Q.E.D. Martin Hrub´ y
THE: u ´vod, teorie volby
Rozhodov´an´ı s nekoneˇcnou mnoˇzinou alternativ
Mˇejme vybrat optimum z mnoˇziny X = (0, 1) s relac´ı preference R takovou, ˇze xRy ⇔ x ≥ y . Mnoˇzina M(≥, X ) je pak pr´azdn´a. Tzn, nikdy nebude existovat x ∗ ∈ X takov´e, ˇze x ∗ Ry ∀y ∈ X . ◮
Definujeme nezbytn´e vlastnosti mnoˇziny alternativ.
◮
...pak vlastnosti relace preference.
◮
Poloˇz´ıme novou definici M(R, X ) pro spojit´e mnoˇziny alternativ.
Martin Hrub´ y
THE: u ´vod, teorie volby
Teorie uˇzitku Zkoum´an´ı volby prov´ad´ıme na uˇzitkov´e funkci s ˇc´ıseln´ym v´ystupem u : A → R. ◮
M˚ uˇzeme plnˇe vyuˇz´ıt zvyklost´ı s oper´ atorem ≥ (naˇse preference).
◮
u(x) ≥ u(y ) ⇔ xRy
◮ ◮
u(x) > u(y ) ⇔ xPy u(x) = u(y ) ⇔ xIy
St´ale m˚ uˇzeme rozliˇsovat kardinalistick´y (ch´ apeme velikost rozd´ılu mezi u(x) − u(y ), xPy ) a ordinalistick´y pˇr´ıstup k uˇzitku (pouze ch´apeme preferenci). V mnoha algoritmech TH ani nepotˇrebujeme zn´ at m´ıru preference x nad y (uvid´ıme napˇr. v definici best-response, dominance).
Martin Hrub´ y
THE: u ´vod, teorie volby
Definice funkce uˇzitku
Definition
ˇ Mˇejme A a R ⊆ A2 . Rekneme, ˇze uˇzitkov´ a funkce u : A → R1 reprezentuje R, jestliˇze pro vˇsechna x, y ∈ A, u(x) ≥ u(y ) ⇔ xRy . Snadno jsme schopni definovat > a =. Rozhodovatel-maximalista pak vol´ı z mnoˇziny M(R, A) = arg max[u(x)] x∈A
Pozn´amka: ve hr´ach tomu zaˇcneme ˇr´ıkat Best-response.
Martin Hrub´ y
THE: u ´vod, teorie volby
Rozhodov´an´ı bez jistoty
◮
◮
◮
Rozhodov´an´ı za rizika: v´ysledkov´ a funkce pˇriˇrazuje kaˇzd´emu rozhodnut´ı pravdˇepodobnostn´ı rozloˇzen´ı na mnoˇzinˇe v´ysledk˚ u. Rozhodov´an´ı za neurˇcitosti: u : A → 2X (Pravdˇepodobnostn´ı rozloˇzen´ı ovˇsem nen´ı zn´ am´e nebo je nezjistiteln´e). Postoj k riziku: risk-neutral, risk-averse, risk-seeking.
Oˇcek´avan´y uˇzitek.
Martin Hrub´ y
THE: u ´vod, teorie volby
Rozhodov´an´ı za nejistoty: Pˇr´ıklad s investorem Investor pˇrem´yˇsl´ı, kam um´ıstit sv˚ uj kapit´ al. Tˇri alternativy: 1. Zakoupit cenn´e pap´ıry, kter´e s absolutn´ı jistotou nesou 5.5% zisk. 2. Zakoupit akcie, kter´e ponesou: ◮ ◮ ◮
3% s pravdˇepodobnost´ı 13 . 6% s pravdˇepodobnost´ı 13 . 9% s pravdˇepodobnost´ı 13 .
3. Zakoupit akcie, kter´e ponesou: ◮ ◮
4% s pravdˇepodobnost´ı 12 . 8% s pravdˇepodobnost´ı 12 .
Z hlediska rozhodov´an´ı mus´ı poˇc´ıtat s urˇcitou nejistotou, kterou zde pojmenov´av´ame loterie. Jeho tˇri alternativy jsou tˇri loterie. Loterie je volba jako ji zn´ ame z teorie volby. Definujeme relaci preference a dalˇs´ı pojmy. V´ıce v ”Axiomatick´e teorii uˇzitku”. Martin Hrub´ y
THE: u ´vod, teorie volby
Oˇcek´avan´y uˇzitek (Expected Utility/Payoff): St. Petersbourg paradox St. Petersbourg paradox (D. Bernoulli, 1738): mˇejme hru, kde u ´ˇcastn´ık zaplat´ı vstupn´ı poplatek c a pak h´ aˇze minc´ı tak dlouho, dokud nepadne hlava. Protistrana souhlas´ı, ˇze mu zaplat´ı 1 duk´at, pokud padne v prvn´ım hodu, 2 duk´ aty v druh´em hodu, 4 v tˇret´ım hodu, atd. Oˇcek´avan´y zisk hr´aˇce tedy mus´ı b´yt: ∞
X1 1 1 1 1 1 1 1 1 =∞ E = (−c)+ 1+ 2+ 4+ 8+...+ = + + + +... = 2 4 8 16 2 2 2 2 2 k=1
Probl´em je, ˇze s t´ımto vˇetˇsina re´ aln´ych lid´ı nesouhlas´ı a za svou u ´ˇcast by nezaplatili v´ıce neˇz 20 duk´ at˚ u, resp. radostnˇe by prodali svou u ´ˇcast ve hˇre za 20 duk´ at˚ u. Martin Hrub´ y
THE: u ´vod, teorie volby
Uˇzitek St. Petersbourg paradox vyvolal diskuzi, jak´y je vlastnˇe uˇzitek z pˇrijet´ı nˇejak´eho (napˇr. finanˇcn´ıho) vstupu. Gabriel Cramer (v komunikaci s D. Bernoullim): lid´e hodnot´ı ˇc´astky podle uˇzitku, kter´y jim pˇrinesou. Pˇredpoklad: jak´akoliv ˇc´ astka pˇresahuj´ıc´ı 224 duk´ at˚ u ˇclovˇeku 24 pˇripad´a stejn´a jako 2 duk´ at˚ u. Pak je oˇcek´avan´y uˇzitek hry: 1 1 1 1 1 1 1 + 2 + 4 + ... + 24 223 + 25 224 + 26 224 + ...+ = 2 4 8 2 2 2 1 1 1 1 1 + + ... + + + + ... = 12 + 1 = 13 2 2 2 4 8 Potom je realisticky oˇcek´ avan´y uˇzitek ze hry 13 duk´at˚ u. =
Martin Hrub´ y
THE: u ´vod, teorie volby
Log utility Poˇcet jednotek uˇzitku u(x) z vlastnictv´ı ˇc´ astky x. Pˇri nav´yˇsen´ı majetku z x na x + dx je pˇr´ırustek uˇzitku du(x) pˇr´ımo u ´mˇern´y pˇr´ırustku dx a nepˇr´ımo u ´mˇern´y dosavadn´ımu majetku x (α je poˇc´ateˇcn´ı majetek, b ∈ R+ je nˇejak´y koeficient vn´ım´an´ı pˇr´ırustku). du(x) =
b dx x
u(x) = b ln x + c; c ∈ R u(x) = b ln x − b ln α = b ln
x α
obecnˇe: uˇzitek je ln(po akci) − ln(pˇred akc´ı).
Martin Hrub´ y
THE: u ´vod, teorie volby
Log utility ve St. Petersbourg paradoxu E =
∞ X 1 α + 2n−1 b ln = 2n α n=1 1
1
1
= b ln [(α + 1) 2 (α + 2) 4 (α + 4) 8 ...] − b ln α
ˇ astka D, jej´ıˇz pˇrid´an´ı k poˇc´ C´ ateˇcn´ımu majetku pˇrinese stejn´y uˇzitek: h i 1 1 1 α+D = b ln (α + 1) 2 (α + 2) 4 (α + 4) 8 ... − b ln α α z toho plyne, ˇze takov´e D je: i h 1 1 1 D = (α + 1) 2 (α + 2) 4 (α + 4) 8 ... − α √ √ √ Pro nulov´e α = 0 poˇc´ateˇcn´ı jmˇen´ı je D = 2 1 · 4 2 · 8 4 · · · = 2. M´ıt nulov´y poˇc´ateˇcn´ı majetek, tak nezaplat´ım za uˇcast ve hˇre v´ıc neˇz dva duk´aty. b ln
Martin Hrub´ y
THE: u ´vod, teorie volby
Pˇr´ıˇstˇe
◮
Definice strategick´ych her, resp. her ve strategick´em tvaru.
◮
Interakce dvou a v´ıce jedinc˚ u pˇri rozhodov´ an´ı.
◮
Zkoum´an´ı jejich uˇzitku budeme prov´ adˇet kardinalisticky na z´akladˇe uˇzitkov´ych funkc´ı.
◮
Preference se pak budou budovat nad strategiemi v kontextu moˇzn´ych tah˚ u protihr´ aˇc˚ u (budeme mluvit o dominantnosti strategi´ı).
◮
Zavedeme koncept ekvilibria ve hˇre.
Martin Hrub´ y
THE: u ´vod, teorie volby
Funguje Teorie her?
Martin Hrub´ y
THE: u ´vod, teorie volby