The thesis project is dedicated to computational ethics. To do this, it will focus on modeling ethical reasoning with logic-based AI techniques. The difficulty comes from the triple constraint of any ethical reasoning which: 1. needs to consider the reasonably anticipated consequences of actions, which means that it would be necessary to introduce causal and/or action models 2. has to deal with rules of duty, that is, with obligation, permission, omission and prohibition, i.e. with deontic modalities. A natural way to consider this would be to use modal logics, and more precisely deontic logics. However, the most current deontic logics with clear mathematical semantics are very constrained. 3. has to overcome ethical dilemmas, i.e. conflicts of norms, which is very difficult using classical logics that fail to deal with inconsistencies. So, we shall use non-monotonic formalisms like default logics, which have been designed to get through logical contradictions.
Keywords : éthique computationnelle, intelligence artificielle, logiques déontiques, langages d’action, raisonnement non monotone
This PhD research project has been submitted for a funding request to “Sorbonne Center for Artificial Intelligence (SCAI)”. The PhD candidate selected by the project leader will therefore participate in the project selection process (including a file and an interview) to obtain funding.