ML Anthology

Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs

Pingzhong Tang, Fangzhen Lin
IJCAI 2009 pp. 312-317
doi:10.1016/j.artint.2011.07.001 /ijcai/2009/tang2009ijcai-discovering/

Abstract

In this paper we provide a logical framework for two-person finite games in strategic form, and use it to design a computer program for discovering some classes of games that have unique pure Nash equilibrium payoffs. The classes of games that we consider are those that can be expressed by a conjunction of two binary clauses, and our program re-discovered Kats and Thisseʼs class of weakly unilaterally competitive two-person games, and came up with several other classes of games that have unique pure Nash equilibrium payoffs. It also came up with new classes of strict games that have unique pure Nash equilibria, where a game is strict if for both player different profiles have different payoffs.

PDF Semantic Scholar

Cite

Text

Tang and Lin. "Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs." International Joint Conference on Artificial Intelligence, 2009. doi:10.1016/j.artint.2011.07.001

Markdown

[Tang and Lin. "Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/tang2009ijcai-discovering/) doi:10.1016/j.artint.2011.07.001

BibTeX

@inproceedings{tang2009ijcai-discovering,
  title     = {{Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs}},
  author    = {Tang, Pingzhong and Lin, Fangzhen},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {312-317},
  doi       = {10.1016/j.artint.2011.07.001},
  url       = {https://mlanthology.org/ijcai/2009/tang2009ijcai-discovering/}
}