2019
DOI: 10.1109/jproc.2019.2898267
|View full text |Cite
|
Sign up to set email alerts
|

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
43
0
4

Year Published

2019
2019
2021
2021

Publication Types

Select...
5
4

Relationship

5
4

Authors

Journals

citations
Cited by 55 publications
(48 citation statements)
references
References 41 publications
1
43
0
4
Order By: Relevance
“…Bonnefon et al provide an insightful Point of View article titled: "The trolley, the bull bar, and why engineers should care about the ethics of autonomous cars" [49]. This paper, which brings attention to what the authors call "the statistical trolley dilemma," is the only paper of the special issue focussed on autonomous vehicles Bremner et al contribute a paper titled: "On proactive, transparent and verifiable ethical reasoning for robots" [50], in which they review and update an approach to the design of ethical robots based on a simulation-based internal model. This model allows the robot to anticipate when another robot -acting as a proxy humanmight be at risk of harm and intervene if necessary; the ethical robot's reasoning is both transparent and verifiable.…”
Section: T H E Pa P E R S I N T H I S S P E C I a L I S S U Ementioning
confidence: 99%
“…Bonnefon et al provide an insightful Point of View article titled: "The trolley, the bull bar, and why engineers should care about the ethics of autonomous cars" [49]. This paper, which brings attention to what the authors call "the statistical trolley dilemma," is the only paper of the special issue focussed on autonomous vehicles Bremner et al contribute a paper titled: "On proactive, transparent and verifiable ethical reasoning for robots" [50], in which they review and update an approach to the design of ethical robots based on a simulation-based internal model. This model allows the robot to anticipate when another robot -acting as a proxy humanmight be at risk of harm and intervene if necessary; the ethical robot's reasoning is both transparent and verifiable.…”
Section: T H E Pa P E R S I N T H I S S P E C I a L I S S U Ementioning
confidence: 99%
“…Separate high-level control or decision making can capture a wide range of different reasoning aspects, most commonly ethics [15,40] or safety [253]. Many of these high-level components give rise to governors/arbiters for assessing options or runtime verification schemes for dynamically monitoring whether the expectations are violated.…”
Section: The Identification and Separation Of Different Forms Of Highmentioning
confidence: 99%
“…Hybrid model checking can involve a wide array of numerical techniques aimed at solving, for example, differential equations concerning control or environmental models. For the PRinciPLes LayeR, model checking has been used for verifying BDI agents [34][35][36]; epistemic and temporal properties of multiagent systems [170,171,195]; the agents' knowledge, strategies, and games [177]; and general, high-level decision making [69] that has been extended to ethical principles [40,70].…”
Section: Verification Of Autonomous Software Systemsmentioning
confidence: 99%
“…Another step is required to make the robots behave as intended in practice, namely, the concrete technological implementation of ethics into robots. Different researchers have developed and tested algorithms that, for example, allow robots to decide in morally ambivalent situations (e.g., [129][130][131][132][133][134][135][136][137]). However, it may be critically discussed whether an implementation of ethics in the form of algorithms is feasible, or even possible.…”
Section: Ethical Framework Guidelines and Their Implementation Intmentioning
confidence: 99%