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

Este artigo propõe a Lógica da Fórmula da Lei Universal (FULL), uma lógica modal quantificada multi-sortida, para formalizar a ética kantiana no campo da ética de máquinas. A FULL visa superar as limitações das abordagens axiomáticas atuais e permitir que Agentes Morais Artificiais (AMAs) raciocinem sobre a moralidade e se tornem mais seguros.