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

Dieses Papier stellt die Formula of the Universal Law Logic (FULL) vor, eine mehrsortige quantifizierte Modallogik, um die kantische Ethik für die Maschinenethik zu formalisieren. FULL zielt darauf ab, Einschränkungen aktueller axiomatischer Ansätze zu überwinden, indem sie Künstlichen Moralischen Agenten (AMAs) ermöglicht, über Moral zu räsonieren und die KI-Sicherheit zu verbessern.