deontic-logic

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

本文在Wolfram语言中实现计算法来治理人工智能系统，评估GPT-4将法律规范翻译成此形式化系统的能力，并展示了一个在计算合约下运作的AI护卫犬案例研究。