Formal Raising：将可验证的道德属性嵌入 AI 开发过程

论文提出 Formal Raising（FR），把选定的道德价值表示为机器可检查的显式属性，使其参与 AI 的开发、评估与行动选择，而非仅靠事后对齐补上。作者给出一个基于 C 的推理框架，按给定优先级比较候选行动以解决冲突，严格规则不可推翻，信息不足时显式报告。示例覆盖生命、真实性、伤害、隐私、自主性与严格规则等冲突，并勾勒了受 PSL 启发的属性层及其融入"模型养育"流程的方式。