Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
Diese Arbeit stellt die „Formula of the Universal Law Logic" (FULL) vor, eine mehrsortige quantifizierte Modallogik, die den kategorischen Imperativ Kants formalisiert, um Künstliche Moralische Agenten zu befähigen, Handlungen basierend auf ihren Zwecken und nicht auf vorprogrammierten moralischen Intuitionen zu bewerten.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Stellen Sie sich vor, Sie bauen einen Roboter, der nicht nur Dinge tun kann, sondern auch moralisch entscheiden soll. Bisher haben Wissenschaftler versucht, diesen Roboter wie einen strengen Lehrer zu programmieren: „Tu dies nicht!" oder „Hilf immer!" (z. B. „Lüge nicht", „Töte nicht").
Das Problem dabei ist, dass diese Roboter dann nur wie blinde Befehlsempfänger handeln. Sie verstehen nicht den Zweck hinter einer Handlung. Wenn ein Chirurg einen Patienten aufschneidet, ist das für einen solchen Roboter eine „Verletzung" – er würde die Operation verbieten, weil er nicht versteht, dass der Zweck das Leben retten ist. Außerdem müssen wir Menschen alle moralischen Regeln im Voraus auswendig lernen und dem Roboter geben. Das ist unmöglich, denn die Welt ist zu komplex.
Taylor Olson aus dem Paper schlägt eine völlig andere Methode vor, basierend auf dem Philosophen Immanuel Kant. Statt dem Roboter eine Liste von Regeln zu geben, gibt man ihm eine Rechenmaschine für Logik, die er selbst bedienen muss. Diese Maschine nennt er FULL (Formula of the Universal Law Logic).
Hier ist die einfache Erklärung, wie diese Maschine funktioniert, mit ein paar kreativen Vergleichen:
1. Die Grundidee: Der „Was-wäre-wenn"-Test
Stellen Sie sich vor, Sie sind ein Roboter namens Karli. Sie haben einen Plan (eine „Maxime"), zum Beispiel: „Ich werde meinem Freund Jan eine falsche Versprechung geben, um Geld für eine Reise zu bekommen."
Die FULL-Maschine fragt Sie nun nicht: „Ist Lügen schlecht?" (denn das müssten wir ihr erst beibringen). Stattdessen sagt sie: „Stell dir vor, deine Regel gilt für ALLE Menschen in der Welt, für immer."
Das ist wie ein Gedanken-Experiment:
- Szenario: Jeder Mensch, der Geld braucht, lügt über eine Rückzahlung.
- Die Logik: Wenn jeder lügt, glaubt niemand mehr irgendjemandem.
- Das Ergebnis: In dieser Welt funktioniert Ihre Lüge gar nicht mehr! Jan würde Ihnen nicht glauben, und Sie bekommen kein Geld.
- Der Konflikt: Sie wollten Geld bekommen, aber Ihre eigene Regel (alle lügen) macht es unmöglich, Geld zu bekommen. Das ist ein logischer Widerspruch.
- Urteil: Die Handlung ist verboten, weil sie sich selbst zerstört, wenn sie zur universellen Regel wird.
2. Warum ist das besser als eine Regel-Liste?
A. Es geht um den Zweck (Der Chirurg-Vergleich)
Stellen Sie sich vor, Sie schneiden jemanden mit einem Messer.
- Fall 1 (Mörder): Ihr Zweck ist es, jemanden zu verletzen. Wenn alle Mörder wären, gäbe es keine Sicherheit mehr. Die Regel „Töte, um zu töten" würde in einer Welt voller Tote enden, wo niemand mehr leben kann, um zu töten. -> Verboten.
- Fall 2 (Chirurg): Ihr Zweck ist es, zu heilen. Wenn alle Chirurgen wären, die schneiden, um zu heilen, wäre das gut für die Welt. Die Regel „Schneiden, um zu heilen" funktioniert auch als universelles Gesetz. -> Erlaubt.
Die FULL-Maschine versteht den Unterschied im Ziel. Alte Roboter sahen nur das Messer und sagten „Schneiden = Böse". Die FULL-Maschine sieht den Plan und sagt: „Aha, der Zweck macht den Unterschied."
B. Es braucht keine Liste von Regeln (Der Baumeister-Vergleich)
Bisher mussten wir Menschen wie Baumeister sein, die jede einzelne Ziegelstein-Regel für den Roboter mitbringen: „Regel 1: Nicht lügen. Regel 2: Nicht stehlen. Regel 3: Nicht töten..."
Das Problem: Was ist, wenn eine neue Situation kommt, die wir nicht vorhergesehen haben?
Die FULL-Maschine ist wie ein Architekt, der nur die Gesetze der Physik kennt. Sie braucht keine Liste von „was man tun darf". Sie kennt nur die Gesetze der Logik und der Kausalität (Ursache und Wirkung). Wenn Sie ihr einen Plan geben, prüft sie automatisch: „Passt dieser Plan in eine logische Welt?" Wenn nein, ist er unmoralisch. Wir müssen ihr also nicht sagen, was moralisch ist; sie rechnet es aus.
3. Wie die Maschine denkt (Die drei Schritte)
Wenn der Roboter einen Plan hat, läuft er durch diese drei Schritte:
- Der Plan: Ich tue X, um Y zu erreichen.
- Die Universalisierung: Stell dir vor, jeder tut X, um Y zu erreichen.
- Der Check: Funktioniert Y in dieser Welt noch?
- Wenn die Antwort NEIN ist (weil die Welt zusammenbricht oder der Zweck nicht erreicht wird), dann ist der Plan verboten.
- Wenn die Antwort JA ist, dann ist der Plan erlaubt.
Zusammenfassung für den Alltag
Dieses Paper ist wie ein neues Betriebssystem für moralische Roboter.
- Alt: Der Roboter ist ein strenger Lehrer mit einem Buch voller Regeln. Er versteht nicht, warum er etwas tut.
- Neu (FULL): Der Roboter ist ein logischer Denker. Er hat keine Regeln im Kopf, aber er versteht, wie die Welt funktioniert. Er prüft jeden seiner Pläne darauf, ob er in einer Welt, in der jeder so denkt, noch funktionieren würde.
Das ist ein riesiger Schritt hin zu KI, die nicht nur „gut" tut, sondern auch versteht, warum es gut ist. Sie macht Roboter robuster, weil sie nicht an einer starren Liste von Regeln scheitert, wenn die Welt sich ändert, sondern ihre Entscheidungen aus dem logischen Kern der menschlichen Vernunft ableitet.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.