Specifying a Game-Theoretic Extensive Form as an Abstract 5-ary Relation

07/22/2021 ∙ by Peter A. Streufert, et al. ∙ 0

This paper specifies an extensive form as a 5-ary relation (i.e. set of quintuples) which satisfies certain abstract axioms. Each quintuple is understood to list a player, a situation (for example 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 "5-form". Next a "5-form game" is defined to be a 5-form together with utility functions. The paper's main result is to construct a bijection between (a) those 5-form games with information-set situations and (b) 𝐆𝐦 games (Streufert arXiv:2105.11398). In this sense, 5-form games equivalently formulate almost all extensive-form games. Secondary results suggest that a 5-form might be usefully partitioned into subsets.



There are no comments yet.


page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.