Lógica aplicada a juegos y a razonamiento estratégico en Lisboa (Portugal)

El razonamiento estratégico se produce en muchos sistemas multiagente. Esto es especialmente evidente en modelos de la teoría de juegos y de la teoría de decisiones, pero también se utilizan en situaciones menos formales que emplean la metáfora del juego, como en juegos de ordenador y servicios de las redes sociales. La lógica matemática puede contribuir de muchas formas a estos ámbitos mediante la disposición de especificaciones, modelos y algoritmos para situaciones de juegos.

En el congreso se estudiarán las contribuciones de la lógica al conocimiento, la modelización y el análisis de juegos y también la forma en la que la metáfora de juegos y estrategias puede contribuir a la construcción y utilización de formalismos lógicos.

Los temas a tratar en el evento serán los siguientes:
- «Lógica para el razonamiento sobre juegos y estrategias»,
- «Lógica modal de la habilidad estratégica»,
- «Fundamentos lógicos de la teoría de juegos y la decisión»,
- «Enfoques lógicos a la racionalidad y la racionalidad limitada»,
- «Resolución de juegos y verificación de estrategias mediante comprobación de modelos»,
- «Lógica para el diseño de mecanismos»,
- «Semántica de juegos aplicada a la lógica»,
- «Juegos para la verificación de especificaciones lógicas».Para más información, consulte:
http://centria.di.fct.unl.pt/events/climaXI/sessions.html(se abrirá en una nueva ventana)