Boolean Observation Games
Authors: Hans van Ditmarsch, Sunil Simon
JAIR 2024 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We introduce Boolean Observation Games, a subclass of multi-player finite strategic games with incomplete information and qualitative objectives. ... We present various outcome relations, including a qualitative variant of ex-post equilibrium. We identify conditions under which, given an outcome relation, Nash equilibria are guaranteed to exist. We also study the complexity of checking for the existence of Nash equilibria and of verifying if a strategy profile is a Nash equilibrium. |
| Researcher Affiliation | Academia | Hans van Ditmarsch EMAIL CNRS, University of Toulouse, IRIT France. Sunil Simon EMAIL Department of CSE, IIT Kanpur India. |
| Pseudocode | Yes | Algorithm 1: Input: G = (N, (Pi)i N, (γi)i N). Output: A uniform strategy profile s NE pess(G). Algorithm 2: Input: A Kw game G = (N, (Pi)i N, (γi)i N). Output: A uniform strategy profile s NE max(G). |
| Open Source Code | No | The paper does not contain any explicit statement about releasing source code, nor does it provide a link to a code repository or mention code in supplementary materials for the described methodology. |
| Open Datasets | No | The paper is theoretical and introduces a new game model. It uses examples to illustrate concepts but does not report on experiments conducted using specific datasets. Therefore, there is no mention of publicly available datasets. |
| Dataset Splits | No | The paper is theoretical and does not involve empirical experiments with datasets. Consequently, there is no discussion of training/test/validation dataset splits. |
| Hardware Specification | No | This paper presents theoretical research on Boolean Observation Games, focusing on their definition, properties, and complexity. It does not describe any experimental setup or computational experiments that would require specific hardware specifications. |
| Software Dependencies | No | This paper is theoretical and defines a new game model with its logical and game-theoretic properties. It does not describe any implementation details or experiments that would necessitate mentioning specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical, introducing a new game model and analyzing its properties and complexity. It does not describe any experimental setup, hyperparameters, or system-level training settings. |