形式化康德伦理：普遍化法则逻辑（FULL）
人工智能
2026-04-17 v1 计算机科学中的逻辑
摘要
机器伦理学旨在构建人工道德代理（AMA）以更好地理解道德并使AI代理更安全。为此，许多方法将人类道德直觉编码为一组行动公理，例如不要伤害他人、必须帮助他人。然而，这至少引入了两个对未来AMA的局限性：首先，它不考虑执行行动的目的；其二，它假设人类可以枚举我们的道德直觉。本文探讨了一种缓解这两个局限性的道德程序形式化方法。我们具体考虑康德伦理，提出一种多排序定模态逻辑，称为普遍化法则逻辑（Formula of the Universal Law Logic, FULL）。FULL形式化了康德的第一条范畴 imperative 的“普遍化法则”（Formula of the Universal Law, FUL），以及如因果性和代理性等概念。我们在康德伦理中的三个案例中展示了，FUL能够在具备充足（非规范性）背景知识的情况下，无需内置道德直觉即可推理以评估特定目的下的代理行动。因此，FULL是 towards 更健壮和自主AMA，以及更形式化的康德伦理理解的贡献。
引用
@article{arxiv.2604.14254,
title = {Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)},
author = {Taylor Olson},
journal= {arXiv preprint arXiv:2604.14254},
year = {2026}
}