Reasoning about judgment and preference aggregation
Reasoning about judgment and preference aggregation
复制标题
关于判断和偏好聚合的推理
DOI：
10.1145/1329125.1329228
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Ågotnes T
中科院分区：
文献类型：
--
作者：
Ågotnes T
必须与其他代理达成协议的代理需要推理他们的偏好、判断和信仰如何通过管理他们互动的社会选择机制与其他代理的偏好、判断和信仰聚集在一起。最近兴起的判断聚合领域从逻辑学的角度研究聚合问题，考虑如何将多个逻辑公式集合聚合为一个一致集合。作为一种特殊情况，判断聚合可以看作是对经典偏好聚合的继承。我们提出了一个模态逻辑，旨在支持推理判断聚合的情况下（因此，作为一个特殊情况下，关于偏好聚合）：逻辑语言直接解释判断聚合规则。我们提出了一个健全的和完整的公理化这样的规则。我们表明，逻辑可以表示聚合规则，如多数表决;规则属性，如独立性;和结果，如话语悖论，阿罗定理和孔多塞悖论-这是可推导的逻辑的形式定理。逻辑参数化的方式，它可以被用来作为一个通用的框架，比较不同类型的聚合的逻辑属性-包括经典的偏好聚合。
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choice mechanisms that govern their interactions. The recently emerging field ofjudgment aggregationstudies aggregation from alogicalperspective, and considers how multiple sets of logical formulae can be aggregated to a single consistent set. As a special case, judgment aggregation can be seen to subsume classical preference aggregation. We present a modal logic that is intended to support reasoning about judgment aggregation scenarios (and hence, as a special case, about preference aggregation): the logical language is interpreted directly in judgment aggregation rules. We present a sound and complete axiomatisation of such rules. We show that the logic can express aggregation rules such as majority voting; rule properties such as independence; and results such as the discursive paradox, Arrow's theorem and Condorcet's paradox - which are derivable as formal theorems of the logic. The logic is parameterised in such a way that it can be used as a general framework for comparing the logical properties of different types of aggregation - including classical preference aggregation.
DOI：
--
发表时间：
2002
期刊：
International Conference on Principles of Knowledge Representation and Reasoning
影响因子：
--
作者：
J. Lang
通讯作者：
J. Lang
用最小的逻辑语言公理化集体判断集
影响因子：
1.5
作者：
M. Pauly
通讯作者：
M. Pauly
箭头逻辑速成课程
DOI：
--
发表时间：
1994
期刊：
影响因子：
--
作者：
Y. Venema
通讯作者：
Y. Venema