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

Este artículo presenta la Lógica de la Fórmula de la Ley Universal (FULL), una lógica modal cuantificada multi-ordenada, para formalizar la ética kantiana en el campo de la ética de las máquinas. FULL busca superar las limitaciones de los enfoques axiomáticos actuales, permitiendo que los Agentes Morales Artificiales (AMAs) razonen sobre la moralidad y mejoren la seguridad de la IA.