Responsibility in Extensive Form Games
Authors: Qi SHI
AAAI 2024 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | This paper proposes a definition of seeing-to-it responsibility for such settings that amalgamate the two modalities. This paper shows that the newly proposed notion of responsibility and counterfactual responsibility are not definable through each other and studies the responsibility gap for these two forms of responsibility. It shows that although these two forms of responsibility are not enough to ascribe responsibility in each possible situation, this gap does not exist if higher-order responsibility is taken into account. In Section 2, I give a review of the two forms of responsibil-ity and related logic notions in the literature. Based on the discussion, I propose a new form of seeing-to-it responsibility for extensive form game settings in Section 3. Then, I formally define the model of extensive form games in Section 4 and the syntax and semantics of the two forms of responsibility in Section 5. In particular, I show the mutual undefinability between the two forms of responsibility, discuss the meaning of higher-order responsibility, and state the complexity of model checking. Finally, in Section 6, I formally study the responsibility gap. |
| Researcher Affiliation | Academia | University of Southampton qi.shi@soton.ac.uk |
| Pseudocode | No | The paper defines formal systems and concepts but does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper mentions an appendix available at arXiv:2312.07637 for the full version, which is a link to the paper itself, not to open-source code for the methodology. There is no statement about code release. |
| Open Datasets | No | This is a theoretical paper and does not involve the use of datasets for training or evaluation. Therefore, no information about public dataset access is provided. |
| Dataset Splits | No | This is a theoretical paper and does not involve the use of datasets or explicit data splits for validation or training. |
| Hardware Specification | No | This is a theoretical paper and does not describe experimental setups requiring specific hardware specifications. |
| Software Dependencies | No | This is a theoretical paper and does not describe experimental implementations or their software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper and does not describe an experimental setup with hyperparameters or training configurations. |