Kooperatív és Tanuló Rendszerek

Hasonló dokumentumok
Szavazási protokollok - közös preferencia kialakítása

Szavazó ágensek racionális versengő ágensek egyvéleményű közössége. Intelligens Elosztott Rendszerek BME-MIT, 2018

Választási rendszerek axiomatikus elmélete

10. Koordinálás és feladatkiosztás aukciókkal. Intelligens Elosztott Rendszerek BME-MIT, 2017

Együttműködés versengés közepette - koordinálás és feladatkiosztás árveréssel/1

Szavazó ágensek: racionális ágensek egyvéleményű közössége /3. Kooperáció és intelligencia, Dobrowiecki, BME-MIT

Témalabor 2016 Kooperatív intelligens rendszerek Bevezető-1. Dobrowiecki Tadeusz Mészáros Tamás

Mesterséges Intelligencia MI

Koordinálás és feladatkiosztás aukciókkal 3.rész. Kooperáció és intelligencia, Dobrowiecki, BME-MIT

A stratégiák összes kombinációján (X) adjunk meg egy eloszlást (z) Az eloszlás (z) szerint egy megfigyelő választ egy x X-et, ami alapján mindkét

Kooperáció és intelligencia kis HF-ok/ Kooperáció és intelligencia, Dobrowiecki T., BME-MIT 1

Mikroökonómia elıadás

EGYSZERŰ ÉS ABSZOLÚT TÖBBSÉGI SZAVAZÁS

POLITIKAI GAZDASÁGTAN

Rasmusen, Eric: Games and Information (Third Edition, Blackwell, 2001)

POLITIKAI GAZDASÁGTAN

Koordinálás és feladatkiosztás aukciókkal. Intelligens Elosztott Rendszerek BME-MIT, 2018

Elektronikus aukciós rendszerek, protokollok

Kezdjen árulni a Catawiki online árverésein!

Monoton Engedmény Protokoll N-M multilaterális tárgyalás

Alternatívák rangsora Rangsor módszerek. Debreceni Egyetem

Emelkedő áras árverés

NÉPSZUVERENITÁS 2. VÁLASZTÓJOG VÁLASZTÁS. készítette: Bánlaki Ildikó

Filou Zsákbamacska. Tervezte: Friedemann Friese Kiadja: 2F-Spiele Am Schwarzen Meer 98 D Bremen

Versenyben az euróval

Válogatott fejezetek a közlekedésgazdaságtanból

VÁLLALATGAZDASÁGTAN II. Döntési Alapfogalmak

MEZŐGAZDASÁGI ÁRAK ÉS PIACOK

Értékelési, kiválasztási módszerek

Antal Ádám. Választási játékok

POLITIKAI GAZDASÁGTAN

PARADOXONOK A VÁLASZTÁSI RENDSZEREKBEN

A Borda-szavazás Nash-implementálható értelmezési tartományai

Nagy Gábor compalg.inf.elte.hu/ nagy

Csontos László A politika tanulmányozása és a közgazdaságtan

Mesterséges Intelligencia MI

Csercsik Dávid ITK PPKE. Csercsik Dávid (ITK PPKE) Játékelmélet és hálózati alkalmazásai 4. ea 1 / 21

HASZNÁLATI ÚTMUTATÓ. Frissítve:

2 2 = 2 p. = 2 p. 2. Végezd el a kijelölt műveleteket! 3. Végezd el a kijelölt műveleteket! 4. Alakítsad szorzattá az összeget!

J E G Y Z Ő K Ö N Y V

Intelligens technikák k a

Orosz Alexandra. Árverési mechanizmusok

A technikai elemzések értelmezése

Döntési rendszerek I.

TEHETSÉGEK VÁSÁRA Útmutató

1. Adósságkezelő Klub

Összehasonlítások hibái

Diverzifikáció Markowitz-modell MAD modell CAPM modell 2017/ Szegedi Tudományegyetem Informatikai Intézet

