کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
377124 658369 2010 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 175, Issues 14–15, September 2011, Pages 2010-2020