Rationality authority for provable rational behavior
Paper i proceeding, 2015

Players in a game are assumed to be totally rational and absolutely smart. However, in reality all players may act in non-rational ways and may fail to understand and find their best actions. In particular, participants in social interactions, such as lotteries and auctions, cannot be expected to always find by themselves the “best-reply” to any situation. Indeed, agents may consult with others about the possible outcome of their actions. It is then up to the counselee to assure the rationality of the consultant’s advice. We present a distributed computer system infrastructure, named rationality authority, that allows safe consultation among (possibly biased) parties. The parties’ advices are adapted only after verifying their feasibility and optimality by standard formal proof checkers. The rationality authority design considers computational constraints, as well as privacy and security issues, such as verification methods that do not reveal private preferences. Some of the techniques resembles zero-knowledge proofs. A non-cooperative game is presented by the game inventor along with its (possibly intractable) equilibrium. The game inventor advises playing by this equilibrium and offers a checkable proof for the equilibrium feasibility and optimality. Standard verification procedures, provided by trusted (according to their reputation) verification procedures, are used to verify the proof. Thus, the proposed rationality authority infrastructure facilitates the applications of game theory in several important real-life scenarios by the use of computing systems.


Shlomi Dolev

Ben-Gurion University of the Negev

P. N. Panagopoulou

Computer Technology Institute

M. Rabie

Ben-Gurion University of the Negev

Elad Schiller

Chalmers, Data- och informationsteknik, Nätverk och system

Paul G. Spirakis

University of Liverpool

Computer Technology Institute

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 9295 33-48




Datavetenskap (datalogi)