面向规范引导决策的简明信念道义逻辑

研究提出了一种面向规范引导决策的简明信念道义逻辑，将 Chellas 最小道义逻辑片段、显式条件规范与多智能体 KD45 相结合，支持规范依赖智能体对事实和规范的信念。基于该逻辑定义的信念规范合规优化问题旨在最小化加权规范违规。论文区分了主观与客观优化，并证明了最优决策可在多项式时间内归约至加权部分 MaxSAT 的条件。