Advanced Intelligent Systems and Reasoning: Standardization, Experimentation, Explanation

We offer a perspective on advanced intelligent systems and reasoning, using as an example morally-decisive robots, as proposed in machine ethics. Given that norms often conflict, formal methods are necessary to resolve these conflicts in order to make morally acceptable or optimal decisions. The underlying basis of current algorithms spans from logical representation and reasoning to machine learning algorithms. We explore multiple methodologies including deontic ASP for standardizing normative reasoning, LogiKEy for testing ethical and legal reasoners, and formal argumentation for achieving explanatory transparency. Our vision is demonstrated using the argumentation-based Jiminy moral advisor. We also hint at future work that situates 'real-world' dialogue exchanges as the forum for discussing moral decisions, and we discuss the development of a platform for experimental user studies at the