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