arXiv：cs.AI（全量分类）· Thorsten Engesser, Agata Ciabattoni·· 5 小时前AI 评分29
面向规范引导决策的简单信念道义逻辑
A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
AI 导读
研究者提出一种简单的信念道义逻辑，用于智能体在规范冲突和信息不完整条件下做决策，该逻辑是 Chellas 最小道义逻辑的可经典归约片段，并加入显式条件规范与多智能体 KD45 结合。基于该逻辑定义了信念规范合规优化问题，区分主观优化与客观优化，并给出两者一致的条件，以及在多项式时间内将最优决策归约为加权 partial MaxSAT 的条件。该论文已被 PRIMA 2026 接收。
正文
Abstract: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.
| Comments: | Manuscript accepted at PRIMA 2026. Includes an additional appendix with proofs |
| Subjects: | Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO) |
| Cite as: | arXiv:2610.00668 [cs.AI] |
| (or arXiv:2610.00668v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2610.00668 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Thorsten Engesser [view email]
[v1]
Wed, 30 Sep 2026 20:04:32 UTC (40 KB)
来源：arXiv：cs.AI（全量分类） · arxiv.org