提出 Formal Raising 框架：在 AI 开发中嵌入可验证的伦理属性

论文提出 Formal Raising (FR) 框架，将道德价值观转化为显式、可机器检查的属性，使其参与 LLM 开发、评估及行动选择。 该框架采用基于 C 的推理方法，对候选行动进行优先级评估；冲突按既定顺序解决，严格规则不可辩驳，未决情况会被显式报告。 例外情况不作为特例编码，而是从备选方案比较中自然涌现，涉及生命、真实性、隐私等伦理维度。