당신은 A-hole입니까? 논리적 일관성을 보장하는 공정한 다각도 윤리 추론 프레임워크

요약

본 논문은 자연어 판단을 단순히 다수결로 취급할 때 발생하는 논리적 비일관성 문제를 해결하기 위해, Weighted Maximum Satisfiability (MaxSAT) 기반의 신경 기호적 집계 프레임워크를 제안합니다. 이 프레임워크는 언어 모델(LLM)을 사용하여 비구조화된 자연어 설명을 해석 가능한 논리 전제와 신뢰도 가중치로 변환하고, 이를 Z3 솔버 내 소프트 제약으로 인코딩하여 최대 일관성을 추구하는 최적화 문제로 집계합니다. Reddit의 r/AmItheAsshole 포럼 사례 연구를 통해, 이 방법은 기존 방식보다 높은 논리적 일관성과 인간 평가자 간의 높은 동의율을 달성함을 입증했습니다.

핵심 포인트

• 단순 다수결 투표는 자연어 판단 집계에서 논리적 비일관성을 초래할 수 있다.
• Weighted MaxSAT를 활용하여 갈등 해결을 형식화하는 신경 기호적 프레임워크가 제안되었다.
• LLM은 비구조화된 텍스트를 논리 전제와 신뢰도 가중치로 변환하는 역할을 수행한다.
• Z3 솔버의 소프트 제약(Soft Constraints)을 사용하여 최대 일관성을 추구하는 최적화 문제로 집계 문제를 변환한다.
• 실제 사례 연구에서, 이 프레임워크는 높은 논리적 타당성과 설명 가능성을 보여주었다.