Formal verification of ethical choices in industrial cyber-physical systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Formal verification of ethical choices in industrial cyber-physical systems

Résumé

This paper addresses the issue of formal verification of ethical choices in Industrial Cyber-Physical Systems. An innovative approach based on Beliefs, Desires, and Intentions (BDI) agents and model checking is proposed. To do so, we first give a formal definition of ethical rules. Based on this definition, an algorithm is then designed to implement ethical reasoning. Finally, we apply this approach to TRACILOGIS Plaform to illustrate its feasibility. Four properties are designed and checked. The verification results show the agent with ethics can always reason out the least unethical actions to take.
Fichier principal
Vignette du fichier
Formal_Verification_of_Ethical_Choices_in_Industrial_Cyber_Physical_Systems_final.pdf (1.6 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04240305 , version 1 (13-10-2023)

Identifiants

  • HAL Id : hal-04240305 , version 1

Citer

Yinling Liu, Hind Bril El Haouzi. Formal verification of ethical choices in industrial cyber-physical systems. IEEE Conference on Systems, Man, and Cybernetics, SMC 2023, Oct 2023, Hawaii-Honolulu, United States. ⟨hal-04240305⟩
32 Consultations
33 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More