Implementierung surrealer Zahlen für Spiele

Es gibt eine sehr schöne Konstruktion von Conway mit surrealen Zahlen. Sie sind "Zahlen", die sowohl reelle Zahlen als auch Ordnungszahlen enthalten, vollständig geordnet sind und alle Eigenschaften eines Feldes haben (außer sie bilden keine Menge, sondern eine Klasse).

Eine Einführung finden Sie beispielsweise in diesem PDF oder in Wikipedia .

Sie können noch allgemeiner auf sogenannte "Spiele" verallgemeinert werden, die ursprünglich zur Untersuchung kombinatorischer Spiele eingeführt wurden. Die ursprüngliche Motivation von Conway war es, das Go-Spiel zu analysieren. Insbesondere das Endspiel eignet sich besonders für die Modellierung mit "surrealen Spielen".

Meine Frage ist: Weißt du, ob jemand diesen Ansatz in einer KI (dh einem Computerspieler) implementiert hat, um sein Level bei einem Spiel zu verbessern? Ich interessiere mich besonders für den Fall Go, aber auch für andere. Wenn nicht, gibt es ein Hindernis oder einen Grund, warum dies keine gute Idee wäre?

Ich habe keine Antwort auf Ihre Frage, ob die Theorie der Conway-Spiele beim Erstellen von Spielprogrammen verwendet wurde, aber Sie könnten dennoch an der Combinatorial Game Suite interessiert sein , einem Open-Source-Programm zur Unterstützung der kombinatorischen Forschung Spieltheorie "(die ich hier zuerst kennengelernt habe ). Es enthält eine Implementierung verschiedener Standardoperationen für Conway-Spiele in kanonischer Form sowie eine Skriptsprache zur Beschreibung neuer Spiele.

Bei einigen Suchanfragen scheint es nicht viel veröffentlichte allgemeine Implementierungen surrealer Zahlen zu geben. Hier ist eine Implementierung von surrealen Zahlen in coq .

• Surreale Zahlen in coq / Mamane, TYPES'04 Proceedings der internationalen Konferenz 2004 über Typen für Beweise und Programme

  Surreale Zahlen bilden ein vollständig geordnetes (kommutatives) Feld, das Kopien der Realzahlen und (aller) Ordnungszahlen enthält. Ich habe den größten Teil der Ringstruktur surrealer Zahlen in Coq codiert. Diese Kodierung beruht auf Aczels Kodierung der Mengenlehre in der Typentheorie.

  In diesem Artikel werden insbesondere die Definitions- oder Beweispunkte erörtert, an denen ich von Conways oder dem natürlichsten Weg abweichen musste, wie die Trennung der gleichzeitigen Induktionsrekursion in zwei Induktionen, wobei die Definition der Ordnung in eine gegenseitig induktive Definition von „höchstens“ umgewandelt wurde. und "zumindest" und Einpassen der ziemlich komplizierten Induktions- / Rekursionsschemata in die Typentheorie von Coq.

Es gibt einige Teilimplementierungen der surrealen Arithmetik für ein Spiel namens Hackenbush (Davis), das von Conway, Berlekamp und Guy populär gemacht wurde, von denen es einige Referenzen gibt.

Go ist in der Tat einer der Spitzenbereiche der KI-Forschung im Spiel (als wesentlich schwieriger angesehen als Schach, das die KI jahrzehntelang beschäftigte), aber es scheint, dass es wenig Forschung speziell zur Verwendung surrealer Zahlen zum Modellieren / Spielen gibt. Go wird als Grenze für maschinelles Lernen / KI-Algorithmen angesehen, da es auch einen relativ einzigartigen Status / Unterschied aufweist, da die besten softwarebasierten Algorithmen ("noch / aktuell") die menschlichen Meister nicht übertreffen.

In diesem Artikel The Mystery of Go, dem alten Spiel, das Computer immer noch nicht gewinnen können (Wired Mag), finden Sie eine anständige Übersicht über die aktuellen Go AI-Techniken / Forscher / Leads.

Hier ist eine Implementierung von Surreal Numbers in einer relativ neuen Sprache, Julia. https://github.com/mroughan/SurrealNumbers.jl

Beschrieben unter https://www.sciencedirect.com/science/article/pii/S2352711018302152