Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2021
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908548222418944 |
|---|---|
| author | Streufert, Peter A. |
| author_facet | Streufert, Peter A. |
| contents | This paper specifies an extensive form as a 5-ary relation (that is, as a set of quintuples) which satisfies eight abstract axioms. Each quintuple is understood to list a player, a situation (that is, a name for an information set), a decision node, an action, and a successor node. Accordingly, the axioms are understood to specify abstract relationships between players, situations, nodes, and actions. Such an extensive form is called a "pentaform". Finally, a "pentaform game" is defined to be a pentaform together with utility functions.
To ground this new specification in the literature, the paper defines the concept of a "traditional game" to represent the literature's many specifications of finite-horizon and infinite-horizon games. The paper's main result is to construct an intuitive bijection between pentaform games and traditional games. Secondary results concern disaggregating pentaforms by subsets, constructing pentaforms by unions, and initial pentaform applications to Selten subgames and perfect-recall (an extensive application to dynamic programming is in Streufert 2023, arXiv:2302.03855). |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2107_10801 |
| institution | arXiv |
| publishDate | 2021 |
| record_format | arxiv |
| spellingShingle | Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation Streufert, Peter A. Theoretical Economics Computer Science and Game Theory Logic in Computer Science Optimization and Control 91A70 This paper specifies an extensive form as a 5-ary relation (that is, as a set of quintuples) which satisfies eight abstract axioms. Each quintuple is understood to list a player, a situation (that is, a name for an information set), a decision node, an action, and a successor node. Accordingly, the axioms are understood to specify abstract relationships between players, situations, nodes, and actions. Such an extensive form is called a "pentaform". Finally, a "pentaform game" is defined to be a pentaform together with utility functions. To ground this new specification in the literature, the paper defines the concept of a "traditional game" to represent the literature's many specifications of finite-horizon and infinite-horizon games. The paper's main result is to construct an intuitive bijection between pentaform games and traditional games. Secondary results concern disaggregating pentaforms by subsets, constructing pentaforms by unions, and initial pentaform applications to Selten subgames and perfect-recall (an extensive application to dynamic programming is in Streufert 2023, arXiv:2302.03855). |
| title | Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation |
| topic | Theoretical Economics Computer Science and Game Theory Logic in Computer Science Optimization and Control 91A70 |
| url | https://arxiv.org/abs/2107.10801 |