Manakah dari aksioma Anscombe-Aumann yang menyiratkan prinsip Sure-Thing?


8

Pertimbangkan pengaturan Anscombe-Aumann, dan asumsikan bahwa hubungan preferensi memuaskan semua aksioma asli Anscombe-Aumann (rasionalitas, kontinuitas, kemandirian, dan monotonisitas).

Jika kita membatasi perhatian pada pacuan kuda murni (yaitu, bertindak tanpa ada ketidakpastian obyektif), model Anscombe-Aumann bermuara pada perwakilan Utility yang Diharapkan Subyektif Utilitas ala Savage. Oleh karena itu, dibandingkan pacuan kuda murni, pembuat keputusan memuaskan semua aksioma Savage, terutama Prinsip Sure-Thing (P2 dalam terminologi Savage).

Saya gagal melihat hubungan langsung antara aksioma Anscombe-Aumann dan Prinsip Sure-Thing. Adakah yang melihat bagaimana Prinsip Sure-Thing tersirat oleh aksioma Anscombe-Aumann? Secara khusus, apakah itu hasil dari Kemerdekaan saja, atau Kemandirian DAN Monotonitas diperlukan?

Jawaban:


8

Sebagai komentar pertama: aksioma Anscombe-Aumann, khususnya Kemandirian, didefinisikan atas tindakan yang mengambil ruang negara ke ruang linier (umumnya lotere sederhana di atas objek konsumsi). Bahkan ketika kita mempertimbangkan pembatasan model untuk murni tindakan tidak menentu subyektif, kita masih perlu menggunakan model lengkap atau kita akan kehilangan informasi.

Yang sedang berkata: Mari kita biarkan menjadi ruang keadaan terbatas, dan serangkaian alternatif yang terbatas. Biarkan menunjukkan semua lotre di atas dan adalah sebuah akting. Untuk acara , misalkan adalah tindakan yang didefinisikan oleh X Δ ( X ) X f : S Δ ( X ) E S f - E g f - E g { f ( s )  jika  x E g ( s )  jika  x E .SXΔ(X)Xf:SΔ(X)ESfEg

fEg{f(s) if xEg(s) if xE.

Sekarang, kita dapat mengatakan bahwa model kita memenuhi prinsip hal yang pasti jika dan laluDefinisi ini berlaku untuk semua tindakan, bukan hanya yang tanpa risiko objektif, tetapi jelas Anda hanya dapat mempertimbangkan proyeksi yang relevan.fEhgEhfEchgEchfg.

Asumsikan pendahulunya dari STP. Dari dan kemandirian kita memilikinya Perhatikan kita dapat menulis ulang ini sebagai dan, menerapkan independensi lagi, kita mendapatkan fEhgEh

12fEh+12fEch12gEh+12fEch.
12f+12h12gEf+12h
(1)fgEf.

Dengan cara yang analog, dari dan kemandirian kita memiliki itu Sekali lagi, kita dapat menulis ulang sebagai dan, menerapkan independensi lagi, kita mendapatkan fEchgEch

12fEch+12gEh12gEch+12gEh.
12gEf+12h12g+12h
(2)gEfg.

Menggabungkan (1) dan (2) melalui transitivitas menghasilkan hubungan yang diinginkan. Kembali ke komentar awal, perhatikan bahwa untuk menerapkan independensi, kita perlu mencampuradukkan tindakan, yang menarik risiko obyektif. Jadi, bahkan ketika , , dan tidak memiliki risiko objektif, kita masih memerlukan tindakan berisiko untuk bertindak sebagai perantara dalam buktinya. Dalam arti tertentu, ini adalah wawasan besar ke seluruh kerangka kerja AA --- menggunakan risiko obyektif untuk menyiasati perlunya ruang keadaan tanpa batas dengan menggunakan linearitas harapan untuk memaksa STP.fgh

Perhatikan hanya independensi dan transitivitas yang digunakan. Ini harus menunjukkan bahwa bahkan UE yang bergantung pada negara (di mana monotonisitas / kemerdekaan negara gagal) atau Bewley UE (di mana kelengkapannya santai) masih akan memuaskan STP.


Edit dalam menanggapi komentar: Mari kita sebut gagasan di atas dari Prinsip Hal Pasti STP1 dan katakan preferensi memenuhi STP2 jika untuk semua . Maka jika adalah preorder, itu memenuhi STP1 jika dan hanya jika itu memenuhi STP2.fEhgEhfEhgEhf,g,h,h

Asumsikan STP2 pertama memegang dan bahwa dan . Kemudian oleh STP2 kita memiliki Transitivitas menyiratkan ; STP1 berlaku.fEhgEhfEchgEch

f=fEfgEf and gEf=fEcgg.
fg

Selanjutnya, anggap STP1 memegang dan . Tentukan dan analog. Menurut definisi jadi asumsi kami secara identik bahwa Selanjutnya jadi kita memiliki, dengan refleksivitas preferensi, yang Sekarang kita dapat menerapkan STP1 ke (3) dan (4) untuk mendapatkanfEhgEhf^=fEhg^

f^Eh=fEh and g^Eh=gEh,
(3)f^Ehg^Eh.
f^Ech=g^Ech=hEh
(4)f^Echg^Ech.
f^g^, yang, dengan definisi mereka, persis apa yang perlu kita tunjukkan agar STP2 dapat bertahan.

(+1) Sebuah pertanyaan: telah ditunjukkan bahwa STP mensyaratkan bahwa tindakan tidak mempengaruhi probabilitas atas peristiwa, jika tidak, ia mungkin tidak berlaku. Apakah ini dilindungi / dijamin oleh kerangka kerja AA?
Alecos Papadopoulos

@ 201p jawaban yang bagus, terima kasih banyak. Satu pertanyaan: definisi standar STP adalah . Apakah definisi Anda setara dengan yang ini? fEhgEhfEhgEh
Oliv

@AlecosPapadopoulos bukan aksioma P4 (bukan P2) yang membutuhkan probabilitas untuk bertindak independen? Jika tidak, apakah Anda memiliki referensi untuk klaim Anda?
Oliv

@Oliv Tentu, periksa ftp.cs.ucla.edu/pub/stat_ser/r466.pdf dan literatur di dalamnya.
Alecos Papadopoulos

@AlecosPapadopoulos terima kasih banyak, itu sangat berguna.
Oliv
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.