A general method for deciding about logically constrained issues

被引:2
作者
Camps, Rosa [1 ]
Mora, Xavier [1 ]
Saumell, Laia [1 ]
机构
[1] Univ Autonoma Barcelona, Dept Matemat, Catalonia, Spain
关键词
Constrained judgment aggregation; Degrees of belief; Belief revision; Plausible reasoning; Artificial intelligence; Decision theory; Doctrinal paradox; Cluster analysis; Preferential voting; Conjunctive normal forms; JUDGMENT AGGREGATION; COLLEGIAL COURTS;
D O I
10.1007/s10472-012-9292-z
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
A general method is given for revising degrees of belief and arriving at consistent decisions about a system of logically constrained issues. In contrast to other works about belief revision, here the constraints are assumed to be fixed. The method has two variants, dual of each other, whose revised degrees of belief are respectively above and below the original ones. The upper [resp. lower] revised degrees of belief are uniquely characterized as the lowest [resp. greatest] ones that are invariant by a certain max-min [resp. min-max] operation determined by the logical constraints. In both variants, making balance between the revised degree of belief of a proposition and that of its negation leads to decisions that are ensured to be consistent with the logical constraints. These decisions are ensured to agree with the majority criterion as applied to the original degrees of belief whenever this gives a consistent result. They are also ensured to satisfy a property of respect for unanimity about any particular issue, as well as a property of monotonicity with respect to the original degrees of belief. The application of the method to certain special domains comes down to well established or increasingly accepted methods, such as the single-link method of cluster analysis and the method of paths in preferential voting.
引用
收藏
页码:39 / 72
页数:34
相关论文
共 27 条
[1]  
[Anonymous], 1995, Classics of Social Choice
[2]  
Arrow K. J., 1963, Social Choice and Individual Values, V2nd
[3]  
Blake A., 1937, Ph.D. Dissertation
[4]  
Brown F.M., 1990, Boolean Reasoning: the Logic of Boolean Equations
[5]   A continuous rating method for preferential voting: the complete case [J].
Camps, Rosa ;
Mora, Xavier ;
Saumell, Laia .
SOCIAL CHOICE AND WELFARE, 2012, 39 (01) :141-170
[6]   A continuous rating method for preferential voting. The incomplete case [J].
Camps, Rosa ;
Mora, Xavier ;
Saumell, Laia .
SOCIAL CHOICE AND WELFARE, 2013, 40 (04) :1111-1142
[7]  
Cohen LJ, 1977, The Probable and the Provable, DOI DOI 10.1093/ACPROF:OSO/9780198244127.001.0001
[8]   Propositionwise judgment aggregation: the general case [J].
Dietrich, Franz ;
List, Christian .
SOCIAL CHOICE AND WELFARE, 2013, 40 (04) :1067-1095
[9]   THE PROBLEM OF CONSTRAINED JUDGMENT AGGREGATION [J].
Dietrich, Franz ;
List, Christian .
PRESENT SITUATION IN THE PHILOSOPHY OF SCIENCE, 2010, 1 :125-+
[10]   Three brief proofs of Arrow's impossibility theorem [J].
Geanakoplos, J .
ECONOMIC THEORY, 2005, 26 (01) :211-215