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 条
12345