Hay una muy buena construcción por Conway de números surrealistas. Son "números" que contienen números reales y ordinales, están totalmente ordenados y tienen todas las propiedades de un campo (excepto que no forman un conjunto sino una clase).
Vea, por ejemplo, este pdf o Wikipedia para una introducción.
Se pueden generalizar aún más a los llamados "juegos", que se introdujeron originalmente para estudiar juegos combinatorios. La motivación original de Conway era analizar el juego de Go , en particular el final del juego es especialmente adecuado para ser modelado con "juegos surrealistas".
Mi pregunta es: ¿sabe si alguien ha implementado este enfoque en una IA (es decir, un jugador de computadora) para mejorar su nivel en un juego? Estoy especialmente interesado en el caso de Go, pero también en otros. Si no, ¿hay algún obstáculo o una razón por la cual no sería una buena idea?
Respuestas:
No tengo una respuesta a su pregunta sobre si la teoría de los juegos de Conway se ha utilizado para crear programas de juegos, pero aún así podría estar interesado en Combinatorial Game Suite , "un programa de código abierto para ayudar a la investigación en combinatoria teoría del juego "(que aprendí por primera vez aquí ). Incluye una implementación de varias operaciones estándar en juegos de Conway en forma canónica, así como un lenguaje de scripting para describir nuevos juegos.
fuente
En algunas búsquedas, no parece haber muchas implementaciones generales publicadas de números surrealistas. Heres una implementación de números surrealistas en coq .
Números surrealistas en coq / Mamane, TYPES'04 Actas de la conferencia internacional de 2004 sobre Tipos de pruebas y programas
Hay algunas implementaciones parciales de la aritmética surrealista para un juego llamado hackenbush (Davis) popularizado por Conway, Berlekamp y Guy del cual hay algunas referencias.
Go es de hecho una de las áreas de vanguardia de la investigación de IA del juego (considerada significativamente más difícil que el ajedrez que ocupó la IA durante décadas), pero parece que hay poca investigación específicamente sobre el uso de números surrealistas para modelarlo / jugarlo. Go se considera una frontera para los algoritmos de aprendizaje automático / IA porque también tiene un estado / distinción relativamente único en el sentido de que los mejores algoritmos basados en software ("todavía / actualmente") no superan a los jugadores humanos campeones.
vea esta referencia The Mystery of Go, el antiguo juego que las computadoras aún no pueden ganar (Wired mag) para una encuesta aproximada decente de las técnicas / investigadores / líderes actuales de Go AI.
fuente
Aquí hay una implementación de números surrealistas en un lenguaje relativamente nuevo, Julia. https://github.com/mroughan/SurrealNumbers.jl
Descrito en https://www.sciencedirect.com/science/article/pii/S2352711018302152
fuente