As automation in artificial inte a growing amount of ethical making raises novel challenges
will have to explore new ways on the development and formal ethical behaviour and
implementing a logic argumentation reas formal theoretical framework o in artificial
intelligent ethical decision-making

As automation in artificial intelligence is increasing, we will need to automate a growing
amount of ethical decision making. However, ethical decision-making raises novel
challenges for engineers, ethicists and policymakers, who will have to explore new ways to
realize this task. The presented work focuses on the development and formalization of
models that aim at ensuring a correct ethical behaviour of artificial intelligent agents, in a
provable way, extending and implementing a logic-based proving calculus that is based on …