Choice logic programs and Nash equilibria in strategic games

被引：0
|
作者：
De Vos, M [1 ]
Vermeir, D [1 ]
机构：
[1] Free Univ Brussels, Dept Comp Sci, B-1050 Brussels, Belgium
来源：
COMPUTER SCIENCE LOGIC, PROCEEDINGS | 1999年 / 1683卷
关键词：
nondeterminism; choice; logic programs; stable model semantics; game theory;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We define choice logic programs as negation-free datalog programs that allow rules to have exclusive-only disjunctions in the head. We show that choice programs are equivalent to semi-negative datalog programs, at least as far as stable models are concerned. We also discuss an application where strategic games can be naturally formulated as choice programs; it turns out that the stable models of such programs capture exactly the set of Nash equilibria.
引用
下载
收藏
页码：266 / 276
页数：11
相关论文
共 50 条
  • [31] On the performances of Nash equilibria in isolation games
    Bilo, Vittorio
    Flammini, Michele
    Monaco, Gianpiero
    Moscardelli, Luca
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2011, 22 (03) : 378 - 391
  • [32] On the existence of Nash equilibria in large games
    Hannu Salonen
    International Journal of Game Theory, 2010, 39 : 351 - 357
  • [33] Abstracting Nash equilibria of supermodular games
    Ranzato, Francesco
    FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (02) : 259 - 285
  • [34] NASH EQUILIBRIA OF FINITELY REPEATED GAMES
    BENOIT, JP
    KRISHNA, V
    INTERNATIONAL JOURNAL OF GAME THEORY, 1987, 16 (03) : 197 - 204
  • [35] Multiple Nash equilibria in tariff games
    Huang, Hui
    Whalley, John
    Zhang, Shunming
    APPLIED ECONOMICS LETTERS, 2013, 20 (04) : 332 - 342
  • [36] On the Complexity of Nash Equilibria in Anonymous Games
    Chen, Xi
    Durfee, David
    Orfanou, Anthi
    STOC'15: PROCEEDINGS OF THE 2015 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2015, : 381 - 390
  • [37] PERFECTION OF NASH EQUILIBRIA IN CONTINUOUS GAMES
    MENDEZNAYA, L
    GARCIAJURADO, I
    CESCO, JC
    MATHEMATICAL SOCIAL SCIENCES, 1995, 29 (03) : 225 - 237
  • [38] Nash equilibria in Voronoi games on graphs
    Durr, Christoph
    Thang, Nguyen Kim
    ALGORITHMS - ESA 2007, PROCEEDINGS, 2007, 4698 : 17 - 28
  • [39] Characterization of Nash equilibria of large games
    Fu, Haifeng
    Wu, Bin
    JOURNAL OF MATHEMATICAL ECONOMICS, 2019, 85 : 46 - 51
  • [40] Learning Nash Equilibria in Monotone Games
    Tatarenko, Tatiana
    Kamgarpour, Maryam
    2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 3104 - 3109
12345