Modelling Moral Reasoning and Ethical Responsibility with Logic Programming - Sorbonne Université
Communication Dans Un Congrès Année : 2015

Modelling Moral Reasoning and Ethical Responsibility with Logic Programming

Résumé

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.
Fichier principal
Vignette du fichier
Fiona Berreby LPAR Paper.pdf (356.73 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-01395030 , version 1 (25-11-2016)
hal-01395030 , version 2 (04-10-2017)

Identifiants

Citer

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. pp.532-548, ⟨10.1007/978-3-662-48899-7_37⟩. ⟨hal-01395030v2⟩
586 Consultations
958 Téléchargements

Altmetric

Partager

More