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.
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01395030
Contributor : Fiona Berreby <>
Submitted on : Wednesday, October 4, 2017 - 11:42:21 AM
Last modification on : Thursday, July 4, 2019 - 6:08:05 PM

Identifiers

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. pp.532-548, ⟨10.1007/978-3-662-48899-7_37⟩. ⟨hal-01395030v2⟩

Share

Metrics

Record views

240

Files downloads

518