On Proactive, Transparent and Verifiable Ethical Reasoning for Robots

Dennis, Louise, Fisher, Michael, Bremner, Paul and Winfield, Alan (2019) On Proactive, Transparent and Verifiable Ethical Reasoning for Robots. [Data Collection]

Description

Files required for the verification of an ethical robots using the AJPF model checker as discussed in the paper Bremner et al `On Proactive, Transparent and VerifiableEthical Reasoning for Robots' to appear in IEEE transactions.

Keywords:	model-checking, ethical robots, machine ethics,
Divisions:	Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User:	Louise Dennis
Date Deposited:	07 Feb 2019 16:50
Last Modified:	07 Feb 2019 16:51
DOI:	10.17638/datacat.liverpool.ac.uk/667
URI:	https://datacat.liverpool.ac.uk/id/eprint/667
Additional details Additional details Creators: Dennis, Louise Fisher, Michael Bremner, Paul Winfield, Alan Research funder: Grant Number Name of the Funder The Funder's ID EP/L024845/1 Engineering and Physical Sciences Reserach Council 172 Date: 3 February 2019 Statement on legal, ethical and access issues : Data is freely available (and also available open source via Sourceforge). No human participants were involved and there are no ethical issues. Resource language: English Project Details: Project ID The title of the Project Project Funding ID Project Start Date Project End Date 115771 Verifiable Autonomy 115774 8 September 2014 7 March 2019 Publisher: University of Liverpool Contact email address: L.A.Dennis@liverpool.ac.uk Last Modified: 07 Feb 2019 16:51

DataCat Staff

Statistics

Available Files

Full Archive

EthicalNao.tar.gz EthicalNao.tar.gz EthicalNao.tar.gz Visible to: Anyone Content type: Full Archive Description: Python files for running experiments on a NAO Robot Metadata Revision: 3 Mime-Type: application/gzip License: Software: GNU LGPL 3.0 File size: 22MB Software: GNU LGPL 3.0

ethical_engine.tar.gz ethical_engine.tar.gz ethical_engine.tar.gz Visible to: Anyone Content type: Full Archive Description: AJPF and AIL files for verification of ethical NAO engine Metadata Revision: 3 Mime-Type: application/gzip License: Software: GNU LGPL 3.0 File size: 14kB Software: GNU LGPL 3.0

Data

nao_agent.py nao_agent.py nao_agent.py Visible to: Anyone Content type: Data Description: BDIPython file for ethical engine for a NAO Robot Metadata Revision: 3 Mime-Type: text/x-python License: Software: GNU LGPL 3.0 File size: 5kB Software: GNU LGPL 3.0

Read me

Readme.txt Readme.txt Readme.txt Visible to: Anyone Content type: README file Metadata Revision: 3 Mime-Type: text/plain License: Software: GNU LGPL 3.0 File size: 3kB Software: GNU LGPL 3.0

Metadata Export

RDF+N3Data Cite XMLDublin CoreMODSEP3 XMLHTML CitationMultiline CSVMPEG-21 DIDLOpenURL ContextObject in SpanRDF+XMLRDF+N-TriplesJSONMETSEndNoteSimple MetadataSimple MetadataOpenURL ContextObjectSimple MetadataAtomReferBibTeXReference ManagerASCII Citation