maxsat

本文提出了一种简洁的信念规范道义逻辑（doxastic deontic logic），将 Chellas 的极小道义逻辑（Minimal Deontic Logic）与多智能体 KD45 相结合，用于处理在规范相互冲突且信念不可靠的情况下的规范引导决策问题；文中定义了信念规范符合最优化问题（Doxastic Norm Compliance Optimization Problem），并证明了该问题在何种条件下可在多项式时间内归约为加权部分 MaxSAT。

本文提出了一种神经符号方法，将MaxSAT预言机作为一致性验证器，引导视觉语言模型（VLM）解决数独谜题，从而提高逻辑一致性和求解实例数量。