AnyVerify
Forschungsprototyp zu Aussagen und den Nachweisen dahinter
Stützen die vorhandenen Nachweise eine bestimmte Aussage tatsächlich, Attribut für Attribut, und wie sollte ein System das sagen, wenn es sich nicht feststellen lässt?
Überblick
36Tests im Repository
AnyVerify vergleicht die Attribute einer Aussage mit den Attributen in ihren Nachweisen, anhand deklarierter Vergleichsprofile. Jede Prüfung hat eines von vier Ergebnissen, und jedes Attribut ist am Ende bestätigt, widerlegt oder unzureichend belegt, bis eine Prüfung durch einen Menschen es klärt.
Die Disziplin ist Ehrlichkeit gegenüber dem Unbekannten. Eine Prüfung, die sich nicht durchführen ließ, gilt als unzureichend, nie als widerlegt, und ein Ergebnis, das sich nicht bewerten lässt, erhält gar keine Punktzahl statt einer Null.
Die sechs Prototypen teilen sich im Repository von AnyLAI einen Anwendungskernel: Fälle, eine hash-verkettete Ereigniszeitleiste, Nachweise mit Provenienz und drei Zeitstempeln, Aufgaben und Autorisierungsakte. Jeder Prototyp ergänzt nur sein eigenes Vokabular und seine eigenen Regeln.
Nachweismatrix
Ursprungserklärung · Lieferung 7
- UrsprungslandCORROBORATED
- ErzeugerCORROBORATED
- ErntedatumINSUFFICIENT
- MengeCORROBORATED
Zelle wählen, um das Ergebnis zu wechseln
Wählen Sie eine Zelle, um zu ändern, was eine Quelle sagt, und sehen Sie, wie das Ergebnis den Regeln folgt.
Textbeschreibung des Diagramms
Eine Matrix für eine Ursprungserklärung. Die Zeilen sind Attribute: Ursprungsland, Erzeuger, Erntedatum und Menge. Die Spalten sind Quellen: die Erklärung, ein Zertifikat und eine Rechnung. Jede Zelle zeigt ein Prüfergebnis. Die letzte Spalte zeigt das Ergebnis je Attribut: bestätigt, wenn die Quellen übereinstimmen, widerlegt, wenn eine abweicht, unzureichend, wenn eine Prüfung nicht möglich war.
Bausteine
Aussage
Eine Angabe mit Attributen, etwa eine Ursprungserklärung.
Vergleichsprofil
Eine versionierte Festlegung, welche Attribute wie verglichen werden: exakt, als Text, Zahl, Datum oder auf Vorhandensein.
Prüfung
Ein einzelner Vergleich mit dem Ergebnis MATCH, MISMATCH, ABSENT oder INCONCLUSIVE.
Ergebnis
CORROBORATED, CONTRADICTED, INSUFFICIENT, RESOLVED_BY_REVIEW oder PENDING.
Übereinstimmungsquote
Eine benannte Methode, die Prüfungen zusammenfasst. Sie ist keine Wahrscheinlichkeit.
Eine Ursprungserklärung
- 1
Eine Erklärung nennt Ursprungsland, Erzeuger, Erntedatum und Menge.
- 2
Das Zertifikat stimmt bei Land und Erzeuger überein; die Rechnung bei der Menge.
- 3
Das Erntedatum steht in keiner Quelle, mit der es sich vergleichen ließe: Das Attribut ist unzureichend belegt, nicht widerlegt.
- 4
Eine prüfende Person klärt es mit einem neuen Dokument, und das Ergebnis hält fest, dass die Prüfung es entschieden hat.
Abgrenzung
AnyVerify ≠ AnyValidForschungsprototyp · unveröffentlicht
AnyValid fragt eine maßgebliche externe Quelle. AnyVerify vergleicht die Nachweise, die bereits vorliegen.
AnyValidAnyVerify ≠ AnyTraceForschungsprototyp · unveröffentlicht
AnyTrace zeichnet Gewahrsam über die Zeit auf. AnyVerify beurteilt eine Aussage zu einem Zeitpunkt.
AnyTrace
Stand
Forschungsprototyp im Repository von AnyLAI mit zwei Referenz-Vergleichsprofilen. Unveröffentlicht, nicht produktiv betrieben, nicht mit echten Daten gelaufen.
Grenzen
- Übereinstimmung zwischen Quellen ist eine Bestätigung, kein Beweis.
- Er vergleicht, was ihm übergeben wird; Nachweise sucht er nicht selbst.
- Ein Ergebnis ist kein Zertifikat.