Dennis, Louise and Webster, Matt (2016) Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios. [Data Collection]
Data Catalogue DOI: 10.17638/datacat.liverpool.ac.uk/124
Description
A Virtual Box for use with the Vagrant and VirtualBox systems, allowing agent programs to be model-checked using the Agent JavaPathFinder model-checker. The Virtual Box contains scripts and source code for verifying three scenarios involving the ethical selection of plans in the aviation domain as detailed in Ethical Choices in Autonomous Systems by Louise Dennis, Michael Fisher, Marija Slavkovik and Matt Webster, Robotics and Autonomous Systems, Volume 77, March 2016, Pages 1-14, doi:10.1016/j.robot.2015.11.012
| Keywords: | model-checking, BDI agents, ethical autonomous systems |
|---|---|
| Divisions: | Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science |
| Depositing User: | Louise Dennis |
| Date Deposited: | 26 May 2016 11:19 |
| Last Modified: | 26 May 2016 13:31 |
| DOI: | 10.17638/datacat.liverpool.ac.uk/124 |
| URI: | https://datacat.liverpool.ac.uk/id/eprint/124 |
Available Files
Data
Creative Commons: Attribution 4.0 |
Read me
Creative Commons: Attribution 4.0 |