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

研究提出一种面向规范引导决策的简易信念道义逻辑，结合 Chellas 极小道义逻辑片段、显式条件规范与多智能体 KD45，支持规范依赖智能体对事实及规范的信念。基于该逻辑定义的信念规范依从优化问题旨在最小化加权规范违背，并区分了主观优化与客观优化。研究进一步给出了二者一致的条件，且最优决策可在多项式时间内归约至加权偏 MaxSAT 求解。