论文部分内容阅读
缺省逻辑是非单调性推理的一种重要方法。基于命题缺省逻辑的推理问题的计算复杂度在多项式分层的第二层上,因此它可以用来描述很多具有相同复杂度的问题。判断聚合理论是社会选择领域的一个研究方向,其主要问题是如何从一个由逻辑上可能相关的命题构成的集合,基于集体成员的每一个人判断,做出一致的集体判断。已有的研究表明一些特定的判断聚合规则的计算复杂度与命题缺省逻辑相同。 论文主要研究基于缺省逻辑的判断聚合规则的计算。在给定的判断聚合规则下,一个判断聚合问题可以被翻译为一个缺省理论。这个缺省理论的(最优)扩展和原来的判断聚合问题的获胜者一一对应。论文证明了这种翻译的正确性。同时论文实现了一个基于缺省逻辑求解器dl2asp的判断聚合求解器JASolver。输入一个判断聚合问题和给定的判断聚合规则,JASolver可以返回这个问题的获胜者。为了实现判断聚合问题的求解,论文还扩充了dl2asp,使得它能够求解包含权重的缺省逻辑,并给出相应的最优扩展。