Abstract | ||
---|---|---|
Autonomous systems such as unmanned vehicles are beginning to operate within society. All participants in society are required to follow specific regulations and laws. An autonomous system cannot be an exception. Inevitably an autonomous system will find itself in a situation in which it needs to not only choose to obey a rule or not, but also make a complex ethical decision. However, there exists no obvious way to implement the human understanding of ethical behaviour in computers. Even if we enable autonomous systems to distinguish between more and less ethical alternatives, how can we be sure that they would choose right? We consider autonomous systems with a hybrid architecture in which the highest level of reasoning is executed by a rational (BDI) agent. For such a system, formal verification has been used successfully to prove that specific rules of behaviour are observed when making decisions. We propose a theoretical framework for ethical plan selection that can be formally verified. We implement a rational agent that incorporates a given ethical policy in its plan selection and show that we can formally verify that the agent chooses to execute, to the best of its beliefs, the most ethical available plan. An autonomous system should act ethically, but what if it has no all-ethical choice?We model how to rank states violating multiple instances of ethical principles.We enable an autonomous system to use this ethic rank to rank its available plans.We guarantee that when a plan is chosen, it is the most ethical plan available. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1016/j.robot.2015.11.012 | Robotics and Autonomous Systems |
Keywords | Field | DocType |
Autonomous systems,Ethics,BDI programs,Formal verification | Architecture,Existential quantification,Rational agent,Computer science,Ethical decision,Simulation,Autonomous system (Internet),Autonomous system (mathematics),Formal verification | Journal |
Volume | Issue | ISSN |
77 | C | 0921-8890 |
Citations | PageRank | References |
26 | 0.98 | 24 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Louise A. Dennis | 1 | 360 | 37.62 |
Michael Fisher | 2 | 96 | 7.91 |
Marija Slavkovik | 3 | 125 | 22.60 |
Matt Webster | 4 | 88 | 8.30 |