KD45

新逻辑框架助力自主系统进行规范指导的决策

研究人员开发了一种新的信念义务逻辑，旨在帮助自主系统在面对冲突规范和不确定信息时做出决策。该逻辑是 Chellas' Minimal Deontic Logic 的简化版本，它结合了条件规范和多主体 KD45，使得规范可以基于主体对事实和其他规范的信念。该系统定义了一个信念规范合规性优化问题，使主体能够选择最小化规范违反的决策，并区分主观和客观优化。研究人员还证明，在某些条件下，使用加权部分 MaxSAT 可以有效地解决最优决策问题。