研究人员开发了一种新的信念义务逻辑,旨在帮助自主系统在面对冲突规范和不确定信息时做出决策。该逻辑是 Chellas' Minimal Deontic Logic 的简化版本,它结合了条件规范和多主体 KD45,使得规范可以基于主体对事实和其他规范的信念。该系统定义了一个信念规范合规性优化问题,使主体能够选择最小化规范违反的决策,并区分主观和客观优化。研究人员还证明,在某些条件下,使用加权部分 MaxSAT 可以有效地解决最优决策问题。 AI
影响 该框架有望提高自主系统在复杂、受规范驱动的环境中的可靠性和安全性。
排序理由 该集群包含一篇详细介绍用于 AI 决策的新逻辑框架的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
- alphaXiv
- arXiv
- CatalyzeX
- Chellasamy Panneerselvam
- CORE Recommender
- DagsHub
- Doxastic Norm Compliance Optimization Problem
- Gotit.pub
- Hugging Face
- Influence Flower
- KD45
- MaxSAT
- Minimal Deontic Logic
- ScienceCast
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →