Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
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., do not harm, you must help others. However, this introduces (at least) two limitations for future AMAs. First, it does not consider the agent's purposes in performing the action. Second, it assumes that we humans can enumerate our moral intuition. This paper explores formalizing
Record details
Published: 15 April 2026
Source: arXiv
Category: Research
Topics: Regulation · Agents & autonomy
Retrieved: 14 July 2026
Related evidence
These records share source-supplied organisations, an exact publisher byline, automatic topics or regions. The reason is shown on every link; related does not mean supporting, agreeing with or verifying this record.
Layered Mutability: Continuity and Governance in Persistent Self-Modifying Agents
arXiv · 16 April 2026
A pragmatic approach to regulating AI agents
arXiv · 16 April 2026
Agentic Explainability at Scale: Between Corporate Fears and XAI Needs
arXiv · 16 April 2026
Cross-Cultural Simulation of Citizen Emotional Responses to Bureaucratic Red Tape Using LLM Agents
arXiv · 14 April 2026
PolicyBank: Evolving Policy Understanding for LLM Agents
arXiv · 16 April 2026
Evaluating Plan Compliance in Autonomous Programming Agents
arXiv · 13 April 2026
How to cite this record
ethics.ai (15 April 2026), “Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL),” evidence record 5823, https://ethics.ai/record/5823 (originally published by arXiv).
Use and limitations
This page is a stable index and citation surface for a source record. ethics.ai did not author the underlying report and has not independently verified every claim. Automatic topics may be imperfect. For consequential use, quote and cite the original publisher.