La toma de decisiones superracional es un tipo de toma de decisiones racional en la que los jugadores cooperan en un dilema del prisionero de una sola vez sin coordinación, castigo o pensamiento mágico.
La idea es que al jugar un dilema del prisionero simétrico se asuma que existe una única solución al problema matemático de la estrategia óptima, que esta solución será encontrada y jugada por todos los jugadores superracionales, y que suponiendo que los jugadores están perfectamente correlacionados , maximizas tu utilidad.
El resultado del dilema del prisionero de una sola oportunidad es que dos jugadores superracionales cooperan entre sí, a diferencia de dos jugadores racionales de Nash (o económicamente racionales) que desertan.
Un jugador superracional que juega con un economista racional de Nash desertará y, en general, en ausencia de otros jugadores superracionales, jugará de acuerdo con la estrategia racional de Nash. Sólo cuando hay una comunidad de jugadores superracionales se encuentran nuevos tipos de comportamiento racional.
Tengo dos preguntas estrechamente relacionadas sobre la literatura sobre esto:
¿Se debe a él la definición matemáticamente precisa de superracionalidad en los juegos simétricos de varios jugadores, o estaba en algún lugar de la literatura anterior?
TL;RD :
¿Se debe a él la definición matemáticamente precisa de superracionalidad en los juegos simétricos de varios jugadores, o estaba en algún lugar de la literatura anterior?
Realmente no. La idea había surgido varias veces en filosofía, economía y matemáticas antes de que Hofstadter escribiera sobre ella. En particular, Martin Gardener escribió sobre un rompecabezas que involucraba la noción en Scientific American en los años 70, en la misma columna en la que Hofstadter finalmente se hizo cargo y escribió sobre la superracionalidad.
Un buen lugar para comenzar sería la entrada de SEP en Conocimiento común .
¿Los filósofos se toman en serio esta idea?
Sí.
Aquí hay una cita de Metamagical Themas (1985) de Hofstadter donde proporciona una definición de superracionalidad :
Necesita depender no sólo de que sean racionales, sino de que dependan de todos los demás para ser racionales, y de que dependan de todos para depender de todos para ser racionales, y así sucesivamente. Un grupo de razonadores en esta relación entre sí lo llamo superracional . Los pensadores superracionales, por definición recursiva, incluyen en sus cálculos el hecho de que se encuentran en un grupo de pensadores superracionales. (Capítulo 30)
Antes de esto, la idea apareció varias veces, remontándose a Hume. Consulte el artículo SEP vinculado para una discusión.
Presentaré dos menciones de la literatura económica.
En 2005, Thomas Schelling y Robert Aumann compartieron el premio Nobel de economía por "haber mejorado nuestra comprensión del conflicto y la cooperación a través del análisis de la teoría de juegos" (ver el comunicado de prensa ).
A Schelling, en particular, se le puede atribuir el mérito de adelantarse a la definición de superracionalidad de Hofstadter en los juegos de coordinación:
Thomas Schelling: Hay una buena cita de The Strategy of Conflict (1960) que usa el artículo SEP vinculado:
Cuando un hombre pierde a su esposa en una tienda por departamentos sin ningún acuerdo previo sobre dónde encontrarse si se separan, las posibilidades de que se encuentren son buenas. Es probable que cada uno piense en algún lugar obvio para encontrarse, tan obvio que cada uno estará seguro de que es "obvio" para ambos. Uno no predice simplemente adónde irá el otro, que es donde el primero predice que el segundo va a predecir que va el primero, y así ad infinitum . No "¿Qué haría yo si fuera ella?" sino "¿Qué haría yo si yo fuera ella preguntándome qué haría ella si ella se preguntara qué haría yo si yo fuera ella...?" (pág. 54)
Schelling realizó una variedad de experimentos basados en juegos como el esbozado anteriormente y, en última instancia, desarrolló la idea de un punto focal de equilibrio:
La mayoría de las situaciones (quizás todas las situaciones para las personas que tienen experiencia en este tipo de juego) brindan alguna pista para coordinar el comportamiento, algún punto focal para la expectativa de cada persona de lo que el otro espera que él haga. (pág. 57).
Robert Aumann es la primera persona a la que se le atribuye una noción rigurosa de conocimiento común. Presenta la noción de accesibilidad de gráficos de conocimiento común en particiones en el espacio de información, que ahora es la definición de facto para los lógicos modernos que trabajan en lógica epistémica . Aquí está el resumen de su artículo Agreeing to Disagree (1976) ( texto completo ):
Se dice que dos personas, 1 y 2, tienen conocimiento común de un evento E si ambas lo saben, 1 sabe que 2 lo sabe, 2 sabe que 1 lo sabe, 1 sabe que 2 sabe que 1 lo sabe, y así sucesivamente.
Teorema : si dos personas tienen los mismos antecedentes y sus posteriores para un evento A son de conocimiento común, entonces estos posteriores son iguales
Si tu acción obliga a otros jugadores a comportarse de la misma manera, no estás jugando un juego real. estás jugando un juego de un solo jugador, un problema de decisión. La falacia de la teoría de juegos que hace Hofstadter no es nueva. Se puede encontrar una discusión extensa de la "falacia de simetría" en Game Theory and the Social Contract de Ken Binmore, vol. 1: Jugar limpio en el Capítulo 3.
En realidad, la noción de superracionalidad de Hofstadter está estrechamente relacionada con la teoría de la decisión evidencial , donde la acción que realizas es tal que, condicional a que hayas realizado esa acción, tu utilidad esperada es la más alta. Si cree que su acción en el Dilema del Prisionero está altamente correlacionada con la de su oponente, entonces su utilidad esperada está más condicionada a su cooperación que a su deserción, por lo que la teoría de la decisión evidencial diría que debe cooperar. Por el contrario, según la teoría de la decisión causal , aún debe desertar incluso si cree que las acciones están correlacionadas, porque no hay un efecto causal de su acción en la del otro.
Ron Maimón
WD mate
Ron Maimón
Ron Maimón
WD mate
Ron Maimón
WD mate
Ron Maimón
Ron Maimón
Ron Maimón