Mesterséges Intelligencia MI

Mesterséges Intelligencia MI

KÖZGAZDASÁGTAN I. Készítette: Bíró Anikó, K hegyi Gergely, Major Klára. Szakmai felel s: K hegyi Gergely június

Universität M Mis is k k olol ci c, F Eg a y kultä etem t, für Wi Gazda rts ságcha tudft o sw máis n s yen i scha Kar, ften,

(EGT-vonatkozású szöveg)

1. előadás: Halmazelmélet, számfogalom, teljes

Kiszorító magatartás

A Piros könyv Az üzleti magatartás szabályzata

Valószínűségi modellellenőrzés Markov döntési folyamatokkal

ZSÁKBAMACSKA. zsákbamacskakártya. 4 egérkártya (2, 3, 4, 6 egér) 76 egér (68 fekete egyes és 8 zöld ötös ) kezdőjátékos-jelző

Az új magyar választási rendszer

I. CRM elmélete és gyakorlata. II. Stratégiai elemek. III. Strukturális megoldások

Debreceni Egyetem Matematikai és Informatikai Intézet. 13. Védelem

Az egyén és a csoport A szociálpszichológia alapfogalmai. Osváth Viola szeptember. 18

f B B 1 B 2 A A 2 0-1

Mesterséges Intelligencia MI

1. Informatikai trendek, ágensek, többágenses rendszerek. Intelligens Elosztott Rendszerek BME-MIT, 2018

Mesterséges Intelligencia MI

Szavazási eljárások Fejezetek a döntéselméletből

A maximum likelihood becslésről

A 10/2007 (II. 27.) 1/2006 (II. 17.) OM

A Condorcet-paradoxon egy valószínűségi modellje

Razzia! Tartozékok. Tervezte: Reiner Knizia

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László

1: Bevezetés: Internet, rétegmodell Alapok: aszimptótika, gráfok. HálózatokII, 2007

A 2011-es év kompetencia-méréseinek elemzése

S atisztika 1. előadás

Mikroökonómia I. B. ELTE TáTK Közgazdaságtudományi Tanszék. 12. hét STRATÉGIAI VISELKEDÉS ELEMZÉSE JÁTÉKELMÉLET

Tartalom 99 bűnténykártya

Babeş-Bolyai Tudományegyetem Fizika Kar, Kolozsvár. Hegyi Géza. Filozofia és Történelem Kar, Kolozsvár. M.A. Santos, R. Coelho és J.J.

EMBERKÖZPONTÚ ONLINE MARKETING A SZEMÉLYRE SZABOTT ÜZENETEK MŰVÉSZETE

