|
St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Systems, 2014, Issue 1(188), Pages 69–75
(Mi ntitu9)
|
|
|
|
Mathematical Modelling: Methods, algorithms, technologies
Eleusis: perfect recall for inductive reasoning
N. O. Garanina A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences
Abstract:
This paper formalizes a variant of inductive game Eleusis. A model of the game is an interpreted system
with perfect recall agents for the players and the dealer. The pecularity of Eleusis multi-agent system is that the agents have to guess the behavior of the system, rather than some static information about the system. We express some Eleusis rules and properties of the system by the formulas of propositional knowledge logic and branching time Act-CTL-K$_n$.
Keywords:
multiagent systems, epistemic logic, eleusis, perfect recall, interpreted systems.
Citation:
N. O. Garanina, “Eleusis: perfect recall for inductive reasoning”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 1(188), 69–75
Linking options:
https://www.mathnet.ru/eng/ntitu9 https://www.mathnet.ru/eng/ntitu/y2014/i1/p69
|
Statistics & downloads: |
Abstract page: | 83 | Full-text PDF : | 55 |
|