Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios.

Dennis, Louise and Webster, Matt (2016) Recomputable Experiments for Ethical Choices in Autonomous Systems: Verifying ethical choice in three Aviation scenarios. [Data Collection]

Collection 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
URI: http://datacat.liverpool.ac.uk/id/eprint/124

Available Files

Data

Read me