HAMILTON KÖR: minden csúcson PONTOSAN egyszer áthaladó kör. Forrás: (

Mesterséges Intelligencia MI

Diszkrét matematika I.

Multinomiális és feltételes logit modellek alkalmazásai

Humán Erőforrás Menedzsment a General Motors Powertrain Magyarországnál. Toborzás Kiválasztás - Interjú

E-Beszerzés sikertényezői

Az üzleti magatartás szabályzata

Magyar Állam tulajdonában álló ingatlanok értékesítése a gyakorlatban, az Elektronikus Aukciós Rendszer működése és tapasztalatai

Munkavédelmi képviselő. választási szabályzat. a Kodolányi János Főiskolán

Integrált gyártórendszerek. Ágens technológia - ágens rendszer létrehozása Gyakorlat

Bevezetés a kvantum informatikába és kommunikációba Féléves házi feladat (2013/2014. tavasz)

ÉMI-TÜV SÜD Kft. Kockázatok és dilemmák az új ISO EN 9001:2015 szabvány szellemében

Kommunikáció elmélete és gyakorlata. Zombori Judit, pszichológus

A L Hospital-szabály, elaszticitás, monotonitás, konvexitás

Kari Tanács Választásának Szabályzata

TÁRGYMUTATÓ. Á állam (17, 19, 118, 123, 133, 152, 160, 181) állandó összegő játék/interakció (49, 94)

Helyi önkormányzatok fejlesztési eszközei Magyarországon Uniós forrásokhoz való hozzáférés lehetőségei a as időszakban

Tudatos humánerőforrás-gazdálkodás nélkül nem megy! - látják be a közgazdászok, pedig őket csak a számok győzik meg. A CFO Magazine 2001-es

4. Fogyasztói preferenciák elmélete

Számítógépes döntéstámogatás. Döntések fuzzy környezetben Közelítő következtetések

A racionális demokratikus véleményösszegzés korlátairól

Átírás:

Kooperatív és Tanuló Rendszerek 3b. Együttműködéstől konfliktusokig Dobrowiecki Tadeusz Horváth Gábor 2012 KTR DT-HG, BME-MIT 1

Piac-alapú koordináció Árverések Egy, konkrét piaci árral nem rendelkező árú értékének empirikus meghatározása. (pl. Arizona State University College of Business új épületében lévő jó kilátású és beosztású irodák szétosztása munkatársak között) Általános furcsaságok: - az árat a vevő, a szabályokat az eladó állapítja meg, - az eladó (árverező) nem a tulajdonos, - a tulajdonos esetleg fél megállapítani az árat.. 2012 KTR DT-HG, BME-MIT 2

Aukció tervezése AUKCIÓ FORMATUMA Nyílt, v. zárt (borítékolt) Emelkedő, v. csökkenő Szimultán, v. szekvenciális Egyfordulós, v. több fordulós LICITSZABÁLYOK Ár megállapítási szabályok Licit komponensei Köteg, kombinatorikus aukció szabályok LEBONYOLITÁS RÉSZVÉTELI SZABÁLYOK Győztes és hozzárendelés megállapítása Ki fizet és mennyit? Időzítés Részvételi követelmények Díjak Licit stratégiák INFORMACIÓ Tételek/szolgáltatások Licitek Résztvevők 2012 Üzlettörténet KTR DT-HG, BME-MIT 3 Ágenskoordináció megszokott aukció típusai Egyedi árú árverés Csoportos árverés Kombinatorikus árverés Melyik aukcióban részt venni? Részvételköltség, aukció időtartama, licitálók száma. Mikor licitálni? Mennyit licitálni? (ár és/vagy mennyiség) Kölcsönhatások és skálázás eredménye.

Egyedi árverés Árverésvezető egyetlenegy árút kínál Angol (emelkedő, be/ki, leütés) Japán (emelkedő, végleges kilépés) Holland (csökkenő, végleges kilépés)... Elsőlicites versenytárgyalás Minden licitáló a feladat költségét jelentő számat nyújt be licitként. A legalacsonyabban licitáló nyer, megkapja a feladatot, és beleegyezik, hogy a licitált költségen megvalósítja. Másodlicites (Vickrey) versenytárgyalás Protokoll u.a., csak a győztes beleegyezik, hogy a feladatot a második legkisebb licit költségén valósítja meg. Melyik mechanizmus? Mintegy, amíg az ágensek hitelesen licitálnak. 2012 KTR DT-HG, BME-MIT 4

Angol aukció minden licitálónak van privát titkos megítélése, korrelált értékelés az árú mindenki számára ugyanannyit ér (csak nem tudni, mennyit) 1. licit << piaci ár kikiáltó ajánlás licitálók kikiáltó jelentkezés egy licitáló kikiáltó ajánlás, nagyobb ár licitálók kikiáltó jelentkezés egy licitáló... kikiáltó passz licitálók kikiáltó leüti Eredmény: utolsó jelentkezés > ajánló tűrési küszöbe utolsó jelentkezés < ajánló tűrési küszöbe az utolsó (legnagyobb árat adó) licitáló elviszi az árut, az ajánló visszatartja az árut. 2012 KTR DT-HG, BME-MIT 5

Megjegyzés: Minden licitálónak van saját kezdeti értékítélete, becsült értéke a kívánt árunak. A többiek beszólásai alapján folyamatosan felülbírálhatja az értékbecslését. Az ajánló folyamatosan információt nyer. Anonimitás, trükkök, komplexitás, Legnagyobb a versengés, leginkább itt jelenik meg a nyertes átka. (A lényeg, hogy az angol aukcióban győzni NEM JÓ HÍR a győztesnek a tétel értéke szempontjából. Ö volt a legoptimistább és ha mások értékítélete helyes volt, túl sokat fog fizetni.) Sok változat: nyílt-kilépésű (open-exit): nyilvánosan jelezni kell a lelépést, francia műtárgyak: befejezés után a Louvre képviselője elviheti győztes áron (Préemption de l'état) Nagy befolyása van a kikiáltónak (összebeszélés, kihagyás, ). Igazmondó, etikus ágens kérdése? 2012 KTR DT-HG, BME-MIT 6

Holland aukció 1. ajánlás >> piaci ár kikiáltó ajánlás kliens kikiáltó nincs jelentkezés kliens kikiáltó ajánlás, kisebb ár kliens kikiáltó nincs jelentkezés kliens... kikiáltó jelentkezés kliens (első) Eredmény: első jelentkezés > ajánló tűrési küszöbe első jelentkezés < ajánló tűrési küszöbe 2012 KTR DT-HG, BME-MIT 7 az első kliens viszi az árut az ajánló visszatartja az árut Megjegyzés: minden kliensnek van saját értékítélete, becsült értéke a kívánt árunak, mivel az első, aki rászánja magát, el is visz az árut, másoknak nincs lehetősége folyamatosan átformálni az értékbecslésüket, ez az aukciótípus viszonylag védett a csalással szemben, gépi környezetben első viszi túlságosan szigorú kikötés, valószínűleg jobb lenne kivárni egy időszeletben befutó több jelentkezést és azokból választani. gyorsan romlandó árú: virág, élelmiszer,

Versenytárgyalás - Elsőlicites borítékolt aukció Borítékolt, Győztes borítékolt árat fizet, Általában egyetlen egy ajánlás. Vickrey aukció (másodlicites borítékolt aukció) A legmagasabb (borítékolt) nyer, azonban a 2. legmagasabb licitszinten. William Spencer Vickrey (1914-1996), közgazdasági Nobel-díj 1996. Vickrey, William. 1961. "Counterspeculation and Competitive Sealed Tenders." Journal of Finance. 16:1, pp. 8-37 ebay bélyeggyűjtés, Google és Yahoo! online hirdető programok, U.S. Treasury Securities, Network Routing, 2012 KTR DT-HG, BME-MIT 8

Ösztönzés kompatibilis ösztönzés igazságos licitre Elsőlicites borítékolt aukció A licitáló rezervációs ára v = a hasznosság megitélése, ha p áron nyer, nyeresége = v p Nem érdemes, nincs ösztönözve, hogy valódi értékén licitáljon (akkor v v = 0) Másodlicites borítékolt aukció Tegyük fel, hogy minden más licitet ismerjük, azok közül a legmagasabb b*. Döntés: (a) többet licitálni, akkor a hasznosság: v - b*, (b) vagy kevesebbet: 0 hasznossággal. Akkor érdemes licitálni, ha v > b*, de ehhez elég őszintén licitálni, akár más licitek tudta nélkül. Domináns stratégia - Ösztönzés kompatibilis 2012 KTR DT-HG, BME-MIT 9

Számos változat Jelzések (kézjelek japán, kézfogások, újjszórítások kínai, suttogás - Velence,...) Időtényező: Időintervallum aukciók Égőgyertya aukció, gombostű aukció. Csendes aukció, mindenki hozzáírja ajánlását a többiekhez. Svájci aukció (építőipari tenderek), néha a győztesnek szabad lelépni és nem felvállalni a megnyert szerződést (de nem része a szabályoknak!) Történelem Babilon, 500 i.e., hajadonok elárverezése. Róma, atrium auctionarium Dominus (eladó), argentarius (szabályozó, finanszírozó), praeco (híresztelő, lebonyolító), emptor (győztes vevő) 193 A.D. egész római birodalom elárverezése császári őrség: Pertinax császár meggyilkolása, birodalom elárverezése, Didius Julianus, 6.250 drachma/őr (2 hónappal később lefejezték, Septimus Severus bevette Rómát) Buddista szerzetesek vagyona UK, 1595-ös Oxford English Dictionary, Sotheby s, 1744, Christie, 1766 2012 KTR DT-HG, BME-MIT 10

Miért éppen aukció? -Ismeretlen értékű objektum értékesítése -Automatizálható a tárgyalás komplexitását csökkenti kedvező a számítógépes implementáció - Tisztességes megoldás benyomását kelti Koordinálás aukcióval: Ágens koordinálás ágens licitáló Előnyök - Rövid az átfutása feladat költség licit objektuma pénz - Aukció kommunikáció-hatékony: információkat a licitekbe tömörítjük. - Aukció számítás-hatékony: liciteket parallel módon lehet generálni. - Aukciók alacsony költségű team-eket eredményeznek. - Aukciókat lehet használni akkor is, ha a terep (környezet), vagy a róla alkotott ágenstudás változó. 2012 KTR DT-HG, BME-MIT 11 Aukció

Ha az aukcióban csak ágensek vesznek részt aukció emberi környezetben természetes módon lefolytatható, mert mindenki mindent lát, hall, anélkül, hogy az információt szándékosan éppen számára továbbítanák (emberi információs környezet homogén és multi modális), gépi környezetben (gépi információs környezet egyenlőre lényegében diszkrét és unimodális): címzett üzenetek esetén az aukció globális volta nehezen tud érvényesülni, broadcast üzenetek esetén kérdés a megfelelő szinkronizálás (emberek egyszerre fogják az információt), következésképpen a gépi aukció protokollok nem lehetnek pontos másai az emberi protokolloknak és önmagukban is viszonylag bonyolultak (ld. FIPA aukciós protokollok AUML sémáit). 2012 KTR DT-HG, BME-MIT 12

Hol vannak a globális kommunikációs közeg modalitásai miatti különbségek? Azaz hol vannak a gépek miatti szükségszerű bővítmények? 2012 KTR DT-HG, BME-MIT 13

Szavazási protokollok - közös preferencia kialakítása Szavazás: Társadalmi választás SCF social choice/wellfare function: Minden ágensnek van saját preferencia listája {> Agi }, ennek alapján el kell jutni a közösségi preferenciához: >. Szavazás: (a) szavazat (egy, több, pontozás,...) (b) szavazatszámlálási procedúra Szavazás elmélet: racionális ágens, irracionális közösség alma János kőrte, kőrte János szilva elvárt, hogy alma János szilva Ami felé haladunk: egyéni racionális preferencia tranzitív, de a szavazási mechanizmus révén kialakított szociális (közös) preferencia NEM tranzitív 2012 KTR DT-HG, BME-MIT 14

Két jelölt esete Többségi szavazás (TB), az a győztes, akinek legtöbb szavazata van. Minősített többségi szavazás (MT), győztes, akié a szavazatok több, mint a fele. 1cs 2cs 20 24 1. x y 2. y x Többségi szavazás kiválósága (Kenneth) May tétel (1952) Ha 2 alternatíva van, a TB egyetlen olyan döntési folyamat, ami az alábbi 3 alapfeltétellel konzisztens: - anonimitás: minden szavazónak egyenlő a súlya - semlegesség: átcímkézés egyéni preferenciákban = u.a. átcímkézés az eredményben - erősen monoton: holtverseny esetén, ha egyetlenegy szavazó x-nek kedvező módon megváltoztatja a preferenciáit, akkor x lesz a győztes, vagy - gyengén monoton: ha x a győztes és egyetlenegy szavazó még inkább jobban felértékeli, akkor x marad a győztes. 2012 KTR DT-HG, BME-MIT 15

Több jelölt? Tipikus kiterjesztés: - tiszta többségi szavazás: győz, akinek legtöbb szavazata van (erős jelöltek egymást kinyírják, gyenge jelölt győz kisebbség tud diktálni) - két fordulós (run-off, RO): győztes, ha minősített többséget kap, ha nincs, a legjobb kettő egymással szemben sima többséggel (költséges) 1cs 2cs 3cs 4cs 20 24 26 30 1. z y x w 2. x z y z 3. y x z x 4. w w w y TB szavazás: w győz 30 szavazattal (kisebbségi jelölt!) w egyenkénti felmérésben mindenkivel szemben alulmarad, mégis győz. Kétfordulós: nincs minősített többségi győztes két legjobb jelölt: w (30), x (26) második forduló: x (70), w (30), x a győztes Aki a z mellett vannak joggal panaszkodhatnak, hogy miért éppen x, ha a többségnél z i x!? 2012 KTR DT-HG, BME-MIT 16

Történelem (Voting theory) i.e. VI sz., Athén, osztracizmus (cserépszavazás), 13. sz. Velence, a Nagy Tanács megválasztása, középkor, apátságokban a rendfőnök megválasztása,. Ramon Llull, 13. sz., (1232 1315), ismerte már ezeket, írásait 2001-ben újrafedezték fel: matematika, első európai novella (katalán) Szavazásról: Ars notandi, Ars eleccionis, and Alia ars eleccionis http://www.math.uni-augsburg.de/stochastik/llull/ Jean Charles de Borda, 1770, Borda-szabály Francia Tudományos Akadémiai tagok megválasztására, Marquis de Condorcet ellenötlete, páronként döntés. USA Alkotmánya Képviselő Ház képviselőinek megválasztása 19. sz. Európa, számos amerikai módszer újrafelfedezése matematizálás, Charles Dodgson (Lewis Carroll), mátrixok 1940 játék elmélet, Neumann János Kenneth Arrow, 1951, 1972... http://en.wikipedia.org/wiki/voting_system 2012 KTR DT-HG, BME-MIT 17 Themistokles, Neokleos fia

Súlyozott rendezett szavazás - Borda szavazás (BC) Alapvető probléma, Győztesből vesztes paradoxon y BC x BC w BC z Tegyük fel, hogy kiderül, z érvénytelen! Tegyük z-t utolsónak, a rendezésnek maradnia kellene! y és w megmérettetésében z egy irreleváns alternatíva. Sérül a irreleváns alternatívától való függetlenség elve. A döntés nem logikus, manipulálható. 1 2 3 4 5 6 7 BC w 3 3 0 0 1 1 3 11 x 2 2 3 3 0 0 2 12 y 1 1 2 2 3 3 1 13 z 0 0 1 1 2 2 0 6 1 2 3 4 5 6 7 BC w 3 3 1 1 2 2 3 15 x 2 2 3 3 1 1 2 14 y 1 1 2 2 3 3 1 13 z 0 0 0 0 0 0 0 0 2012 KTR DT-HG, BME-MIT 18

Condorcet győztes paradoxonja A győztes a vesztessel szemben páronkénti megmérettetésben alulmarad: x i y 5 y i x 2 Condorcet győztes: páronként mindenkinél jobb: 3/2 w x w a Condorcet győztes 3/2 3/2 y z 1 2 3 4 5 BC w 3 3 1 1 1 9 x 2 2 0 3 3 10 y 1 0 2 0 2 5 z 0 1 3 2 0 6 Sérül a Condorcet kritérium (ha van Condorcet győztes, akkor őt kell megválasztani!) 2012 KTR DT-HG, BME-MIT 19

1 2 3 1. D1 R D2 2. D2 D1 R 3. R D2 D1 D1 D2? = D1 D1 R? = R De R-t kisebbség akart! D1 M D2, R M D1, helyes konklúzió-e R M D2? És mi van, ha D2 panasza érvényt kap (újbóli D2... R összehasonlítás) D2 R? D2! Ciklikus győztes váltás 1 2 3 1. w y x 2. x w z 3. z x y 4. y z w w M x, y M w, z M y,... x M z 2012 KTR DT-HG, BME-MIT 20

Szavazási paradoxon Az egyéni preferenciák tranzitivitása ellenére a többségi szavazás nem az. Tranzitív preferencia a racionális gondolkodás, a cselekvés alapvető követelménye. Döntésképes, racionális egyén tranzitív. Mi a helyzet a közösséggel? Nem az? TB, MT szabályok alapja: - May tétel - ciklusok ritkák 3 szavazó, 3 alternatíva: 216 típ. közösség, ciklusok csak 12-ben = 5.6% Ha szavazó-, alternatívaszám nő, a ciklusok valószínűsége 1-hez tart. (szimuláció) Borda, stb. megközelítés: manipulálás csak a teljes preferenciaismeret mellett! 2012 KTR DT-HG, BME-MIT 21

Szavazási rendszerek vizsgálati kritériumok Többségi k. ha létezik egy jelöltet támogató többség, győz-e ez a jelölt mindig, ha a többség őszintén szavaz? Monotonitási k. lehetetlen megbuktatni a győztes jelöltet úgy, hogy magasabbra értékeljük, vagy a győzelemhez juttatni a bukott jelöltet azzal, hogy alacsonyabbra értékeljük. Konzisztencia (szeparabilítási) k. ha a szavazókat két részre bontjuk, és mindkét részben ugyanaz a jelölt győz, győz-e a szavazók egész halmazában? Részvételi k. jobb-e mindig őszintén szavazni, vagy egyáltalán nem szavazni? Condorcet k. ha a jelölt páronként mindenki másnál jobb, győz-e mindig? Condorcet vesztes k. - ha a jelölt páronként mindenkivel szemben veszít, veszít-e mindig? Irreleváns alternatívák függetlensége k. ugyanaz-e az eredmény, ha egy nem győztes jelöltet beiktatjuk, ill. kiiktatjuk a jelöltek sorából? Klónozott jelöltek függetlensége k. - ugyanaz-e az eredmény, ha a létező jelöltekkel azonos jelölteket adunk hozzá? http://en.wikipedia.org/wiki/voting_system 2012 KTR DT-HG, BME-MIT 22

Condorcet paradoxon: kollektív preferencia lehet ciklikus (nem tranzitív), annak ellenére, hogy minden egyedi preferencia tranzitív (kell!?). Mik az értelmes követelmények? Kenneth Arrow, 1951, Nobel díj 1972. A a jelöltek, N a szavazók halmaza Arrow tétel: ha A > 2 és N > 3, akkor az alábbi 3 feltétel inkompatibilis. Pareto hatékonyság: ha az a alternatívát a b-nél minden szavazó jobban értékeli, akkor az a a b-nél jobb a kollektív megítélésben is. nincs diktátor: nem létezik olyan egyed, amelynek preferenciái mindig érvényesülnek, a többiektől függetlenül. irreleváns alternatívák függetlensége Melyik feltételről mondjunk le? Melyikről le kellene mondani? (teljes rendezés, értelmes, tisztességes feltételek,, IIA?) Gibbard Satterthwaite tétel (1973) A > 3: az alábbi feltételek egyike minden szavazási módszerre igaz: - szabály diktatórikus (egyetlen szavazó meghatározza a győztest), vagy - van olyan jelölt, aki szabályt alkalmazva soha nem győzhet, vagy - a szabály manipulálható (tactical voting): bizonyos feltételek mellett egy szavazó, a szabály és mások preferenciái ismeretében, nem a tényleges preferenciái szerint szavazva, befolyásolhatja a szavazás kimenetelét. 2012 KTR DT-HG, BME-MIT 23