一种用于规范引导决策的简单信念道义逻辑
A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
- TU Wien（维也纳工业大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文提出一种简单的信念道义逻辑，用于在冲突规范和不完整信息下进行决策，并定义了信念规范合规优化问题，区分主观与客观优化，并给出可归约为加权部分MaxSAT的条件。
AI中文摘要：
在相互冲突的规范以及不完整或不可靠的信息下做出决策，是自主系统面临的一项基本挑战。我们针对这一场景引入了一种简单的信念道义逻辑：Chellas最小道义逻辑的一个经典可归约片段，扩展了显式条件规范，并与多智能体KD45相结合，从而使规范可以依赖于智能体关于事实和规范的信念。在此逻辑基础上，我们定义了信念规范合规优化问题，其中智能体选择一种决策以最小化加权规范违反。我们区分了主观优化（相对于智能体的信念）与客观优化（相对于实际事实）。我们给出了以下条件：（i）两者一致的条件，以及（ii）最优决策可在多项式时间内归约为加权部分MaxSAT的条件。
英文摘要：
Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic for this setting: a classically reducible fragment of Chellas' Minimal Deontic Logic, extended with explicit conditional norms and combined with multi-agent KD45, so that norms can depend on agents' beliefs about both facts and norms. On this logic we define the Doxastic Norm Compliance Optimization Problem, where an agent chooses a decision minimizing weighted norm violations. We distinguish subjective optimization (relative to the agent's beliefs) from objective optimization (relative to the actual facts). We give conditions under which (i) the two coincide and (ii) optimal decision-making can be reduced to weighted partial MaxSAT in polynomial time.
