SMT求解器

神經符號聚合

結合 LLM 語意抽取與 Z3 的加權 MaxSAT 道德判斷聚合框架

本研究提出一套神經符號聚合框架，將 Reddit r/AmItheAsshole 上的道德評論透過大型語言模型抽取成可解釋的邏輯謂詞與信心權重，並以加權最大可滿足度（Weighted MaxSAT）方式交由 Z3 求解器求解，產生邏輯一致的最終判決。