PhD Qualifying Examination


"Discovering Theorems in Game Theory: Pure Nash Equilibrium in Two-Person
Finite Games"

Mr. Pingzhong Tang


Abstract:

The aim of this survey is to provide a method for discovering
theorems in game theory. Especially, we are interested in the class
of two-person finite games with unique Nash Equilibrium, as well as
those with the existence of Nash Equilibria. First of all, we review
some of the known results that guarantee the uniqueness and the
existence of Nash Equilibrium, respectively. Then we describe a
logical framework which can formulate the literatures in game theory
and allows us to apply the idea of computer aided theorem discovery.
Finally, we present the experimental results we have obtained so
far.


Date:     		Tuesday, 23 January 2007

Time:                   2:00p.m.-4:00p.m.

Venue:                  Room 3501
			lifts 25-26

Committee Members:      Dr. Fangzhen Lin (Supervisor)
			Dr. James Kwok (Chairperson)
			Dr. Mordecai Golin
			Dr. Nevin Zhang


**** ALL are Welcome ****