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 a moral procedure that alleviates these two limitations. We specifically consider Kantian ethics and present a multi-sorted quantified modal logic we call the Formula of the Universal Law Logic (FULL). The FULL formalizes Kant's first formulation of the categorical imperative, the Formula of the Universal Law (FUL), and concepts such as causality and agency. We demonstrate on three cases from Kantian ethics that the FULL can reason to evaluate agents' actions for certain purposes without built-in moral intuition, given that it has sufficient (non-normative) background knowledge. Therefore, the FULL is a contribution towards more robust and autonomous AMAs, and a more formal understanding of Kantian ethics.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Kantian Deontology Meets AI Alignment: Towards Morally Grounded Fairness Metrics
Deontological ethics, specifically understood through Immanuel Kant, provides a moral framework that emphasizes the importance of duties and principles, rather than the consequences of action. Understanding that despite …
Action UnderstandingEthicsFairnessAutomated Kantian Ethics: A Faithful Implementation
As we grant artificial intelligence increasing power and independence in contexts like healthcare, policing, and driving, AI faces moral dilemmas but lacks the tools to solve them. Warnings from regulators, philosophers,…
EthicsUsing experimental game theory to transit human values to ethical AI
Knowing the reflection of game theory and ethics, we develop a mathematical representation to bridge the gap between the concepts in moral philosophy (e.g., Kantian and Utilitarian) and AI ethics industry technology stan…
EthicsPhilosophyThe role of ethical consumption in promoting democratic sustainability: revisiting neoclassical economics through Kantian ethics
This paper explores how ethical consumption can transform democratic governance toward sustainability by challenging traditional economic models centered on utility and efficiency. As societal values shift toward transpa…
EthicsAlgorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permissions and prohibitions are distinct fro…
EthicsSelf-Driving Cars