PP-2010-19: Kurzen, Lena (2010) Eleusis: Complexity and Interaction in Inductive Inference. [Report]
Preview |
Text (Full Text)
PP-2010-19.text.pdf Download (191kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2010-19.abstract.txt Download (998B) |
Abstract
This paper analyzes the computational complexity of the inductive inference game Eleusis. Eleusis is a card game in which one player constructs a secret rule which has to be discovered by the other players.
We determine the complexity of various decision problems that arise in Eleusis. We show that on the one hand, many of the problems are solvable in polynomial time whereas on the other hand, the rules of Eleusis allow for secret rules that can force players to face intractable and undecidable problems.
Our results show that computational complexity plays a crucial role in the game and has to be taken into account by the players in their strategic considerations. As Eleusis can be seen as a simulation of inductive inference using membership queries, our results also have relevance for interactive approaches to formal learning theory.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2010-19 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2010 |
| Uncontrolled Keywords: | computational complexity; games; inductive inference |
| Subjects: | Computation |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/398 |
Actions (login required)
 |
View Item |
