Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)

Cet article introduit la Logique de la Formule de la Loi Universelle (FULL), une logique modale quantifiée multi-sorte, pour formaliser l'éthique kantienne dans le domaine de l'éthique des machines. FULL vise à surmonter les limites des approches axiomatiques actuelles et à permettre aux Agents Moraux Artificiels (AMAs) de raisonner sur la moralité et d'améliorer la sécurité de l'IA.