Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)

arXiv:2604.14254v1 Announce Type: new Abstract: The field of machine ethics aims to build Artificial Moral Agents AMAs to better understand morality and make AI agents safer. To do so, many approaches encode human moral intuition as a set of axioms on actions e.g.