Resumen: En la teoría de juegos clásica, los jugadores eligen acciones con el objetivo de maximizar su beneficio, sin conocer la estrategia del otro jugador. En la teoría de juegos de código abierto, en cambio, cada jugador está representado por un programa que puede inspeccionar el código de los demás antes de decidir qué hacer.
Esta modificación aparentemente sencilla cambia de manera profunda el comportamiento de juegos clásicos como el dilema del prisionero. En particular, aparecen estrategias capaces de condicionar su cooperación a la existencia de demostraciones formales sobre el comportamiento del oponente.
En esta charla introduciremos este modelo a partir del dilema del prisionero y estudiaremos varios ejemplos de estrategias, sus ventajas y desventajas, y como interactúan entre ellas. La explicación de este fenómeno involucra autorreferencia, demostrabilidad y una teoremas de la lógica matemática.
El objetivo será mostrar cómo ideas elementales de teoría de juegos, computación y lógica se combinan para producir comportamientos inesperados y dar lugar a una familia de problemas todavía abiertos.
Martes 15/9 a las 15:30
Salón de seminarios CMAT, piso 14 FCIEN.
Contacto: Diego Joaquín Anselmo , Martín Kunin - joaquinanselmo21 [at] gmail.com, martinkunin [at] gmail.com