02/02/2021

Verifiable Machine Ethics in Changing Contexts

Louise A. Dennis, Martin Mose Bentzen, Felix Lindner, Michael Fisher

Keywords:

Abstract Paper Similar Papers

Abstract: Many systems proposed for the implementation of ethical reasoning involve an encoding of user values as a set of rules or a model. We consider the question of how changes of context affect these encodings. We propose the use of a reasoning cycle, in which information about the ethical reasoner's context is imported in a logical form, and we propose that context-specific aspects of an ethical encoding be prefaced by a guard formula. This guard formula should evaluate to true when the reasoner is in the appropriate context and the relevant parts of the reasoner's rule set or model should be updated accordingly. This architecture allows techniques for the model-checking of agent-based autonomous systems to be used to verify that all contexts respect key stakeholder values. We implement this framework using the hybrid ethical reasoning agents system (HERA) and the model-checking agent programming languages (MCAPL) framework.

The video of this talk cannot be embedded. You can watch it here:
https://slideslive.com/38947892
(Link will open in new window)
 0
 0
 0
 0
  Share    
This is an embedded video. Talk and the respective paper are published at AAAI 2021 virtual conference. If you are one of the authors of the paper and want to manage your upload, see the question "My papertalk has been externally embedded..." in the FAQ section.

Comments

Post Comment
no comments yet
code of conduct: tbd Characters remaining: 140

Similar Papers

 0
 0
 0
 0
 14:00 
 0
 0
 0
 0
 5:38 
 0
 0
 0
 0
 16:06 
 0
 0
 0
 0
 14:14 
 0
 0
 0
 0
 12:27 
 0
 0
 0
 0
 5:04 
 0
 0
 0
 0
 15:01 
 0
 0
 0
 0
 20:05 
 0
 0
 0
 0
 12:06 
 0
 0
 0
 0
 13:20 
 0
 0
 0
 0
 13:31 
 0
 0
 0
 0
 14:14 
 0
 0
 0
 0
 17:45 
 0
 0
 0
 0
 12:49 
 0
 0
 0
 0
 5:11 
 0
 0
 0
 0
 14:50 
 0
 0
 0
 0
 16:14 
 0
 0
 0
 0
 13:24 
 0
 0
 0
 0
 5:34 
 0
 0
 0
 0
 4:33 
 0
 0
 0
 0
 16:18 
 0
 0
 0
 0
 16:43 
 0
 0
 0
 0
 4:20 
 0
 0
 0
 0
 5:18 
 0
 0
 0
 0
 8:10 
 0
 0
 0
 0
 15:17 
 0
 0
 0
 0
 14:59 
 0
 0
 0
 0
 4:31 
 0
 1
 0
 0
 5:10 
 0
 0
 0
 0
 19:09 
 0
 0
 0
 0
 12:42 
 0
 0
 0
 0
 11:47 
 0
 0
 0
 0
 14:58 
 0
 0
 0
 0
 14:34 
 0
 0
 0
 0
 15:06 
 0
 0
 0
 0
 13:59 
 0
 0
 0
 0
 15:34 
 0
 0
 0
 0
 14:46 
 0
 0
 0
 0
 14:11 
 0
 0
 0
 0
 14:52