Transparenz maschinell produzierter Entscheidungen zwecks Evaluierung

— Kritische Untersuchung, ob und in wieweit die Einführung von Transparenz in maschinell produzierten Entscheidungen realisierbar ist. Hierzu ist ein Vergleich existierender Techniken zur Interpretation und Visualisierung maschinell getroffener Entscheidungen durchzuführen (theoretische und praktische Analysen). Die Stärken und Schwächen der verschiedenen Ansätze sind herauszuarbeiten, — Erweiterung des Open-Source SAT-Solvers CryptoMiniSat (CMS-Solver) um ein geeignetes KI-Modell zur Steigerung seiner Effektivität und Effizienz, — Realisierung eines „Explanation Interface“ (im Sinne der Definition der DAPRA) für ein ausgewähltes KI-Modell, vorzugsweise für das KI-Modell, welches für die Modifizierung des CMS-Solvers verwendet wurde. Das „Explanation Interface“, bestehend aus einer Schnittstelle und einer grafischen Benutzeroberfläche, muss die vom KI-Modell produzierten Entscheidungen oder Prognosen für den Anwender nachvollziehbar und überprüfbar machen.