Intelligente Grundlegung von regelbasierter Argumentation mit Datalog

Das neue Forschungsdokument von arXiv präsentiert einen innovativen Ansatz zur effizienten Grundlegung von Regel-basierten Argumentationssystemen, die auf dem weit verbreiteten ASPIC+ Framework aufbauen. Während ASPIC+ üblicherweise mit ersten‑Ordnung-Regeln arbeitet, beschränken sich die meisten bestehenden Verfahren auf propositionsale Regeln, was die direkte Anwendung auf komplexere Szenarien verhindert.

Um die Herausforderung der Grundlegung (Grounding) von ersten‑Ordnung-Regeln zu meistern, schlägt die Arbeit einen intelligenten Prozess vor, der die Größe der Grundlegung kontrolliert und gleichzeitig die Korrektheit des Argumentationsprozesses garantiert. Der Schlüssel liegt in der Übersetzung der ASPIC+ Instanz in ein Datalog‑Programm. Durch das Abfragen eines Datalog‑Engines werden gezielt Grundlegungen (Ground Substitutions) ermittelt, die die Regeln und Konträre der Argumentation auf die notwendige Form bringen.

Ein besonderes Merkmal des Ansatzes ist die Einführung von spezifischen Vereinfachungen für das ASPIC+ Formalismus. Diese reduzieren die Grundlegung auf nur jene Regeln, die tatsächlich Einfluss auf die Schlussfolgerungen haben, wodurch die potenzielle exponentielle Ausdehnung der Eingabetheorie drastisch verringert wird.

Die Autoren haben einen prototypischen Implementierungsprototypen entwickelt und eine empirische Evaluation durchgeführt. Die Ergebnisse zeigen, dass der vorgeschlagene Ansatz nicht nur korrekt bleibt, sondern auch eine deutliche Skalierbarkeit aufweist – ein bedeutender Fortschritt für die praktische Anwendung von regelbasierter Argumentation in der KI.