Lequel des axiomes d'Anscombe-Aumann implique le principe Sure-Thing?

8

Considérons un paramètre Anscombe-Aumann et supposons qu'une relation de préférence respecte tous les axiomes d'origine d'Anscombe-Aumann (rationalité, continuité, indépendance et monotonie).

Si nous limitons notre attention aux courses hippiques pures (c'est-à-dire à des actes sans aucune incertitude objective), le modèle Anscombe-Aumann se résume à une représentation subjective de l'utilité attendue à la savage. Par conséquent, lors de courses hippiques pures, le décideur satisfait tous les axiomes de Savage, notamment le principe Sure-Thing (P2 dans la terminologie de Savage).

Je ne vois pas le lien direct entre les axiomes d'Anscombe-Aumann et le principe Sure-Thing. Est-ce que quelqu'un voit comment le principe Sure-Thing est impliqué dans les axiomes d'Anscombe-Aumann? En particulier, résulte-t-il uniquement de l'indépendance ou faut-il que l'indépendance ET la monotonicité soient requises?

Oliv
la source

Réponses:

8

Une première remarque: les axiomes d'Anscombe-Aumann, en particulier l'Indépendance, sont définis par des actes qui amènent l'espace d'état à un espace linéaire (généralement de simples loteries sur des objets de consommation). Même lorsque nous considérons la restriction du modèle à des actes purement subjectifs, nous devons toujours utiliser le modèle complet, sinon nous perdrons des informations.

SXΔ(X)Xf:SΔ(X)ESfEg

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

fEhgEhfEchgEchfg.

Supposons l'antécédent du STP. De et de l’indépendance, nous avons que Remarquez que nous pouvons réécrire ceci comme et, en appliquant à nouveau l'indépendance, nous obtenons fEhgEh

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

De manière analogue, à partir de et de l'indépendance, nous avons De nouveau, nous pouvons réécrire et, en appliquant à nouveau l'indépendance, nous obtenons fEchgEch

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

En combinant (1) et (2) via la transitivité, on obtient les relations souhaitées. Pour revenir à la remarque liminaire, notez que pour appliquer l'indépendance, nous devons combiner les actes et faire appel au risque objectif. Ainsi, même lorsque , et ne présentent pas de risque objectif, nous avons toujours besoin d'actes risqués pour servir d'intermédiaire dans la preuve. En un sens, il s’agit là de la grande perspicacité de l’ensemble du cadre des AA: utiliser le risque objectif pour contourner la nécessité d’un espace d’états infini en utilisant la linéarité des attentes pour forcer le STP.fgh

Notez que seules l'indépendance et la transitivité ont été utilisées. Cela devrait indiquer que même l'UE dépendant de l'État (où la monotonie / l'indépendance de l'un des États échoue) ou Bewley EU (où l'intégralité est assouplie) satisfera toujours au STP.


Modifier en réponse à un commentaire: appelons la notion ci-dessus du principe Sure Thing STP1 et disons que la préférence satisfait STP2 si pour tous les . Ensuite, si est un précommande, il satisfait STP1 si, et seulement si, il satisfait à STP2.fEhgEhfEhgEhf,g,h,h

Supposons d’abord que STP2 est valide et que et . Ensuite, par STP2, nous avons La transitivité implique ; STP1 est valable.fEhgEhfEchgEch

f=fEfgEf and gEf=fEcgg.
fg

Ensuite, supposons que STP1 soit en attente et que . Définissez et manière analogue. Par définition, notre hypothèse est donc identique à De plus nous avons donc, par la réflexivité de préférence, que Nous pouvons maintenant appliquer STP1 aux (3) et (4) pour obtenir quefEhgEhf^=fEhg^

f^Eh=fEh and g^Eh=gEh,
(3)f^Ehg^Eh.
f^Ech=g^Ech=hEh
(4)f^Echg^Ech.
f^g^, ce qui, étant donné leur définition, correspond exactement à ce que nous devons montrer pour que STP2 soit valable.
201p
la source
(+1) Une question: il a été démontré que le STP exige que les actes n'affectent pas les probabilités sur les événements, sinon il ne peut pas tenir. Est-ce couvert / garanti par le cadre AA?
Alecos Papadopoulos
@ 201p excellente réponse, merci beaucoup. Une question: la définition standard du STP est que . Votre définition est-elle équivalente à celle-ci? fEhgEhfEhgEh
Oliv
@AlecosPapadopoulos n'est-ce pas l'axiome P4 (au lieu de P2) qui exige que les probabilités soient indépendantes de l'acte? Sinon, avez-vous une référence pour votre demande?
Oliv
@Oliv Bien sûr, vérifiez ftp.cs.ucla.edu/pub/stat_ser/r466.pdf et la littérature y figurant.
Alecos Papadopoulos
@AlecosPapadopoulos merci beaucoup, c'est très utile.
Oliv