¿Cuál de los axiomas de Anscombe-Aumann implica el principio Sure-Thing?

8

Considere una configuración de Anscombe-Aumann y suponga que una relación de preferencia satisface todos los axiomas originales de Anscombe-Aumann (racionalidad, continuidad, independencia y monotonicidad).

Si restringimos la atención a las carreras de caballos puras (es decir, actúa sin ninguna incertidumbre objetiva), el modelo de Anscombe-Aumann se reduce a una representación de Utilidad esperada subjetiva a la Savage. Por lo tanto, en las carreras de caballos puras, el responsable de la toma de decisiones satisface todos los axiomas de Savage, especialmente el Principio de la Cosa Segura (P2 en la terminología de Savage).

No veo la conexión directa entre los axiomas de Anscombe-Aumann y el Principio de la Cosa Segura. ¿Alguien ve cómo el Principio de lo Seguro está implícito en los axiomas de Anscombe-Aumann? En particular, ¿se debe solo a la independencia, o se requiere independencia y monotonicidad?

Oliv
fuente

Respuestas:

8

Como primer comentario: los axiomas Anscombe-Aumann, en particular la Independencia, se definen sobre los actos que llevan el espacio de estado a un espacio lineal (generalmente loterías simples sobre objetos de consumo). Incluso cuando consideramos la restricción del modelo a actos puramente subjetivamente inciertos, aún necesitamos emplear el modelo completo o perderemos información.

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

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

fEhgEhfEchgEchfg.

Asuma el antecedente del STP. De e independencia tenemos que Tenga en cuenta que podemos reescribir esto como y, aplicando la independencia nuevamente, obtenemos fEhgEh

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

De manera análoga, desde e independencia tenemos que Nuevamente, podemos reescribir como y, aplicando la independencia nuevamente, obtenemos fEchgEch

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

La combinación de (1) y (2) por transitividad produce las relaciones deseadas. Volviendo a la observación preliminar, observe que para aplicar la independencia, necesitamos mezclar actos, apelando al riesgo objetivo. Por lo tanto, incluso cuando , y tienen ningún riesgo objetivo, todavía necesitamos actos riesgosos para servir como intermediario en la prueba. En cierto sentido, esta es la gran idea de todo el marco de AA: utilizar el riesgo objetivo para evitar la necesidad de un espacio de estado infinito utilizando la linealidad de las expectativas para forzar el STP.fgh

Observe que solo se utilizaron independencia y transitividad. Esto debería indicar que incluso la UE dependiente del estado (donde falla la monotonicidad / independencia del estado) o la UE de Bewley (donde la integridad es relajada) aún satisfará al STP.


Edite en respuesta a un comentario: llamemos a la noción anterior del Principio Sure Thing STP1 y digamos que la preferencia satisface STP2 si para todos los . Entonces, si es un pedido , satisface STP1 si y solo si satisface STP2.fEhgEhfEhgEhf,g,h,h

Primero suponga que STP2 se mantiene y que y . Entonces, por STP2 tenemos La transitividad implica ; STP1 se mantiene.fEhgEhfEchgEch

f=fEfgEf and gEf=fEcgg.
fg

A continuación, suponga que STP1 se mantiene y . Defina y análoga. Por definición, entonces nuestra suposición es idénticamente que Además así que tenemos, por la reflexividad de preferencia, que Ahora podemos aplicar STP1 a (3) y (4) para obtener esefEhgEhf^=fEhg^

f^Eh=fEh and g^Eh=gEh,
(3)f^Ehg^Eh.
f^Ech=g^Ech=hEh
(4)f^Echg^Ech.
f^g^, que, dada su definición, es exactamente lo que necesitamos mostrar para que STP2 se mantenga.
201p
fuente
(+1) Una pregunta: se ha demostrado que el STP requiere que los actos no afecten las probabilidades sobre los eventos, de lo contrario, puede que no se cumpla. ¿Está cubierto / garantizado por el marco de AA?
Alecos Papadopoulos
@ 201p gran respuesta, muchas gracias. Una pregunta: la definición estándar del STP es que . ¿Su definición es equivalente a esta? fEhgEhfEhgEh
Oliv
@AlecosPapadopoulos, ¿no es el axioma P4 (en lugar de P2) el que requiere probabilidades de ser independiente del acto? De lo contrario, ¿tiene una referencia para su reclamo?
Oliv
@Oliv Claro, revise ftp.cs.ucla.edu/pub/stat_ser/r466.pdf y la literatura que contiene.
Alecos Papadopoulos
@AlecosPapadopoulos muchas gracias, eso es muy útil.
Oliv