BriefGPT.xyz
Jul, 2024
解决规范冲突的一种可推翻的义务逻辑
A Defeasible Deontic Calculus for Resolving Norm Conflicts
HTML
PDF
Taylor Olson, Roberto Salas-Damian, Kenneth D. Forbus
TL;DR
通过阐述具有继承性的可废除的行为规范演绎法，本文证明了能够解决规范冲突，并揭示了一个普遍的冲突解决策略作为一个干扰项。因此，本文在规范冲突检测和解决方面做出了理论上合理的公理化贡献。
Abstract
When deciding how to act, we must consider other agents'
norms
and values. However, our
norms
are ever-evolving. We often add exceptions or change our minds, and thus
→