Formal Verication of Ethical Properties in Multiagent Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Formal Verication of Ethical Properties in Multiagent Systems

Bruno Mermet
Gaële Simon

Résumé

The increasing use of autonomous articial agents in hospitals or in transport control systems leads to consider whether moral rules shared by many of us are followed by these agents. This is a particularly hard problem because most of these moral rules are often not compatible. In such cases, humans usually follow ethical rules to promote one moral rule or another. Using formal verication to ensure that an agent follows a given ethical rule could help in increasing the condence in articial agents. In this article, we show how a set of formal properties can be obtained from an ethical rule ordering conicting moral rules. If the behaviour of an agent entails these properties (which can be proven using our existing proof framework), it means that this agent follows this ethical rule.
Fichier principal
Vignette du fichier
edia16.pdf (293.4 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01708133 , version 1 (13-02-2018)

Identifiants

  • HAL Id : hal-01708133 , version 1

Citer

Bruno Mermet, Gaële Simon. Formal Verication of Ethical Properties in Multiagent Systems. 1st Workshop on Ethics in the Design of Intelligent Agents, Aug 2016, La Haye, Netherlands. ⟨hal-01708133⟩
299 Consultations
132 Téléchargements

Partager

More