PhD graduated
Team : SMA
    Sorbonne Université - LIP6
    Boîte courrier 169
    Couloir 26-00, Étage 5, Bureau 503
    4 place Jussieu
    75252 PARIS CEDEX 05

Tel: +33 1 44 27 88 60, Camilo.Sarmiento (at)

Supervision : Jean-Gabriel GANASCIA, Gauvain BOURGNE

Formalising ethical reasoning: modelling ethical processes and modelling, representing and automating causal reasoning

This thesis is in the field of computational ethics, which aims to formalise ethical reasoning. In other words, this work is part of the field that seeks to emulate our capacity as rational beings to morally evaluate an action. The formalisation of this reasoning has two objectives: to better understand it and to integrate it into computer systems to ensure that decisions made comply with chosen moral principles.
This thesis makes a contribution to the field in two ways. Firstly, it proposes a common framework for formalising faithfully the most common moral principles in Western philosophy. This first contribution can be summarised as `modelling ethical processes'. The second set of contributions pertains to the proposal for formalising causal reasoning. This formalisation not only enhances our comprehension of this reasoning but also enables its integration into computer systems, facilitating the establishment of complex causal relationships. This capability is crucial for formalising a wide range of moral principles. To ensure that our proposal can formalise all these moral principles, we have designed it to satisfy a number of conditions. Firstly, our formalisation is based on a formalism that explicitly addresses the subtleties of problems related to both causal and ethical reasoning. Secondly, our formalism's definition of causality free of any confusion with the notion of responsibility. Otherwise, it would not be common to formalise all moral principles. Finally, our proposal can handle all causal cases, including the most complex. The second group of contributions focuses on `modelling, representing and automating causal reasoning'. The main contributions of this thesis belong to this second group.

Defence : 04/26/2024

Jury members :

Gregory BONNET (Université Caen Normandie) [Rapporteur]
Florence DUPIN DE SAINT-CYR (Université Paul Sabatier) [Rapporteur]
Isabelle BLOCH (Sorbonne Université)
Jérôme LANG (Université Paris-Dauphine)
Gauvain BOURGNE (Sorbonne Université)
Pr. Jean-Gabriel GANASCIA (Sorbonne Université)

2021-2024 Publications