Generating preferred plans with ethical features

Normative ethics has been shown to help automated planners take ethically aware decisions. However, state- of-the-art planning technologies don’t provide a sim- ple and direct way to support ethical features. Here, we propose a new theoretical framework based on a con- struct, called ethical rule, that allows to model prefer- ences amongst ethically charged features and capture various ethical theories. We show how the framework can model and combine the strengths of these theories. Then, we demonstrate that classical planning domains extended with ethical rules can be compiled into soft goals in PDDL.

[1]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[2]  Miles Brundage,et al.  Limitations and risks of machine ethics , 2014, J. Exp. Theor. Artif. Intell..

[3]  Patrik Haslum,et al.  Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners , 2009, Artif. Intell..

[4]  Chunyan Miao,et al.  Building Ethics into Artificial Intelligence , 2018, IJCAI.

[5]  Javier Vázquez-Salceda,et al.  Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning , 2011, COIN@AAMAS&WI-IAT.

[6]  Andrew Coles,et al.  LPRPG-P: Relaxed Plan Heuristics for Planning with Preferences , 2011, ICAPS.

[7]  M. Singer,et al.  Actual Consequence Utilitarianism , 1977 .

[8]  Gerhard Brewka,et al.  A rank based description language for qualitative preferences , 2004, NMR.

[9]  Marek Sergot,et al.  ( C + ) + + : An Action Language for Modelling Norms and Institutions , 2005 .

[10]  Gerhard Brewka,et al.  Planning with Prioritized Goals , 2006, KR.

[11]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[12]  Vincent Bonnemains,et al.  How Ethical Frameworks Answer to Ethical Dilemmas: Towards a Formal Model , 2016, EDIA@ECAI.

[13]  Moe Thandar Wynn,et al.  Modeling Obligations with Event-Calculus , 2014, RuleML.

[14]  Giovanni Sartor,et al.  Time and norms: a formalisation in the event-calculus , 1999, ICAIL '99.

[15]  Selmer Bringsjord,et al.  On Automating the Doctrine of Double Effect , 2017, IJCAI.

[16]  Michael Fisher,et al.  Practical Challenges in Explicit Ethical Machine Reasoning , 2018, ISAIM.

[17]  Olivier Boissier,et al.  Ethical Judgment of Agents' Behaviors in Multi-Agent Systems , 2016, AAMAS.

[18]  Bernhard Nebel,et al.  The HERA approach to morally competent robots , 2017, 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[19]  Bernhard Nebel,et al.  Moral Permissibility of Action Plans , 2019, AAAI.

[20]  Jean-Gabriel Ganascia,et al.  A Declarative Modular Framework for Representing and Applying Ethical Principles , 2017, AAMAS.

[21]  A. Smajdor,et al.  Consequentialism , 2021, Oxford Handbook of Medical Ethics and Law.

[22]  Stephen D. Schwarz The Right and the Good , 1992 .