Falkor-IRAC: Graph-Constrained Generation for Verified Legal Reasoning in Indian Judicial AI
Dieser Beitrag stellt Falkor-IRAC vor, ein durch Graphen eingeschränktes Generierungsframework für indische Rechts-KI, das verifizierte Schlussfolgerungen sicherstellt, indem es die Ausgaben von Large Language Models in strukturierten IRAC-Wissensgraphen verankert und einen Verifier-Agenten zur Validierung von Zitaten sowie zur Erkennung von doktrinären Konflikten einsetzt, wodurch die Halluzinations- und Genauigkeitsbeschränkungen traditioneller vektorbasierter Retrieval-Systeme adressiert werden.
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
Das große Problem: Warum aktuelle Rechts-KI wie ein „selbstbewusster Lügner" ist
Stellen Sie sich vor, Sie bitten einen sehr klugen, gut gebildeten Studenten (eine KI) um Rechtsberatung. Der Student hat Tausende von Büchern gelesen, ist aber schrecklich darin, seine Fakten zu überprüfen.
- Aktuelle KI (Vector RAG): Dieser Student versucht zu antworten, indem er Wörter findet, die Ihrer Frage ähnlich klingen. Wenn Sie nach „Kaution" fragen, holt er vielleicht eine Geschichte über „Kaution" aus einem Roman oder einem Fake-News-Artikel hervor, weil die Wörter übereinstimmen. Er könnte sogar einen erfundenen Gerichtsfall erfinden, der real klingt, aber nicht existiert. In der juristischen Welt ist das nicht nur ein Fehler; es ist gefährlich. Wenn ein Anwalt sich auf einen erfundenen Fall verlässt, könnte er die Freiheit eines Mandanten verlieren.
- Das Ziel des Papiers: Die Autoren wollen verhindern, dass die KI Dinge erfindet. Sie wollen eine KI, die sagt: „Ich weiß es nicht", anstatt eine erfundene Antwort zu erfinden.
Die Lösung: Falkor-IRAC (Das „Bibliothekar + Prüfer"-System)
Das Papier schlägt ein neues System namens Falkor-IRAC vor. Betrachten Sie es nicht als Suchmaschine, sondern als ein Zwei-Personen-Team: einen Schreiber und einen strengen Prüfer.
1. Die Karte (Der Wissensgraph)
Anstatt nur einen Haufen Bücher zu haben, erstellt das System eine riesige, detaillierte Karte des indischen Rechts.
- Knoten (Die Haltestellen): Jeder Gerichtsfall, jedes Gesetz, jeder Richter und jeder Schritt in einem Rechtsverfahren (wie „Kaution abgelehnt") ist eine Haltestelle auf der Karte.
- Kanten (Die Straßen): Die Straßen verbinden diese Haltestellen. Sie zeigen, wie ein Fall zu einem anderen führte, welche Gesetze gelten und ob zwei Richter unterschiedlicher Meinung waren.
- Das besondere Merkmal: Diese Karte verfolgt die Geschichte eines Rechtsfalls, nicht nur den Text. Sie weiß, dass, wenn Sie bei „Kaution abgelehnt" sind, der nächste Schritt normalerweise „Antrag beim Obersten Gerichtshof" ist, aber nur, wenn Sie „neue Gründe" haben. Es ist wie ein GPS, das die Verkehrsregeln kennt, nicht nur die Straßennamen.
2. Der Schreiber (Das LLM)
Wenn Sie eine Frage stellen (z. B. „Kann ich erneut Kaution beantragen?"), schaut sich der Schreiber die Karte an und entwirft eine Antwort. Er versucht, die echten Haltestellen (Fälle) und Straßen (Gesetze), die er gefunden hat, zu verwenden.
3. Der Prüfer (Der Verifizierungs-Agent)
Dies ist der wichtigste Teil. Bevor die Antwort Ihnen gezeigt wird, überprüft der Prüfer die Arbeit des Schreibers.
- Die Prüfung: Der Prüfer schaut auf die Karte und fragt: „Existiert die Straße, die der Schreiber beschrieben hat, tatsächlich?"
- Das Veto: Wenn der Schreiber sagt: „Siehe Fall X", aber Fall X nicht auf der Karte ist (oder ein erfundener Fall ist, den der Schreiber erfunden hat), stoppt der Prüfer die Antwort.
- Das Ergebnis: Die Antwort wird nur freigegeben, wenn der Prüfer ein „Grünes Licht" gibt. Wenn der Schreiber keinen echten Pfad auf der Karte finden kann, sagt das System: „Ich kann diese Antwort nicht verifizieren", und bleibt still.
Wichtige Merkmale in einfacher Sprache
1. „Halluzinationen" sind ein absolutes Nein
Bei normaler KI könnte das Modell, wenn es sich nicht sicher ist, raten. Bei Falkor-IRAC ist Raten verboten. Wenn der Pfad auf der Karte nicht existiert, wird die Antwort abgelehnt. Es ist wie ein Lehrer, der Ihnen nicht erlaubt, einen Test abzugeben, wenn Sie Ihre Rechenschritte nicht zeigen können.
2. Das Aufspüren von Meinungsverschiedenheiten (Konflikterkennung)
Manchmal sind zwei verschiedene Richter (gleicher Rang) unterschiedlicher Meinung zu einem Gesetz.
- Alte KI: Würde eine Seite wählen und so tun, als gäbe es keine Meinungsverschiedenheit.
- Falkor-IRAC: Der Prüfer sieht die Meinungsverschiedenheit auf der Karte. Er sagt Ihnen: „Es gibt einen Konflikt. Richter A sagt X, Richter B sagt Y. Wir wissen noch nicht, welcher von beiden recht hat." Er behandelt Unsicherheit als eine nützliche Antwort, nicht als einen Fehler.
3. Verfolgung des „Zustands" des Falls
Rechtsfälle sind wie ein Spiel mit Levels. Man kann nicht von Level 1 direkt zu Level 5 springen.
- Das System verfolgt, wo Sie sich im Spiel befinden (z. B. „Kaution abgelehnt").
- Es schlägt nur Züge vor, die von diesem spezifischen Punkt aus legal sind. Es wird Ihnen nicht raten, Berufung beim Obersten Gerichtshof einzulegen, wenn Sie noch nicht einmal den Obersten Gerichtshof versucht haben.
Wie sie es getestet haben
Die Forscher haben dies nicht im gesamten Internet getestet. Sie bauten eine kleine „Proof-of-Concept"-Version:
- Die Daten: Sie speisten das System mit 51 echten Urteilen des Obersten Gerichtshofs aus Indien.
- Der Test: Sie stellten 10 Fragen (meist über Kaution und Arbeitsrecht).
- Das Ergebnis:
- Das System fand erfolgreich echte Fälle und überprüfte sie.
- Als sie versuchten, das System mit erfundenen Fallnamen zu täuschen, fing der Prüfer sie zu 100 % auf.
- Der Haken: Das System ist derzeit langsam, da es auf normalen Computerchips (CPUs) läuft und nicht auf leistungsstarken Grafikkarten (GPUs). Viele Fragen liefen aus, weil der „Prüfer" zu lange brauchte, um die Karte zu überprüfen.
Das Fazit
Das Papier argumentiert, dass Recht nicht darin besteht, ähnliche Wörter zu finden; es geht darum, einen logischen Pfad zu verfolgen.
- Aktuelle KI ist wie ein Tourist, der Richtungen errät, basierend darauf, wie Wörter klingen.
- Falkor-IRAC ist wie ein Reiseleiter, der eine physische Karte halten und jeden Schritt der Route nachweisen muss, bevor er Sie gehen lässt.
Die Autoren kommen zu dem Schluss, dass eine vertrauenswürdige Rechts-KI durch eine Karte (den Graphen) eingeschränkt und von einem Prüfer kontrolliert werden muss, anstatt nur ein intelligenter Rater zu sein. Sie haben ihren Code öffentlich gemacht, damit andere versuchen können, bessere Karten und schnellere Prüfer zu bauen.
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.