你是那个混蛋吗？一个公平的多视角伦理推理框架

针对自然语言判断聚合中多数投票法在高冲突领域缺乏逻辑一致性的问题，本文提出一种基于加权最大可满足性（MaxSAT）的神经符号聚合框架。该框架利用语言模型将非结构化解释映射为可解释的逻辑谓词与置信权重，并通过 Z3 求解器将其编码为软约束，转化为寻求最大一致性的优化任务。在 Reddit“我是混蛋吗”论坛的案例研究中，系统生成的判决在 62% 的情况下偏离流行标签，且与独立人类评估者的一致性达 86%，证明了结合神经语义提取与形式化求解器在提升推理逻辑严密性与可解释性方面的有效性。