Sosiaaliset hyvinvointifunktiot (Social welfare functions SWF)

Samankaltaiset tiedostot
Riippumattomuusehto sosiaalisen valinnan teoriassa - melkein viimeistä kertaa


Ekvivalenssirelaatio. Määritelmä 2 Joukon A binäärinen relaatio R on ekvivalenssirelaatio, mikäli. Jos R on ekvivalenssirelaatio ja a A, niin joukkoa

Rationaalisen valinnan teoria

Johdatus politologiaan. Turun yliopisto, sl 2012 Maija Setälä Luento VII: Politiikan tutkimuksen lähestymistapoja: Rationaalisen valinnan teoria

Olkoon R X Y. Sen käänteisrelaatio R 1 on joukosta Y joukkoon X määritelty relaatio, jonka laki on. yr 1 x xry.

Olkoon R X Y. Sen käänteisrelaatio R 1 on joukosta Y joukkoon X määritelty relaatio, jonka laki on. yr 1 x xry.

Rationaalisen toimijan malli

8 Joukoista. 8.1 Määritelmiä

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

T Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

Sekastrategia ja Nash-tasapainon määrääminen

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

ORMS2020 Päätöksenteko epävarmuuden vallitessa Syksy 2008

Kan santa 10 u de II i ne n aikakauskirja

Matemaatiikan tukikurssi

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys.

Kingi: Äänestyksen yleiset säännöt ja ehdot

T Tietojenkäsittelyteorian seminaari

Matematiikan tukikurssi

(a) Kyllä. Jokainen lähtöjoukon alkio kuvautuu täsmälleen yhteen maalijoukon alkioon.

ja nyt tässä tapauksessa a = 1, b=4 ja c= -5, ja x:n paikalle ajattelemme P:n.

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

Matematiikan tukikurssi, kurssikerta 1

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

w + x + y + z =4, wx + wy + wz + xy + xz + yz =2, wxy + wxz + wyz + xyz = 4, wxyz = 1.

Matematiikan tukikurssi

Ympäristöhyötyjen neuvotteleva arvottaminen: periaatteet ja mahdollisuudet

Kokonaislukuoptimointi

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Task list Submit code Submissions Messages Scoreboard View queue Edit contest

PUTKIKAKSOISNIPPA MUSTA

Kaikki kurssin laskuharjoitukset pidetään Exactumin salissa C123. Malliratkaisut tulevat nettiin kurssisivulle.

Kuvaus eli funktio f joukolta X joukkoon Y tarkoittaa havainnollisesti vastaavuutta, joka liittää joukon X jokaiseen alkioon joukon Y tietyn alkion.

Todistusmenetelmiä Miksi pitää todistaa?

Päämies-agentti-malli ja mekanismisuunnittelu

Konsensusongelma hajautetuissa järjestelmissä. Niko Välimäki Hajautetut algoritmit -seminaari

Haitallinen valikoituminen: yleinen malli ja sen ratkaisu

Taloustieteen mat.menetelmät 2017 materiaali 1

Additiivinen arvofunktio

Markkinoiden suunnittelu ja Gale-Shapley-algoritmi

TIETOTEKNIIKAN MATEMATIIKKA

Huom. muista ilmoittautua kokeeseen ajoissa. Ilmoittautumisohjeet kurssin kotisivuilla.

Kehittää ohjelmointitehtävien ratkaisemisessa tarvittavia metakognitioita!

Piiri K 1 K 2 K 3 K 4 R R

Vaalien tärkeysjärjestys: eduskunta-, kunnallis-, maakunta- ja eurovaalit

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Luento 12: Duaalitehtävä. Tarkennuksia Lagrangen kertoimen tulkintaan. Hajautettu optimointi.

T Syksy 2004 Logiikka tietotekniikassa: perusteet Laskuharjoitus 12 (opetusmoniste, kappaleet )

(2n 1) = n 2

Determinoiruvuuden aksiooma

1 + b t (i, j). Olkoon b t (i, j) todennäköisyys, että B t (i, j) = 1. Siis operaation access(j) odotusarvoinen kustannus ajanhetkellä t olisi.

Matematiikan tukikurssi

Luento 12: Duaalitehtävä. Tarkennuksia Lagrangen kertoimen tulkintaan. Hajautettu optimointi.

niin järjestys on tämä: ensin kerto- ja jakolaskut vasemmalta oikealle, sen jälkeen plus- ja miinuslaskut vasemmalta oikealle.

BM20A5840 Usean muuttujan funktiot ja sarjat Harjoitus 7, Kevät 2018

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

MS-A0207 Differentiaali- ja integraalilaskenta 2 (Chem) Yhteenveto, osa I

Topologia Syksy 2010 Harjoitus 11

a ord 13 (a)

