Typisierte Fakten
Ein Compiler überführt strukturierte Eingaben in eine einheitliche interne Darstellung. Werte und Regeln werden vor der Auswertung geprüft.
Open Source · Veritas
Ein Ergebnis.
Und sein Warum.
Veritas ist ein Forschungsprototyp für die Auswertung von Regeln und Fakten. Das Ziel: Ergebnisse, deren Begründung ebenso sichtbar ist wie das, was noch fehlt.
Die Aufgabe
dahinter.
Eine Regel kann erfüllt, widerlegt, ungeklärt oder widersprüchlich sein. Veritas hält diese Zustände auseinander. Statt aus fehlenden Angaben still eine Antwort abzuleiten, macht das System fehlende Fakten und Konflikte ausdrücklich sichtbar.
Architektur & Entscheidungen
Wie es
gedacht ist.
Begründungen als Ergebnis
Die Auswertung liefert neben dem Status auch Begründungspfade. Dadurch lässt sich nachvollziehen, welche Fakten und Regeln zu einem Ergebnis geführt haben.
Reproduzierbare Auswertung
Kanonische Daten, exakte Zahlenwerte und stabile Identitäten sollen Ergebnisse vergleichbar machen. Der veröffentlichte Code dokumentiert die Semantik und ihre Tests.
Stand & Grenzen
Was heute
vorliegt.
Der veröffentlichte Stand ist ein Forschungs- und Engineering-Prototyp. Er verarbeitet strukturierte Eingaben; eine natürlichsprachliche Oberfläche, ein Sprachmodell und eine fertige Fachanwendung gehören nicht zum Kern. Daraus folgt keine Eignung für sicherheitskritische Entscheidungen.
Grundlage ist die öffentliche Projektdokumentation, geprüft am .
Den aktuellen Stand auf GitHub ansehen ↗Von der Idee
zu Ihrer Aufgabe.
Veritas macht eine Frage konkret, die auch Fachsoftware prägt: Können Anwender verstehen, warum ein System zu einem Ergebnis kommt? In Kundenprojekten beginnt das bei gemeinsam beschriebenen Regeln und überprüfbaren Abnahmekriterien.
Fachliche Regeln in Software übersetzen ↗Weitere Repositories ↗