Publication year: 2011 Source: Artificial Intelligence, Volume 175, Issues 14-15, September 2011, Pages 2010-2020 Pingzhong Tang, Fangzhen Lin 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
Read the article:
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs