Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks

The behavior of self-driving cars must be compatible with an enormous set of conflicting and ambiguous objectives, from law, from ethics, from the local culture, and so on. This paper describes a new way to conveniently define the desired behavior for autonomous agents, which we use on the self-driving cars developed at nuTonomy, an Aptiv company. We define a “rulebook” as a pre-ordered set of “rules”, each akin to a violation metric on the possible outcomes (“realizations”). The rules are partially ordered by priority. The semantics of a rulebook imposes a pre-order on the set of realizations. We study the compositional properties of the rulebooks, and we derive which operations we can allow on the rulebooks to preserve previously-introduced constraints. While we demonstrate the application of these techniques in the self-driving domain, the methods are domain-independent.

[1]  Ufuk Topcu,et al.  Synthesis of Reactive Switching Protocols From Temporal Logic Specifications , 2013, IEEE Transactions on Automatic Control.

[2]  Emilio Frazzoli,et al.  Least-violating control strategy synthesis with safety rules , 2013, HSCC '13.

[3]  Ricardo G. Sanfelice,et al.  Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications , 2008, 2008 47th IEEE Conference on Decision and Control.

[4]  François Michaud,et al.  Behavior-Based Systems , 2008, Springer Handbook of Robotics.

[5]  Gert-Jan C. Lokhorst,et al.  Deontic Logic and Computer‐Supported Computer Ethics , 2002 .

[6]  Marija Slavkovik,et al.  Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making , 2018, AIES.

[7]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[8]  Emilio Frazzoli,et al.  Incremental sampling-based algorithm for minimum-violation motion planning , 2013, 52nd IEEE Conference on Decision and Control.

[9]  Giuseppe Oriolo,et al.  Learning soft task priorities for control of redundant robots , 2016, 2016 IEEE International Conference on Robotics and Automation (ICRA).

[10]  Eong Jinkyu,et al.  What is the Trolley Problem , 2015 .

[11]  Emilio Frazzoli,et al.  Minimum-violation LTL planning with conflicting specifications , 2013, 2013 American Control Conference.

[12]  Sergey Levine,et al.  Continuous Inverse Optimal Control with Locally Optimal Examples , 2012, ICML.

[13]  Hadas Kress-Gazit,et al.  Synthesis for Robots: Guarantees and Feedback for Robot Behavior , 2018, Annu. Rev. Control. Robotics Auton. Syst..

[14]  Hadas Kress-Gazit,et al.  Temporal Logic Motion Planning for Mobile Robots , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[15]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[16]  George J. Pappas LINEAR TIME LOGIC CONTROL OF LINEAR SYSTEMS , 2004 .

[17]  Darwin G. Caldwell,et al.  Learning Competing Constraints and Task Priorities from Demonstrations of Bimanual Skills , 2017, ArXiv.

[18]  Calin Belta,et al.  Negotiating the probabilistic satisfaction of temporal logic motion specifications , 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[19]  P. Foot The Problem of Abortion and the Doctrine of the Double Effect , 2020, The Doctrine of Double Effect.

[20]  Ronald C. Arkin,et al.  Governing lethal behavior: Embedding ethics in a hybrid deliberative/reactive robot architecture part I: Motivation and philosophy , 2008, 2008 3rd ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[21]  Kerstin Eder,et al.  A fuzzy approach to qualification in design exploration for autonomous robots and systems , 2016, 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE).

[22]  Calin Belta,et al.  Minimum-violation scLTL motion planning for mobility-on-demand , 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA).

[23]  Michael Fisher,et al.  Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems , 2011, SAFECOMP.

[24]  S. Shankar Sastry,et al.  Provably safe and robust learning-based model predictive control , 2011, Autom..

[25]  Jan C. Willems,et al.  Introduction to Mathematical Systems Theory. A Behavioral , 2002 .

[26]  Amnon Shashua,et al.  On a Formal Model of Safe and Scalable Self-driving Cars , 2017, ArXiv.

[27]  J. Christian Gerdes,et al.  Incorporating Ethical Considerations Into Automated Vehicle Control , 2017, IEEE Transactions on Intelligent Transportation Systems.