We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Formal Game Grammar and Equivalence

Abstract: We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous play. We make minimal assumptions about the form or content of game rules or user interface. The associated game trees resemble hybrid extensive- and strategic-form games, in the game theory sense. By transforming and comparing game trees, we develop equivalence relations on the space of game systems, which equate games that give players the same meaningful agency. We bring these together to suggest a method to measure distance between games, insensitive to cosmetic variations in the game logic descriptions.
Comments: 8 pages, 7 figures. Presented at the 2020 IEEE Conference on Games (Full Paper. August 24-27, 2020). arXiv admin note: text overlap with arXiv:1912.03295
Subjects: Logic in Computer Science (cs.LO)
Journal reference: 2020 IEEE Conference on Games (CoG), Osaka, Japan, 2020, pp. 206-213
DOI: 10.1109/CoG47356.2020.9231594
Cite as: arXiv:2101.00992 [cs.LO]
  (or arXiv:2101.00992v1 [cs.LO] for this version)

Submission history

From: Paul Riggins [view email]
[v1] Thu, 31 Dec 2020 18:22:56 GMT (1305kb,D)

Link back to: arXiv, form interface, contact.