Le but de ce projet est de développer un traducteur automatique prenant en entrée des problèmes de planification exprimés en PDDL et générant des modèles causaux d’équations structurelles représentant la causalité associée afin de constituer une base de comparaison entre différents formalismes causaux pouvant servir de socles à des raisonnements éthiques. Une plateforme de comparaison automatique des conclusions au niveau causal et éthique devra ensuite être mise en place.
Références
* V. Batusov, M. Soutchanski. Situation Calculus Semantics for Actual Causality. AAAI 2018.
* Sander Beckers. The Counterfactual NESS Definition of Causation. AAAI 2021: 6210-6217
* Felix Lindner, Martin Mose Bentzen. The Hybrid Ethical Reasoning Agent IMMANUEL. HRI (Companion) 2017: 187-188
* Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia: Cadre déclaratif modulaire d'évaluation d'actions selon différents principes éthiques. Rev. d'Intelligence Artif. 32(4): 479-518 (2018)