arXiv · Artificial Intelligence· Thorsten Engesser, Agata Ciabattoni·· 3 小时前AI 评分12
一种用于规范引导决策的简单认知道义逻辑
A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
AI 导读
summary_zh: 该论文提出一种简单的认知道义逻辑，用于处理冲突规范和不完整信息下的自主决策。该逻辑在 Chellas 最小道义逻辑基础上扩展条件规范与多主体 KD45，定义了认知规范合规优化问题，并给出可归约为加权部分 MaxSAT 的多项式时间条件。
来源：arXiv · Artificial Intelligence · arxiv.org