Eleusis: perfect recall for inductive reasoning

Формализован вариант индуктивной карточной игры Элевсин. Моделью игры является интерпретированная система с агентами с абсолютной памятью, реализующими игроков и раздающего. Особенностью мультиагентной системы Элевсин является то, что агенты должны вычислить поведение самой системы, а не какую-либо статическую информацию. Некоторые правила игры Элевсин и свойства построенной мультиагентной системы выражены формулами логики знаний и действий Act-CTL-K$_n$.