Formalization of Ethical Decision Making

As automation in robotics and artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, ethical decision-making raises novel challenges for designers, engineers, ethicists, and policymakers, who will have to explore new ways to realize this task. For example, engineers building wearable robots should take into consideration privacy aspects and their different context-based scenarios when programming the decision-making procedures. This in turn requires ethical input in order to respect norms concerning privacy and informed consent. The presented work focuses on the development and formalization of models that aim at ensuring a correct ethical behavior of artificial intelligent agents, in a provable way, extending and implementing a logic-based proving calculus. This leads to a formal theoretical framework of moral competence that could be implemented in artificial intelligent systems in order to best formalize certain parameters of ethical decision-making to ensure safety and justified trust.