Modelling Moral Reasoning and Ethical Responsibility with Logic Programming

Abstract : In this paper, we investigate the use of high-level action languages for representing and reasoning about ethical responsibility in goal specification domains. First, we present a simplified Event Calculus formulated as a logic program under the stable model semantics in order to represent situations within Answer Set Programming. Second, we introduce a model of causality that allows us to use an answer set solver to perform reasoning over the agent's ethical responsibility. We then extend and test this framework against the Trolley Problem and the Doctrine of Double Effect. The overarching aim of the paper is to propose a general and adaptable formal language that may be employed over a variety of ethical scenarios in which the agent's responsibility must be examined and their choices determined. Our fundamental ambition is to displace the burden of moral reasoning from the programmer to the program itself, moving away from current computational ethics that too easily embed moral reasoning within computational engines, thereby feeding atomic answers that fail to truly represent underlying dynamics.
Type de document :
Communication dans un congrès
20th International Conference, Logic for Programming, Artificial Intelligence, and Reasoning, Nov 2015, Suva, Fiji. Springer, Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, 9450, pp.532-548, 2015, Lecture Notes in Computer Science. 〈http://www.lpar.net/〉. 〈10.1007/978-3-662-48899-7_37〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.sorbonne-universite.fr/hal-01395030
Contributeur : Fiona Berreby <>
Soumis le : mercredi 4 octobre 2017 - 11:42:21
Dernière modification le : mardi 11 décembre 2018 - 01:23:57

Identifiants

Collections

Citation

Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia. Modelling Moral Reasoning and Ethical Responsibility with Logic Programming. 20th International Conference, Logic for Programming, Artificial Intelligence, and Reasoning, Nov 2015, Suva, Fiji. Springer, Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, 9450, pp.532-548, 2015, Lecture Notes in Computer Science. 〈http://www.lpar.net/〉. 〈10.1007/978-3-662-48899-7_37〉. 〈hal-01395030v2〉

Partager

Métriques

Consultations de la notice

186

Téléchargements de fichiers

245