(d) f (x,y,z) = x2 y. (d)

Taulumenetelmä modaalilogiikalle K

Peliteoria luento 3. May 27, Peliteoria luento 3

Talousmatematiikan perusteet: Luento 15. Rajoitettu optimointi Lagrangen menetelmä Lagrangen kerroin ja varjohinta

Cantorin joukon suoristuvuus tasossa

Esko Turunen Luku 9. Logiikan algebralisointi

Ilkka Mellin Todennäköisyyslaskenta Osa 3: Todennäköisyysjakaumia Moniulotteisia todennäköisyysjakaumia

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Onko kuvaukset injektioita? Ovatko ne surjektioita? Bijektioita?

Vuoden 1998 taloustieteen Nobelin palkinnon saaja: Amartya Sen

Yhtenäisyydestä. Johdanto. Lähipisteavaruus. Tuomas Korppi

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

Luento 5: Peliteoriaa

2 Osittaisderivaattojen sovelluksia

Kuvauksista ja relaatioista. Jonna Makkonen Ilari Vallivaara

Lisää kvanttoreista ja päättelyä sekä predikaattilogiikan totuustaulukot 1. Negaation siirto kvanttorin ohi

OSALLISUUSPROSESSIN ARVIOINTI MENETELMÄN KULKU: Citisense Kouluttajatiimi Hakakatu 1 L Suomussalmi citisense@citisense.

läheisyydessä. Piirrä funktio f ja nämä approksimaatiot samaan kuvaan. Näyttääkö järkeenkäyvältä?

SOSIALISAATIO JA POLIITTINEN KIINNITTYMINEN

Harjoitus 4 -- Ratkaisut

a) on lokaali käänteisfunktio, b) ei ole. Piirrä näiden pisteiden ympäristöön asetetun neliöruudukon kuva. VASTAUS:

12. Derivointioperaattoreista geometrisissa avaruuksissa

PORVOOLAISTEN NUORTEN ÄÄNESTYSAKTIIVISUUSKYSELY

Teema 4. Homomorfismeista Ihanne ja tekijärengas. Teema 4 1 / 32

Tutkimuksia pelien ja mekanismien suunnittelun teoriasta *

Kuinka määritellään 2 3?

Talousmatematiikan perusteet: Luento 8. Vektoreista ja matriiseista Vektorien peruslaskutoimitukset Lineaarinen riippumattomuus Vektorien sisätulo

1. Logiikan ja joukko-opin alkeet

Logiikan kertausta. TIE303 Formaalit menetelmät, kevät Antti-Juhani Kaijanaho. Jyväskylän yliopisto Tietotekniikan laitos.

Relaatioista. 1. Relaatiot. Alustava määritelmä: Relaatio on kahden (tai useamman, saman tai eri) joukon alkioiden välinen ominaisuus tai suhde.

1 Useamman muuttujan di erentiaalilaskenta

Äärellisten mallien teoria

2 dy dx 1. x = y2 e x2 2 1 y 2 dy = e x2 xdx. 2 y 1 1. = ex2 2 +C 2 1. y =

Kuluttajan valinta. Tulovaikutukset. Hyvinvointiteoreemat. Samahyötykäyrät. Variaatiot (kompensoiva ja ekvivalentti) Hintatason mittaamisesta

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

1 Komparatiivinen statiikka ja implisiittifunktiolause

Haitallinen valikoituminen: Kahden tyypin malli

Transkriptio:

Arrow n teoreema Sosiaaliset hyvinvointifunktiot (Social welfare functions SWF) SWF f on sääntö tai prosessi, joka määrittää kullekin joukolle yksilöiden preferenssijärjestyksiä (eli profiilille ) (R 1,...,R n ) jotka koskevat sosiaalisia tiloja, vastaavan sosiaalisen järjestyksen. (1) R = f(r 1,...,R n ) 1

Yhteiskunnan preferenssijärjestys ja aggregointi Sosiaalinen järjestys R kuvaa yhteiskunnan preferenssijärjestystä. Se saadaan aggregoimalla yksilöiden preferensseistä. 2

Valintajoukko ja sosiaaliset valintafunktiot Valintajoukko C(S) on joukko vaihtoehtoja, jotka yhteisö valitsee jonkin päätöksentekoprosessin seurauksena kun valittavien vaihtoehtojen joukko on S X. Sosiaalinen valintafunktio muotoillaan seuraavasti: (2) C(S) = g(r 1,...,R n ) Condorcet ehto: (maksimaaliset elementit) (3) C(S) = [x x S& y S: xry]. 3

Arrow:n ehdot sosiaaliselle hyvinvointifunktiolle 1. Rajoittamaton ala (Unrestricted domain) UD 2. Rationaalisuus (RAT) 3. Vahva Pareto (SP) 4. Irrelevanttien vaihtoehtojen riippumattomuus (Independence of irrelevant alternatives, IIA) 5. Ei-diktatorisuus (Nondictatorship, ND) 4

