论文提出形式化培育框架嵌入可验证伦理属性

Rolf Drechsler 等人在 arXiv 论文中提出“形式化培育”（Formal Raising）框架，主张把选定的道德价值表示为机器可检查的显式属性，让这些属性参与 AI 的开发、评估与行动选择，而不是只靠事后对齐来补上。 作者给出一个基于 C 的推理框架，按给定优先级比较候选行动以解决冲突；其中严格规则不可推翻，信息不足时会显式报告。论文示例覆盖生命、真实性、伤害、隐私、自主性与严格规则等冲突，并勾勒了受 PSL 启发的属性层及其融入“模型养育”流程的方式。上述内容均为论文提出的设计，尚未报告实际部署或验证效果。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。