Regular Games

Język Ogólnego Opisu Gier Oparty o Automaty Skończone

@radekmie

DUKAI, 12 grudnia 2025

Klasyczne Game Playing

@radekmie

Osobny program dla każdej gry.

General Game Playing

@radekmie

Jeden program dla wszystkich gier.

Dlaczego GGP?

@radekmie

Krok w kierunku silnej sztucznej inteligencji.
Solidna baza dla uczenia nienadzorowanego.
Brak ograniczeń na złożoność problemów.
Generowanie gier i ich wariantów.
Tematyka przystępna dla studentów.
...

Dzisiaj jest to dość niszowa dziedzina
z ogromną historią.

Dlaczego GGP?

@radekmie

Search, Planning, Learning, and Explainability
Cultural Heritage of Games
Automated Game and Puzzle Design
Mathematics in Games
Implementation, Dissemination, and Education

CA22145 - Computational Techniques for Tabletop Games Heritage (GameTable)

Regular Boardgames

@radekmie

AAAI 2019

Regular Boardgames

@radekmie

Formalnie, gra jest zadana wyrażeniem regularnym, opisującym wszystkie legalne ciągi ruchów.

Opisywalna klasa gier obejmuje wszystkie deterministyczne, skończone turowe gry z pełną informacją. W praktyce mieści się tutaj większość popularnych gry planszowe jak Go czy Szachy, ale nie ma tu gier karcianych jak Poker.

AAAI 2019

Ludii

@radekmie

ECAI 2020

Ludii

@radekmie

Formalnie, gra jest złożona z ludemów, opisującym jakąś część gry, jak pionki czy warunek zakończenia.

ECAI 2020

Opisywalna klasa gier obejmuje wszystkie skończone turowe gry z niepełną informacją. W porównaniu z Regular Boardgames możemy opisać Pokera ale też nowoczesne strategiczne gry planszowe jak Catan czy Monopoly.