Equilibria in social belief removal

被引:2
作者
Booth, Richard [1 ]
Meyer, Thomas [2 ,3 ]
机构
[1] Univ Luxembourg, Luxembourg, Luxembourg
[2] Univ Kwazulu Natal, CSIR Meraka, Pretoria, South Africa
[3] Univ Kwazulu Natal, Sch Comp Sci, Pretoria, South Africa
关键词
Belief removal; Belief revision; Belief merging; Multi-agent systems; Equilibrium; CONTRACTION; LOGIC;
D O I
10.1007/s11229-010-9763-x
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a consistent "group" picture of the world. The aim of this paper is to define and study new notions of equilibria in belief merging. To do so, we assume the agents arrive at consistency via the use of a social belief removal function, in which each agent, using his own individual removal function, removes some belief from his stock of beliefs. We examine several notions of equilibria in this setting, assuming a general framework for individual belief removal due to Booth et al. We look at their inter-relations as well as prove their existence or otherwise. We also show how our equilibria can be seen as a generalisation of the idea of taking maximal consistent subsets of agents.
引用
收藏
页码:97 / 123
页数:27
相关论文
共 43 条
[21]   THEORY CONTRACTION AND BASE CONTRACTION UNIFIED [J].
HANSSON, SO .
JOURNAL OF SYMBOLIC LOGIC, 1993, 58 (02) :602-625
[22]  
Hansson SvenOve., 1991, Studia Logica, V50, P251
[23]  
Katsuno H., 1992, Cambridge Tracts in Theoretical Computer Science, P183
[24]   Merging information under constraints:: A logical framework [J].
Konieczny, S ;
Pérez, RP .
JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (05) :773-808
[25]  
Konieczny S., 1998, P 6 INT C PRINCIPLES, P488
[26]   NONMONOTONIC REASONING, PREFERENTIAL MODELS AND CUMULATIVE LOGICS [J].
KRAUS, S ;
LEHMANN, D ;
MAGIDOR, M .
ARTIFICIAL INTELLIGENCE, 1990, 44 (1-2) :167-207
[27]  
Levi I., 1998, CONTRACTION IN UNPUB
[28]  
Levi I., 1996, SAKE ARGUMENT
[29]  
LINDSTROM S, 1991, LECT NOTES ARTIF INT, V465, P93, DOI 10.1007/BFb0018418
[30]  
List C., 2009, Judgment Aggregation: A Survey