Argumentation-Based Logic for Ethical Decision Making

Abstract As automation in artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, decision- making raises novel challenges for engineers, ethicists and policymakers, who have explore new ways realize this task. The presented work focuses on the development formalization models that aim at ensuring correct behaviour intelligent agents, provable way, extending implementing logic-based proving calculus based argumentation reasoning with support attack arguments. This leads formal theoretical framework competence could be implemented systems order best formalize certain parameters decision-making ensure safety justified trust.