Ehdot Rajoittamaton ala (UD): Valintasäännön pitää pystyä valitsemaan jokin vaihtoehto kaikilla mahdollisilla preferenssiprofiileilla. Rationaalisuus: Yksilöiden (ja yhteiskunnan) preferenssit ovat täydellisiä: x,y X: (xr i y) tai (yr i x) (tai molemmat) ja transitiivisia: x,y,z X: (xr i y)&(yr i z) (xr i z) 5

Vahva Paretoehto Vahva Pareto (SP): x on yhteiskunnalle parempi kuin y jos kaikki yksilöt i pitävät x:ää ainakin yhtä hyvänä kuin y:tä ja ainakin yksi pitää x:ää parempana kuin y:tä: (4) i j: (xr i y) & j: (xp j y) xpy 6

IIA IIA: Sosiaalinen valinta joukosta vaihtoehtoja riippuu vain yksilöiden preferenssijärjestyksistä näille vaihtoehdoille (ordinaalinen welfarismi). (R 1,..,R n ) ja (R 1,...,R n ) edustavat kahta joukkoa n-kertoja yksilöiden preferenssijärjestyksiä (eli profiileja). C(S) ja C (S) ovat vastaavat sosiaaliset päätösfunktiot.

Valintateoreettinen IIA: Jos yksilöiden kaikkia vaihtoehtopareja koskevat preferenssit ovat samoja kahdessa profiilissa (R 1,..,R n ) ja (R 1,...,R n ), sama valinta tehdään molemmista profiileista. (5) i: ( x, y S: xr i y xr i y) Relationaalinen IIA: C(S) = C (S). Jos mille tahansa parille x, y S, kaikille yksilöille i pätee: xr i y xr i y ja yr i x yr i x, f(r 1,..,R n ) ja f(r 1,...,R n ) järjestävät x:n ja y:n samalla tavalla. 8

Ei diktaattoria (ND): Yksi yksilö ei saa määrätä sosiaalista järjestystä. Ei siis ole yksilöä i s.e. (6) x, y X: xp i y xpy. Arrow n teoreema: Ei ole olemassa sosiaalista hyvinvointifunktiota, joka toteuttaa ehdot UD, RAT, SP, IIA, ja ND. 9

Todistuksen idea 1) Osoita, että on aina olemassa yksittäinen äänestäjä, joka pystyy määräämään (is decisive) valinnan jollekin vaihtoehtoparille (perustuu Condorcet paradoksiin). 2) Osoita, että jos tällainen henkilö pystyy määräämään valinnan tällä tavalla jollekin parille, hän voi tehdä sen kaikille pareille. 3) Tällainen henkilö on diktaattori. 10

Cordorcet paradoksi X Y Z Y Z X z X Y

Kaksi hyvinvointifunktion tulkintaa (Buchanan ja Sen) Päätöksentekomekanismi; Esimerkiksi äänestysmekanismi Sosiaalinen hyvinvointiarvostelma: Arvoarvostelma, joka perustuu yksilöiden preferenssijärjestyksiin 12

Kaksi Arrown teoreeman tulkintaa Kaikki äänestyssäännöt ovat jollakin tavalla epäkelpoja Strateginen äänestäminen ja äänestysjärjestys voivat vaikuttaa tuloksiin. Jos henkilöiden välisiä hyötyvertailuja ei voida tehdä, ei ole olemassa sosiaalista optimia tai koherenttia yhteiskunnan tahtoa. 13

IIAn aspektit järjestysaspekti: IIA sallii vain että preferenssien järjestysinformaatio otetaan huomioon, intensiteettejä ei saa huomioida. Irrelevanssiaspekti: IIA sulkee pois myös informaation joka koskee kolmansia vaihtoehtoja. 14

Strategisen äänestämisen seuraukset Jos äänestystulosten manipulointi onkin hyödyllistä siksi, että se mahdollistaa intensiteettien ottamisen huomioon, IIA:ta ei voida enää puolustella käytännöllisillä argumenteilla. A farewell to Arrow s theorem

Silti Arrow n teoreeman relevanssi metodologiselle individualismille: Koska yhteiskunnalla ei ole intentionaalisuutta muussa kuin vertauskuvallisessa mielessä, erilaisten intressien ja pohdintojen painottaminen ei tapahdu pohtimalla niiden tärkeyttä, vaan mekaanisella äänestyksellä. Sosiaalisilla yksiköillä ei ole välttämättä ole hyvin määriteltyjä päämääriä on katsottava minkälaiseen päätöksentekoon näiden yksiköiden tahto perustuu.