Begründete Antworten

Evidenz, Schlusskette, Validierung: wie aus einer Frage an die Datenbank ein Argument wird

TippIn einem Satz

Eine Antwort von Famulus ist die Konklusion eines Arguments: Ihre Prämissen sind Fakten der Sammlungsdatenbank mit Adresse und Herkunft, ihre Schlussregeln sind erklärt, nach Einwänden gegen sie wird in derselben Datenbank gesucht, und sie heißt validiert nur, wenn die Aussage, die sie macht, aus diesen Gründen folgt.

Ein Fall

Die Frage lautet: Mit wem korrespondierte Kármán zwischen 1930 und 1940? Die FQL-Form C1 antwortet mit einer SQL-Abfrage auf das Briefregister des Kármán-Nachlasses. Sie liefert 491 Zeilen, eine je Gegenpartei, und 1.503 Briefe. Eine Antwort, die diese Zahlen nennt, gibt wieder, was die Abfrage zählt. Ob die Aussage Kármán korrespondierte 1930–1940 mit 491 Personen wahr ist, sagt sie nicht.

Famulus behandelt die 491 Zeilen als Vorschlag. Jeder der 1.503 Briefe ist ein Zeuge: Für ihn werden die Fakten des Registers gelesen (Absender, Empfänger, Jahr, Seiten), und ein Beweiser prüft, ob aus ihnen und den Regeln des Schemas Zählung von Briefpartnern folgt, dass der Brief Kármán mit der Gegenpartei der Zeile verbindet. Danach sucht Famulus nach Einwänden. Es findet 153 Briefpaare mit gleichen Parteien und gleichem Tagesdatum, also Abschriften oder Entwürfe, die nur einmal zählen dürfen; damit tragen 1.390 Briefe, nicht 1.503. Es findet 126 Briefe Kármáns im Zeitraum ohne aufgelöste Gegenpartei, 298 Briefe ohne jede aufgelöste Partei und 928 undatierte Briefe Kármáns. Jeder dieser Befunde sagt dasselbe: Das Register ist für diesen Bereich nicht abgeschlossen. Schließlich findet die kritische Frage nach der Identität der Partner Registereinträge mit gleichem Familiennamen und verträglichen Initialen; sie bezeichnen vermutlich eine Person und zählen für die Untergrenze einmal. Diese Frage hat Famulus aus einem Einwand gelernt (Lernen aus Begründungen). Daraus folgt eine Untergrenze, keine Gesamtzahl:

Theodore von Kármán korrespondierte 1930–1940 mit mindestens 443 Personen (1.390 Briefe).

Genau 443 folgt nicht, und 491 erst recht nicht. Die Antwort sagt das, und sie sagt, warum.

Die ausführliche Ansicht eines Blocks: Antwort mit Siegel, darunter die Begründung mit Prämissen, Schluss, kritischen Fragen und Belegen im Verweismodus Seite.

Warum ein Abgleich keine Begründung ist

Ein naheliegendes Verfahren lässt ein Sprachmodell die Antwort schreiben und prüft danach, ob deren Zahlen mit den Zeilen übereinstimmen. Das ist der Weg der abrufgestützten Generierung: erst der Text, dann die Suche nach Stützen. Er prüft eine Übereinstimmung zweier Zeichenketten. Er prüft nicht, ob die Aussage aus Gründen folgt. Die Zahl 491 kann richtig abgeschrieben sein und die Aussage dennoch falsch, weil zwei Registereinträge dieselbe Person bezeichnen oder weil Briefe fehlen.

Famulus kehrt die Reihenfolge um. Zuerst steht fest, welche Aussage gefragt ist und was als Grund für sie gelten kann. Dann werden die Gründe gelesen, die Konklusion abgeleitet und nach Einwänden gesucht. Erst dann entsteht der Text, und er kann keine Zahl nennen, die das Argument nicht trägt.

Die Frage als Aussageform

Eine Frage ist keine Aussage. Sie ist eine Aussageform mit einer Leerstelle: Kármán korrespondierte 1930–1940 mit x Personen. Das Sprachmodell ordnet die Frage einer der 56 Formen des Katalogs zu und füllt deren Parameter; diese Zuordnung heißt Lesart und wird mit dem Argument gespeichert. Die Namen der Frage werden an Einträge des Registers gebunden, und die Bindung ist selbst eine Prämisse mit Herkunft: eindeutig aus dem Register, vom Modell unter mehreren Einträgen gewählt, aus dem Gedächtnis des Notebooks oder vom Eigentümer gesetzt.

Evidenz: Fakten mit Adresse und Herkunft

Ein Fakt ist eine Grundaussage des Vokabulars, etwa Absender(L:…/015, P:8): Der Brief 015 der Mappe 109.10 hat den Registereintrag 8 als Absender. Jeder Fakt nennt die Zeile, aus der er gelesen ist (fq_letters#…), die Stellen, an denen ein Leser ihn findet (Registereintrag, Seite, Satz), und seine Herkunft.

Herkunft	Beispiel	Grad
Register	Absender, Empfänger, Datum, Ort eines Briefs	stark
Bindung	„Kármán“ ist Registereintrag 8	stark (Eigentümer, eindeutig) oder mittel (Modellwahl)
Text und Stanza	Ein Satz steht auf einer Seite des Briefs; ein Token hat das Lemma series	mittel
Modelllesung	Eine Handlung (Bitte, Zusage, Zahlung), ein Thema	nach gemessener Präzision
Festsetzung	Grenzen einer Kriegsperiode	offen, solange sie nur vorgeschlagen ist

Der Grad einer Modelllesung ist kein Vertrauensvorschuss. Er ist die untere Grenze des 95-%-Intervalls (Wilson) der Präzision, die an einer Stichprobe gemessen wurde: mindestens 90 % heißt stark, mindestens 70 % mittel, darunter schwach. Die Handlungen, die das Modell aus dem Satz eines Kármán-Briefs gelesen hat, sind an 30 Fällen gelesen worden: 22 waren richtig, das Intervall reicht von 56 % bis 86 %, der Grad ist schwach. Die Handlungen aus dem Regest: 28 von 30, Intervall 79 % bis 98 %, Grad mittel. Die Zahlen stehen im Kapitel Datenmodell und Fehler.

Ein Item einer Famulus-Referenz hat als Adresse seine fr:-Adresse; wie ein erzeugter Text damit zitiert und wie die Prüfung jede genannte Adresse im DuckLake auflöst, steht unter Zitieren mit fr:-Adressen.

Schlusskette: Schemata, Regeln, Beweise

Jede Form gehört zu einem Argumentschema. Das Schema sagt, welche Fakten eine Konklusion tragen können und nach welchen Regeln. Die Regeln sind Horn-Klauseln, also Wenn-dann-Sätze mit einer Konjunktion im Wenn-Teil:

GegenparteiAls(L, X, N) :- VonPerson(L, X), EmpfaengerAls(L, N)

Gelesen: Wenn die Person X den Brief L schrieb und das Register den Empfänger von L als N führt, dann ist N die Gegenpartei von X in L. Zwölf Schemata decken die 56 Formen ab, darunter die Zählung von Briefen, die Zählung von Briefpartnern, das Textzeugnis einer Erwähnung, die Deutung einer Sprechhandlung, die thematische Zuordnung, die Zuordnung zu Kriegs- und Friedenszeiten und die Volltextsuche.

Für jeden Zeugen werden die Regeln über seinen Fakten ausgewertet, und der Beweiser famulus_proof, den auch der Lektor für die sachliche Validität benutzt, prüft, ob das Instanzziel folgt. Sein Beweis endet in Blättern: den Fakten und Regeln, auf denen die Instanz ruht. Ein Beweis ist so stark wie sein schwächstes Blatt, und eine Instanz so stark wie ihr stärkster Beweis: Ein bloßer Familienname kann ein Weg zum Ziel sein, eine registrierte volle Namensform ein anderer. Weil der Beweiser den Beweis liefert, den er zuerst findet, wird die Instanz nochmals nur mit den Klauseln höheren Grades bewiesen, bis kein Beweis mehr gelingt. Ihr Grad hängt so nicht von der Reihenfolge ab, in der die Datenbank die Fakten liefert; jedes gespeicherte Argument ergibt bei wiederholtem Bau dasselbe Urteil. Auch eine Regel hat einen Grad: Der Wortlaut eines Regests ist ein sicherer Fakt, der Schluss von seinen Wörtern auf ein Thema ist schwach.

Eine Zählung ist selbst ein Schluss. Genau n folgt nur mit einer Abschlussprämisse: Das Register verzeichnet im Bereich der Frage alle Briefe. Für keine der beiden Pilotsammlungen ist sie erklärt. Ohne sie folgt mindestens n, und Abwesenheit folgt gar nicht. Die Untergrenze ist damit kein Zusatz zur Antwort; sie ist das, was aus den Gründen folgt.

Zielexpansion und Validitätsbaum

Die Suche nach der Begründung ist eine Zielexpansion. Das Ziel ist, die Aussage zu rechtfertigen, die die Abfrage der Form vorschlägt; das Ziel ist selbst keine Aussage, sondern die Beschreibung eines beabsichtigten Zustands, nämlich dass die Aussage gerechtfertigt ist. Ein Ziel wird durch die Regeln expandiert, deren Kopf es trifft. Jede Regel ist eine Alternative, die Atome ihres Rumpfes sind neue Ziele, und alle sind verlangt. Die Regeln sind nach Abteilungen geordnet: Zeugnis, Identität, Zeit, Lesart und Zählung. Die kritischen Fragen bilden als Suche nach Einwänden eine sechste Abteilung.

Ein Zweig endet nur in einem Grund, und es gibt vier Arten, die für jedes Prädikat in der Schemadatei festgelegt sind:

Art	Was es ist	Woher
Beleg	eine adressierte Zeile eines Registers oder Textes	Dokument, Seite, Satz
Lesart	eine Modelllesung mit gemessener Präzision	Stichprobe, Wilson-Grenze
Konvention	eine erklärte Festsetzung: Namensbindung, Periodengrenze, Abschluss	Schemadatei
Satz	eine berechnete Aussage, etwa dass ein Jahr im Fenster liegt	Rechnung über adressierte Zeilen

Die Expansion läuft nicht endlos. Die Regelmenge ist endlich und erklärt. Und ein Prädikat, das weder einen Grund noch eine Regel hat, die zu einem führt, hat keinen Vorrat: Das steht schon vor der ersten Abfrage fest, und der Zweig schließt sofort als Lücke mit Begründung. Kein Zweig wird in der Hoffnung auf Belege weiterverfolgt, die die Sammlung nicht enthalten kann.

Die Wende. Sind alle offenen Atome eines Zweiges durch Gründe geschlossen, liegt dem Beweiser eine Widerlegung der verneinten Konklusion vor, und die Zielexpansion wird zur Rechtfertigung: Die Klauseln des Beweises sind die Prämissen, die Regelinstanzen die Schritte, die Gründe die Wurzeln. Der Beweiser liefert den ersten Beweis, den er findet, und der kann Klauseln enthalten, die er nicht braucht. Deshalb wird er durch Löschen auf seinen minimalen Kern verkleinert: Eine Klausel wird weggelassen; folgt die Konklusion mit demselben Grad auch ohne sie, bleibt sie weg. Was übrig ist, lässt sich nicht weiter kürzen. Jeder Knoten des Validitätsbaums trägt so zur Aussage an der Spitze bei. Die Probe kostet einen Beweis je Klausel und läuft deshalb in einem Zeitbudget; eine Instanz, deren Kern nicht geprüft wurde, ist ungeprüft markiert und gilt nicht als minimal. Gefundene, aber nicht gebrauchte Knoten bleiben als Suchrest abgesetzt im Baum, tote Zweige als Lücke mit Grund. Kern, Suchrest und Lücke sind drei Zustände eines Baums.

Grade. Der Grad einer Instanz ist der ihrer schwächsten Prämisse, der der Konklusion der ihrer stärksten Instanz. Über stark liegt der Grad gewiss: Er gehört berechneten Aussagen, die kein eigenes empirisches Risiko tragen. Unter dem Minimum ist er neutral, und eine Heraufstufung erreicht ihn nie. Eine ausgeräumte kritische Frage steht als Knoten der Abteilung Einwände im Baum: Die Suche nach dem Defeater blieb leer, der Grad ist nicht gedeckelt.

Der Baum ist über die Instanzen aggregiert. Ein Knoten steht für eine Regel oder einen Grund, der in den Kernen vorkommt, und die Zahl am Rand nennt die Zahl der Instanzen. Wie der Baum gezeigt wird, steht im Kapitel Viewer.

Validierung: die Suche nach Einwänden

Zu jedem Schema gehören kritische Fragen. Sie sind das Fehlermodell der Sammlung, als Abfragen formuliert, die in derselben Datenbank nach Einwänden suchen:

• Gibt es im Bereich der Frage Briefe ohne aufgelöste Gegenpartei oder ohne Datum? (Abschluss)
• Führt das Register weitere Einträge mit derselben Namensform? Teilen gezählte Partner eine Namensform? (Identität)
• Sind unter den Belegen Dubletten? (Zählung)
• Ist der Handelnde einer gelesenen Bitte ein anderer als der Absender? Trägt der Belegsatz den Wortlaut der Lesung? (Deutung)
• Ist dieselbe Handlung unabhängig zweimal gelesen, aus Satz und Regest? Führt der Registerindex die genannte Person ebenfalls? (unabhängige Zeugen)
• Ist das Sprachetikett der Sätze verlässlich? Sind die Periodengrenzen bestätigt?

Eine kritische Frage schlägt an oder nicht. Schlägt sie an, hat sie eine erklärte Wirkung: Sie macht die Konklusion zur Untergrenze, verschmilzt Einträge oder Belege, die dasselbe bezeichnen, stuft Instanzen herab oder, wenn zwei unabhängige Zeugen übereinstimmen, herauf. Eine widerlegende Frage blockiert die Konklusion.

Das Urteil folgt einer festen Regel, derselben, die der Lektor für Sätze verwendet. Die Konklusion ist validiert, wenn

1. mindestens eine Instanz aus den Fakten folgt und den Annahmegrad mittel erreicht,
2. mindestens die Hälfte der Belege trägt,
3. keine kritische Frage sie widerlegt und
4. jeder Block, auf den sie sich stützt, validiert ist.

Sonst ist sie nicht validiert. Das heißt nicht, dass ihre Aussage falsch ist. Es heißt, dass die registrierten Gründe nicht reichen, und die Begründung nennt die schwächste Prämisse.

Die Antwort aus dem Argument

Der erste Satz der Antwort ist die Konklusion, aus der Vorlage des Schemas gebildet. Weitere Sätze schreibt das Modell, aber nur mit Platzhaltern wie {r0.name} oder {r0.angenommen} für jede Zahl und jeden Wert einer Zeile; das System füllt sie aus den validierten Zeilen. Ein Satz mit einer eigenen Ziffer wird verworfen und protokolliert, ebenso ein Satz, der eine Untergrenze als Gesamtzahl ausspricht („insgesamt“). Jeder Satz der Antwort ist so durch seine Entstehung an einen Knoten des Arguments gebunden.

Ketten über ein Notebook

Ein Block kann sich auf die Konklusion eines früheren Blocks stützen (stuetzt_sich_auf: [fql-partner]). Die frühere Konklusion wird dann eine Prämisse, mit ihrem Urteil und dem Hash ihres Arguments. Ändert sich das frühere Argument, zeigt der abhängige Block Geltung verloren; ist die frühere Konklusion nicht validiert, ist es die abhängige auch nicht.

Die Fragen des Katalogs

Die Methode ist auf alle 74 Beispielfragen des Katalogs angewendet (scripts/fql_bench.py). Die Tabelle am Ende von Schemata und Ergebnisse nennt für jede Frage Urteil, Quantor, Anteil der tragenden Belege, offene kritische Fragen und die schwächste Prämisse. Wo eine Konklusion nicht validiert ist, ist das ein Befund über die Sammlung, und er sagt, welche Arbeit sie validierbar machen würde:

• Kriegs- und Friedenszeiten (F1–F3): Die Periodengrenzen sind Festsetzungen mit dem Status proposed. Bestätigt der Eigentümer sie, werden die Zuordnungen validierbar.
• Handlungen aus dem Satz (E2–E4, E6): Die gemessene Präzision der Satzlesung ist zu gering. Eine neue Lesung oder eine bessere Messung, die Art und Rollen der Handlung von der Belegstelle trennt, ändert das.
• Erwähnungen über den Familiennamen (B6): Ein bloßer Familienname kann Namensgleiche treffen. Ein zweiter, unabhängiger Zeuge, etwa der Registerindex des Briefs, hebt den Grad.
• Themen aus Suchwörtern (D3, D6): Der Schluss vom Wortlaut eines Regests auf ein Thema ist schwach; die Taxonomiezuordnung trägt, die lexikalische nicht.

Diese Befunde sind die ersten Fälle der Lernschleife.

Beispiele

Kármán und seine Briefpartner 1930–1940

Frage. Mit wem korrespondierte Kármán zwischen 1930 und 1940?

Antwort (validiert). Theodore von Kármán korrespondierte 1930–1940 mit mindestens 441 Personen (1387 Briefe). An der Spitze steht Herzfeld, H. mit 91 Briefen zwischen 1930 und 1933, belegt durch 70 Briefe. Es folgen Putnam, P. C. mit 88 Briefen von 1935 bis 1940 und Gaylord, J. M. mit 35 Briefen von 1934 bis 1939. Weitere tragende Korrespondenzen sind Barrett, E. C. mit 34 Briefen von 1937 bis 1940 sowie Gardner, Lester D. mit 28 Briefen von 1934 bis 1940. Auch Walter, R. F. mit 24 Briefen von 1937 bis 1940 und Barnes, D. P. mit 23 Briefen von 1938 bis 1940 stützen die Korrespondenz.

Begründung.

1. zeugnis, Grad stark. Das Register verzeichnet 1387 Briefe mit Theodore von Kármán als Partei 1930–1940, deren Gegenpartei aufgelöst ist.
2. identitaet, Grad stark. „Theodore von Kármán“ ist an 13 Registereinträge gebunden (12317, 14194, 18723, 2865, 3242, 3826, …), aus dem Gedächtnis des Notebooks, eine frühere Bindung.
3. regel, Grad stark. 5 Regeln des Schemas „Zählung von Briefpartnern“: R-an, R-fenster, R-gegen-an, R-gegen-von, R-von

Daraus folgt (zaehlung): Theodore von Kármán korrespondierte 1930–1940 mit mindestens 441 Personen (1387 Briefe). Genauer folgt es nicht: Das Register ist für keinen Bereich als abgeschlossen erklärt.

Kritische Fragen, die anschlagen:

• CQ-abschluss-partei (offen): 126 Briefe der Person im Bereich nennen keine aufgelöste Gegenpartei; sie können weitere Partner oder Briefe enthalten.
• CQ-abschluss-unverbunden (offen): 298 Briefe im Zeitraum haben weder Absender noch Empfänger im Register; ob sie die Person betreffen, ist nicht entschieden.
• CQ-abschluss-datum (offen): 928 Briefe der Person sind undatiert; jede Zählung über die Zeit ist eine Untergrenze.
• CQ-identitaet-partner (offen): 65 Paare gezählter Einträge teilen eine Namensform oder verträgliche Initialen; sie werden für die Untergrenze als eine Person gezählt.
• CQ-dubletten (offen): 153 Briefpaare haben gleiche Parteien und gleiches Tagesdatum (Abschrift, Entwurf, Beilage?); sie zählen für die Untergrenze einmal.

Belege (Auswahl):

• Herzfeld, H. — Mappe 109.10 Patents, Propellers General Correspondence 1930-1931, Bild 1
• Putnam, P. C. — Mappe 111.10 Wind Mills and Turbines General Correspondence 1936-1937, Bild 10
• Gaylord, J. M. — THE T. VON KÁRMÁN COLLECTION, SECTION VII: TECHNICAL FILES, Mappe 106.10 Hydraulics General Correspondence 1933-1934, Bild 36

HinweisEine Instanz aus der Argumentdatei (JSON)

{
 "id": "i0",
 "zeuge": "L:109-10_patents_propellers_general_correspondence/031",
 "ziel": [
  "GegenparteiAls(L:109-10_patents_propellers_general_correspondence/031,a,\"Herzfeld H.\")",
  "ImFenster(L:109-10_patents_propellers_general_correspondence/031)"
 ],
 "grad": "stark",
 "angenommen": true,
 "regeln": [
  "R-fenster",
  "R-gegen-an",
  "R-von"
 ],
 "blaetter": [
  {
   "atom": "ImJahrfenster(1931)",
   "quelle": "satz",
   "adresse": "vergleich#ImJahrfenster(1931)",
   "grad": "gewiss"
  },
  {
   "atom": "Gebunden(P:8,a)",
   "quelle": "bindung",
   "adresse": "bindung#a=8",
   "grad": "stark"
  },
  {
   "atom": "Absender(L:109-10_patents_propellers_general_correspondence/031,P:8)",
   "quelle": "register",
   "adresse": "fq_letters#109-10_patents_propellers_general_correspondence/031",
   "grad": "stark"
  },
  {
   "atom": "EmpfaengerAls(L:109-10_patents_propellers_general_correspondence/031,\"Herzfeld H.\")",
   "quelle": "register",
   "adresse": "fq_letters#109-10_patents_propellers_general_correspondence/031",
   "grad": "stark"
  },
  {
   "atom": "Jahr(L:109-10_patents_propellers_general_correspondence/031,1931)",
   "quelle": "register",
   "adresse": "fq_letters#109-10_patents_propellers_general_correspondence/031",
   "grad": "stark"
  }
 ]
}

Argumentdatei: _famulus/evidence/korrespondenz/fql-partner/v0017.json, 2058.4 ms, Hash 4b5a875800b41048, Schemata e83825540670.

Euler und Goldbach: Geldbeträge

Frage. Welche Geldsummen werden in Goldbachs Briefwechsel zugesagt, angeboten oder gezahlt?

Antwort (validiert). Für 11 Kombinationen von Jahr und Währung sind Geldbeträge begründet, in mindestens 14 gelesenen Handlungen. Im Jahr 1746 sind 5000 Imperial thalers belegt durch 1 Beleg. Für 1742 werden 30 Louisd’ors genannt, belegt durch 1 Beleg. Im Jahr 1749 sind 600 Reichstaler belegt durch 1 Beleg. Für 1744 werden 2000 Roubles genannt, belegt durch 1 Beleg. Im Jahr 1756 sind 245 Rthl. in 2 Handlungen belegt durch 2 Belege. Für 1763 werden 400 Rthl. in 2 Handlungen genannt, belegt durch 2 Belege. Im Jahr 1742 sind 200 roubles belegt durch 1 Beleg. Für 1746 werden 1400 roubles genannt, belegt durch 1 Beleg. Im Jahr 1748 sind 3 thaler belegt durch 1 Beleg. Für 1750 werden 7 thaler genannt, belegt durch 1 Beleg. Im Jahr 1750 sind 14 thalers in 2 Handlungen belegt durch 2 Belege.

Begründung.

1. zeugnis, Grad mittel. 14 gelesene Handlungen erfüllen die Bedingungen der Frage, jede mit ihrem Beleg.
2. identitaet, Grad stark. „C. Goldbach“ ist der Registereintrag 33 (aus dem Gedächtnis des Notebooks, eine frühere Bindung).
3. zuverlaessigkeit, Grad mittel. Die Lesung act.sentence hat eine gemessene Präzision von 89% (32 von 36, untere Wilson-Grenze 75%).
4. regel, Grad stark. 11 Regeln des Schemas „Deutung von Sprechhandlungen“: R-adressat-brief, R-agens-brief, R-an, R-beteiligt-an, R-beteiligt-von, R-betrag, R-betrifft-adressat, R-betrifft-agens, R-betrifft-brief, R-geld-zahlung, R-von

Daraus folgt (defeasibel): Für 11 Kombinationen von Jahr und Währung sind Geldbeträge begründet, in mindestens 14 gelesenen Handlungen. Genauer folgt es nicht: Das Register ist für keinen Bereich als abgeschlossen erklärt.

Kritische Fragen, die anschlagen:

• CQ-akt-weitergeleitet (offen): 1 Handlungen nennen einen anderen Handelnden als den Absender; bei ihnen ist zu prüfen, ob der Brief eine fremde Bitte weitergibt.
• CQ-akt-ort (offen): Bei 4 Handlungen teilt der Belegsatz weniger als ein Fünftel der Wörter der Lesung; der Satz ist wohl Einleitung oder Nachbarsatz.
• CQ-betrag-fehlt (offen): 16 Geldhandlungen haben keinen gelesenen Betrag; Summen sind Untergrenzen.

Belege (Auswahl):

• 1746 — Euler, Leonhard, Correspondence of Leonhard Euler with Christian Goldbach, hg. Franz Lemmermeyer, Martin Mattmüller, Leonhardi Euleri Opera omnia, Series quarta A: Commercium epistolicum IVA 4, Basel 2016, S. 923 — „His Majesty the King accorded to him an annual pension of 5000 Imperial thalers“
• 1742 — Euler, Leonhard, Correspondence of Leonhard Euler with Christian Goldbach, hg. Franz Lemmermeyer, Martin Mattmüller, Leonhardi Euleri Opera omnia, Series quarta A: Commercium epistolicum IVA 4, Basel 2016, S. 719 — „which had advertised a prize of 30 Louisd’ors on that subject“
• 1749 — Euler, Leonhard, Correspondence of Leonhard Euler with Christian Goldbach, hg. Franz Lemmermeyer, Martin Mattmüller, Leonhardi Euleri Opera omnia, Series quarta A: Commercium epistolicum IVA 4, Basel 2016, S. 995 — „The 600 Reichstaler Euler won corresponded to about a third of his annual salary“

HinweisEine Instanz aus der Argumentdatei (JSON)

{
 "id": "i0",
 "zeuge": "A:31",
 "ziel": [
  "GeldHandlung(A:31)",
  "HatBetrag(A:31)",
  "BetrifftPerson(A:31,a)"
 ],
 "grad": "mittel",
 "angenommen": true,
 "regeln": [
  "R-adressat-brief",
  "R-an",
  "R-betrag",
  "R-betrifft-adressat",
  "R-geld-zahlung"
 ],
 "blaetter": [
  {
   "atom": "Gebunden(P:33,a)",
   "quelle": "bindung",
   "adresse": "bindung#a=33",
   "grad": "stark"
  },
  {
   "atom": "Betrag(A:31,5000.0,\"Imperial thalers\")",
   "quelle": "modell",
   "adresse": "fq_acts#31",
   "grad": "mittel"
  },
  {
   "atom": "Handlung(A:31,payment)",
   "quelle": "modell",
   "adresse": "fq_acts#31",
   "grad": "mittel"
  },
  {
   "atom": "KeinAdressat(A:31)",
   "quelle": "modell",
   "adresse": "fq_acts#31",
   "grad": "mittel"
  },
  {
   "atom": "Empfaenger(L:IVA4:112,P:33)",
   "quelle": "register",
   "adresse": "fq_letters#IVA4:112",
   "grad": "stark"
  },
  {
   "atom": "InBrief(A:31,L:IVA4:112)",
   "quelle": "register",
   "adresse": "fq_acts#31",
   "grad": "stark"
  }
 ]
}

Argumentdatei: _famulus/evidence/korrespondenz/fql-gb-geld/v0014.json, 222.0 ms, Hash 915e5bf79c1ba956, Schemata e83825540670.

Bitten um Geld an Kármán

Frage. Wer bat Kármán um finanzielle Unterstützung?

Antwort (validiert). mindestens 73 Bitten um Geld an Theodore von Kármán sind begründet. Auch Herzfeld, H. legt seine Rechnung für das Turbinenschaufelpatent bei, belegt durch 1 Brief. Des Weiteren bittet Hartig, Carl Christoph um Begleichung offener Ausgaben aus einem Hotelaufenthalt in Rosenhain, belegt durch 1 Brief. Zudem fordert Fromm, Karl die Zahlung von 305 Goldmarks an den Patentanwalt Keppel, belegt durch 1 Brief.

Begründung.

1. zeugnis, Grad stark. 73 gelesene Handlungen erfüllen die Bedingungen der Frage, jede mit ihrem Beleg.
2. identitaet, Grad stark. „Theodore von Kármán“ ist an 13 Registereinträge gebunden (12317, 14194, 18723, 2865, 3242, 3826, …), aus dem Gedächtnis des Notebooks, eine frühere Bindung.
3. zuverlaessigkeit, Grad mittel. Die Lesung act.regest hat eine gemessene Präzision von 93% (28 von 30, untere Wilson-Grenze 79%).
4. zuverlaessigkeit, Grad mittel. Die Lesung act.sentence hat eine gemessene Präzision von 90% (27 von 30, untere Wilson-Grenze 74%).
5. regel, Grad stark. 4 Regeln des Schemas „Deutung von Sprechhandlungen“: R-adressat, R-adressat-brief, R-an, R-bitte

Daraus folgt (defeasibel): mindestens 73 Bitten um Geld an Theodore von Kármán sind begründet. Genauer folgt es nicht: Das Register ist für keinen Bereich als abgeschlossen erklärt.

Kritische Fragen, die anschlagen:

• CQ-akt-weitergeleitet (offen): 1 Handlungen nennen einen anderen Handelnden als den Absender; bei ihnen ist zu prüfen, ob der Brief eine fremde Bitte weitergibt.
• CQ-akt-ort (offen): Bei 38 Handlungen teilt der Belegsatz weniger als ein Fünftel der Wörter der Lesung; der Satz ist wohl Einleitung oder Nachbarsatz.
• CQ-betrag-fehlt (offen): 193 Geldhandlungen haben keinen gelesenen Betrag; Summen sind Untergrenzen.

Belege (Auswahl):

• Mügel, Hanns — — „Hanns Mügel sends an invoice for construction work on 999 stands, requesting payment of 888.17 Kronen including interest.“
• Herzfeld, H. — — „encloses his invoice for the turbine blade patent“
• Hartig, Carl Christoph — — „He also asks to settle outstanding expenses from a stay at a hotel in Rosenhain“

HinweisEine Instanz aus der Argumentdatei (JSON)

{
 "id": "i0",
 "zeuge": "A:1686",
 "ziel": [
  "BittetPerson(A:1686,a)",
  "Gegenstand(A:1686,money)"
 ],
 "grad": "mittel",
 "angenommen": true,
 "regeln": [
  "R-adressat",
  "R-bitte"
 ],
 "blaetter": [
  {
   "atom": "Gebunden(P:8,a)",
   "quelle": "bindung",
   "adresse": "bindung#a=8",
   "grad": "stark"
  },
  {
   "atom": "Adressat(A:1686,P:8)",
   "quelle": "modell",
   "adresse": "fq_acts#1686",
   "grad": "mittel"
  },
  {
   "atom": "Gegenstand(A:1686,money)",
   "quelle": "modell",
   "adresse": "fq_acts#1686",
   "grad": "mittel"
  },
  {
   "atom": "Handlung(A:1686,request)",
   "quelle": "modell",
   "adresse": "fq_acts#1686",
   "grad": "mittel"
  }
 ]
}

Argumentdatei: _famulus/evidence/korrespondenz/fql-geld/v0019.json, 395.0 ms, Hash 9665d85355f4776f, Schemata e83825540670.

Schemata und Ergebnisse

Argumentschemata

Schema	Schlussart	Formen	Kritische Fragen
Bestandsauskunft (bestand)	deduktiv	A1, B1, G4, G5, I1, I2, I3	—
Zählung von Briefpartnern (partner)	zaehlung	C1, C3, C4, C8, C9	CQ-abschluss-partei, CQ-abschluss-unverbunden, CQ-abschluss-datum, CQ-identitaet-bindung, CQ-identitaet-partner, CQ-dubletten, CQ-leer
Zählung von Briefen (briefzaehlung)	zaehlung	A2, A3, A5, B2, B3, B4, F5, K5	CQ-abschluss-partei, CQ-abschluss-unverbunden, CQ-abschluss-datum, CQ-identitaet-bindung, CQ-dubletten, CQ-leer
Briefwechsel zweier Personen (paar)	zaehlung	C2, C6, D2	CQ-abschluss-partei, CQ-abschluss-unverbunden, CQ-identitaet-bindung, CQ-dubletten, CQ-leer
Zeitordnung eines Briefwechsels (chronik)	zeitordnung	C10, C5, C7	CQ-abschluss-partei, CQ-abschluss-unverbunden, CQ-abschluss-datum, CQ-identitaet-bindung, CQ-dubletten, CQ-leer
Deutung von Sprechhandlungen (handlung)	defeasibel	E1, E2, E3, E4, E5, E6, E7, E8, H2	CQ-identitaet-bindung, CQ-akt-weitergeleitet, CQ-akt-gestuetzt, CQ-akt-ort, CQ-betrag-fehlt, CQ-geteilte-seite, CQ-leer
Textzeugnis einer Erwähnung (erwaehnung)	defeasibel	B5, B6, B7, B8, B9	CQ-identitaet-bindung, CQ-erwaehnung-gestuetzt, CQ-sprachetikett, CQ-text-abdeckung, CQ-geteilte-seite, CQ-leer
Thematische Zuordnung (thema)	defeasibel	D1, D3, D4, D5, D6, H3	CQ-identitaet-bindung, CQ-dubletten, CQ-leer
Zuordnung zu Kriegs- und Friedenszeiten (periode)	defeasibel	F1, F2, F3, F4	CQ-abschluss-datum, CQ-datum-periode, CQ-identitaet-bindung, CQ-dubletten, CQ-periode-bestaetigt, CQ-leer
Sprache der Briefe (sprache)	defeasibel	G1	CQ-identitaet-bindung, CQ-sprachetikett, CQ-leer
Lemmabeleg (lemma)	defeasibel	G2	CQ-sprachetikett, CQ-text-abdeckung, CQ-geteilte-seite, CQ-leer
Text eines Briefs (text)	deduktiv	A4, G3	CQ-identitaet-bindung, CQ-text-abdeckung, CQ-geteilte-seite, CQ-leer
Volltextsuche (volltext)	existenz	D7, D8	CQ-stoppwoerter, CQ-leer
Aussage der Edition (kommentar)	existenz	K1, K2, K3, K4	—
Vergleich zweier Sammlungen (vergleich)	zusammengesetzt	H1	—

Kritische Fragen

Frage	Ergebnis, wenn sie anschlägt	Wirkung
CQ-abschluss-partei Gibt es im Bereich der Frage Briefe der Person, deren Gegenpartei das Register nicht auflöst?	offen	quantor: mindestens
CQ-abschluss-unverbunden Gibt es im Zeitraum Briefe ohne jede aufgelöste Partei, die die Person betreffen könnten?	offen	quantor: mindestens
CQ-abschluss-datum Gibt es Briefe der Person ohne Datum, die in den Zeitraum fallen könnten?	offen	quantor: mindestens
CQ-datum-periode Gibt es Briefe ohne Tagesdatum, die keiner Periode zugeordnet werden können?	offen	quantor: mindestens
CQ-identitaet-bindung Führt das Register weitere Einträge mit derselben Namensform wie die gebundene Person?	offen	note: True
CQ-identitaet-partner Teilen gezählte Partner eine Namensform mit einem anderen gezählten Partner (ein Mensch, zwei Einträge)?	offen	merge: keys
CQ-dubletten Sind unter den Belegbriefen Dubletten (gleiche Parteien, gleiches Tagesdatum)?	offen	merge: witnesses
CQ-akt-weitergeleitet Ist der Handelnde einer gelesenen Handlung ein anderer als der Absender des Briefs (weitergeleitete Bitte)?	offen	downgrade: witnesses
CQ-akt-gestuetzt Ist dieselbe Handlung unabhängig zweimal gelesen, aus dem Satz und aus dem Regest?	bestanden	upgrade: witnesses
CQ-erwaehnung-gestuetzt Führt der Registerindex des Briefs die genannte Person ebenfalls (unabhängiger zweiter Zeuge)?	bestanden	upgrade: witnesses
CQ-akt-ort Trägt der Belegsatz einer gelesenen Handlung deren Wortlaut (oder ist er ein Nachbarsatz)?	offen	downgrade: witnesses
CQ-betrag-fehlt Gibt es Geldhandlungen der Person ohne gelesenen Betrag?	offen	quantor: mindestens
CQ-periode-bestaetigt Sind die Grenzen der Kriegs- und Friedensperioden vom Eigentümer bestätigt?	offen	note: True
CQ-sprachetikett Ist das Sprachetikett der Sätze verlässlich (Stichprobe gegen eine Funktionswort-Abstimmung)?	offen	regrade: lang
CQ-text-abdeckung Haben alle Briefe im Bereich der Frage einen Text im Sidecar?	offen	quantor: mindestens
CQ-geteilte-seite Stehen Belege auf Seiten, die zwei Briefe teilen?	offen	note: True
CQ-stoppwoerter Streicht der Volltextindex Suchwörter als englische Stoppwörter?	offen	note: True
CQ-leer Ist eine leere Antwort ein Befund oder eine Lücke?	offen	note: True

Regeln

Regel	Form	Lesart
R-von	VonPerson(L,X) :- Absender(L,P), Gebunden(P,X)	Ein Brief stammt von der gefragten Person, wenn das Register als Absender einen Eintrag nennt, an den die Person gebunden ist.
R-an	AnPerson(L,X) :- Empfaenger(L,P), Gebunden(P,X)	Ein Brief ist an die gefragte Person gerichtet, wenn das Register als Empfänger einen Eintrag nennt, an den die Person gebunden ist.
R-beteiligt-von	Beteiligt(L,X) :- VonPerson(L,X)	Wer einen Brief schrieb, ist an ihm beteiligt.
R-beteiligt-an	Beteiligt(L,X) :- AnPerson(L,X)	Wer einen Brief empfing, ist an ihm beteiligt.
R-gegen-an	GegenparteiAls(L,X,N) :- VonPerson(L,X), EmpfaengerAls(L,N)	Schrieb die Person den Brief, ist sein Empfänger, so wie das Register ihn führt, ihre Gegenpartei.
R-gegen-von	GegenparteiAls(L,X,N) :- AnPerson(L,X), AbsenderAls(L,N)	Empfing die Person den Brief, ist sein Absender, so wie das Register ihn führt, ihre Gegenpartei.
R-paar-ab	ZwischenAB(L) :- VonPerson(L,a), AnPerson(L,b)	Ein Brief von A an B gehört zum Briefwechsel von A und B.
R-paar-ba	ZwischenAB(L) :- VonPerson(L,b), AnPerson(L,a)	Ein Brief von B an A gehört zum Briefwechsel von A und B.
R-fenster	ImFenster(L) :- Jahr(L,Y), ImJahrfenster(Y)	Ein Brief fällt in den gefragten Zeitraum, wenn sein Registerjahr darin liegt.
R-zeitraum	InZeitraum(L) :- Datum(L,D), ImZeitraum(D)	Ein Brief fällt in den gefragten Zeitraum, wenn sein Tagesdatum darin liegt.
R-ort	OrtPasst(L) :- Ort(L,O), EnthaeltText(O)	Der Absendeort passt, wenn die Ortsangabe des Registers die gefragte Form enthält.
R-thema-ober	ThemaOder(L,T) :- Thema(L,T)	Ein Brief mit einem Thema gehört zu diesem Thema.
R-thema-unter	ThemaOder(L,T) :- Thema(L,S), Oberthema(S,T)	Ein Brief mit einem Unterthema gehört auch zum Oberthema.
R-thema-name	ThemaBenannt(L,N) :- ThemaOder(L,T), ThemenLabel(T,N)	Ein Thema heißt so, wie die Taxonomie es benennt.
R-thema-gefragt	ThemaGefragt(L) :- ThemaOder(L,T), GefragtesThema(T,topic)	Ein Brief behandelt das gefragte Thema, wenn ihm eines der an die Frage gebundenen Themen zugeordnet ist.
R-thema-regest	ThemaGefragt(L) :- RegestTrifft(L)	Ein Brief behandelt das gefragte Thema auch, wenn sein Regest die Suchwörter des Themas enthält; der Wortlaut des Regests ist sicher, der Schluss auf das Thema ist schwach.
R-periode-art	InPeriodenart(L,K) :- InPeriode(L,P), Periodenart(P,K)	Ein Brief fällt in Kriegs- oder Friedenszeit, wenn sein Datum in einer Periode dieser Art liegt.
R-periode-art-akt	AktInPeriodenart(A,K) :- InBrief(A,L), InPeriodenart(L,K)	Eine Handlung fällt in die Periodenart ihres Briefs.
R-agens	AgensIst(A,X) :- Agens(A,P), Gebunden(P,X)	Der Handelnde ist die gefragte Person, wenn die Lesung ihn als deren Registereintrag nennt.
R-agens-brief	AgensIst(A,X) :- InBrief(A,L), VonPerson(L,X), KeinAgens(A)	Nennt die Lesung keinen Handelnden, gilt der Absender des Briefs als handelnd.
R-adressat	AdressatIst(A,X) :- Adressat(A,P), Gebunden(P,X)	Der Adressat ist die gefragte Person, wenn die Lesung ihn als deren Registereintrag nennt.
R-adressat-brief	AdressatIst(A,X) :- InBrief(A,L), AnPerson(L,X), KeinAdressat(A)	Nennt die Lesung keinen Adressaten, gilt der Empfänger des Briefs als Adressat.
R-bitte	BittetPerson(A,X) :- Handlung(A,request), AdressatIst(A,X)	Eine gelesene Bitte richtet sich an ihren Adressaten.
R-bitte-von	BatUm(A,K,X) :- BittetPerson(A,X), Agens(A,K)	Wer als Handelnder einer Bitte gelesen ist, bat den Adressaten.
R-bitte-von-name	BatUmName(A,N,X) :- BittetPerson(A,X), AgensName(A,N)	Ein Handelnder ohne Registereintrag wird mit seinem gelesenen Namen geführt.
R-zusage	SagtZu(A,X) :- Handlung(A,promise), AgensIst(A,X)	Eine gelesene Zusage stammt von ihrem Handelnden.
R-angebot	SagtZu(A,X) :- Handlung(A,offer), AgensIst(A,X)	Ein gelesenes Angebot gilt wie eine Zusage.
R-betrag	HatBetrag(A) :- Betrag(A,N,C)	Eine Handlung mit gelesenem Betrag nennt Geld.
R-geld-zahlung	GeldHandlung(A) :- Handlung(A,payment)	Zahlungen sind Geldhandlungen.
R-geld-zusage	GeldHandlung(A) :- Handlung(A,promise), HatBetrag(A)	Zusagen mit Betrag sind Geldhandlungen.
R-geld-angebot	GeldHandlung(A) :- Handlung(A,offer), HatBetrag(A)	Angebote mit Betrag sind Geldhandlungen.
R-empfehlung	Empfiehlt(A) :- Handlung(A,recommendation)	Eine gelesene Empfehlung ist eine Empfehlung.
R-betrifft-agens	BetrifftPerson(A,X) :- AgensIst(A,X)	Eine Handlung betrifft ihren Handelnden.
R-betrifft-adressat	BetrifftPerson(A,X) :- AdressatIst(A,X)	Eine Handlung betrifft ihren Adressaten.
R-betrifft-brief	BetrifftPerson(A,X) :- InBrief(A,L), Beteiligt(L,X)	Eine Handlung betrifft die Parteien ihres Briefs.
R-pub-buch	PublikationGefragt(A) :- Gegenstand(A,book)	Bücher sind Publikationen.
R-pub-pub	PublikationGefragt(A) :- Gegenstand(A,publication)	Publikationen sind Publikationen.
R-aus-brief	AusBrief(A,X) :- InBrief(A,L), IstBrief(L,X)	Eine Handlung gehört zu dem Brief, in dem sie gelesen wurde.
R-absatz-brief	AbsatzVon(G,X) :- AbsatzIn(G,L), IstBrief(L,X)	Ein Absatz gehört zu einem Brief, wenn er auf einer Seite des Briefs steht.
R-satz-person	SatzVon(S,X) :- SatzIn(S,L), Beteiligt(L,X)	Ein Satz gehört zum Briefwechsel einer Person, wenn sein Brief sie als Partei hat.
R-satz-paar	SatzImPaar(S) :- SatzIn(S,L), ZwischenAB(L)	Ein Satz gehört zum Briefwechsel von A und B, wenn sein Brief dazu gehört.
R-satz-fenster	SatzImFenster(S) :- SatzIn(S,L), ImFenster(L)	Ein Satz liegt im Zeitraum, wenn sein Brief darin liegt.
R-nennt-person	NenntPerson(S,X) :- Nennt(S,P), Gebunden(P,X)	Ein Satz nennt die Person, wenn eine Erwähnung mit ihrem Registereintrag verknüpft ist.
R-nennt-form	NenntPerson(S,X) :- NenntForm(S,F), FormVon(F,P), Gebunden(P,X)	Ein Satz nennt die Person auch, wenn eine erkannte Personennennung eine Namensform ihres Registereintrags ist.
R-erwaehnt-gebunden	ErwaehntGebunden(L,X) :- ErwaehntIn(P,L), Gebunden(P,X)	Ein Brief erwähnt die Person, wenn eine Erwähnung mit ihrem Eintrag verknüpft ist.
R-erwaehnt-form	ErwaehntGebunden(L,X) :- NenntFormIn(L,F), FormVon(F,P), Gebunden(P,X)	Ein Brief erwähnt die Person auch, wenn eine erkannte Personennennung eine Namensform ihres Registereintrags ist.
R-sprache	HatSprache(L,K) :- SatzSprache(L,K)	Ein Brief enthält eine Sprache, wenn einer seiner Sätze dieses Sprachetikett trägt.
R-als-absender	AbsenderOderEmpfaengerAls(L,N) :- AbsenderAls(L,N)	Wer einen Brief schrieb, ist eine seiner Parteien.
R-als-empfaenger	AbsenderOderEmpfaengerAls(L,N) :- EmpfaengerAls(L,N)	Wer einen Brief empfing, ist eine seiner Parteien.
R-agens-als	AgensAls(A,N) :- Agens(A,P), Name(P,N)	Ein Handelnder mit Registereintrag heißt, wie das Register ihn führt.
R-agens-als-name	AgensAls(A,N) :- AgensName(A,N)	Ein Handelnder ohne Registereintrag heißt, wie die Lesung ihn nennt.
R-akt-fenster	AktImFenster(A) :- InBrief(A,L), ImFenster(L)	Eine Handlung liegt im Zeitraum, wenn ihr Brief darin liegt.
R-kommentarstelle	Kommentarstelle(K) :- Kommentar(K)	Eine Stelle gehört zum Kommentar, wenn die Herausgeber sie in eigener Stimme schreiben (Essay, Einleitung, Supplement, deren Anmerkungen).
R-kommentar-brief	KommentarZuBrief(K,X) :- Kommentar(K), KommentarZu(K,L), IstBrief(L,X)	Eine Kommentarstelle behandelt den gefragten Brief, wenn sie ihn anführt.
R-kommentar-paar	KommentarZumPaar(K) :- Kommentar(K), KommentarZu(K,L), ZwischenAB(L)	Eine Kommentarstelle behandelt den Briefwechsel von A und B, wenn sie einen Brief zwischen beiden anführt.
R-kommentar-person	KommentarZuPerson(K,X) :- Kommentar(K), KommentarZu(K,L), Beteiligt(L,X)	Eine Kommentarstelle behandelt den Briefwechsel einer Person, wenn sie einen Brief anführt, an dem die Person beteiligt ist.
R-kommentar-zitiert	VonKommentarZitiert(L) :- KommentarZu(K,L), Kommentar(K)	Ein Brief ist vom Kommentar angeführt, wenn eine Kommentarstelle ihn anführt.
R-nur-register	NurRegister(L) :- Registereintrag(L), OhneText(L)	Ein Brief ist nur durch das Register bezeugt, wenn er ein Registereintrag ist und kein edierter Text ihm zugeordnet ist.

Angewandt auf die Fragen des Katalogs

Gemessen am 2026-10-01: 74 Fragen, davon 66 validiert, 7 nicht validiert, 1 Lücken.

Form	Sammlung	Frage	Urteil	Quantor	tragende Belege	offene Fragen	schwächste Prämisse
A1	Euler	Wie groß ist der Briefbestand?	validiert	genau	—	—
A1	Kármán	Wie groß ist der Briefbestand?	validiert	genau	—	—
A2	Euler	Wie viele Briefe gibt es pro Jahr?	validiert	mindestens	3325/3325	dubletten, periode-bestaetigt
A2	Euler	Wie viele Briefe wechselte Euler pro Jahr?	validiert	mindestens	3325/3325	dubletten
A2	Kármán	Wie viele Briefe gibt es pro Jahr?	validiert	mindestens	8726/8726	abschluss-unverbunden, dubletten
A3	Euler	Welche Briefe stammen aus dem Sommer 1742?	validiert	mindestens	29/29	—
A4	Euler	Zeige den Text von Brief 149 an Goldbach.	validiert	genau	65/65	—
A5	Euler	Von wann und wo ist Brief 149 an Goldbach?	validiert	mindestens	1/1	—
B1	Euler	Wer ist Goldbach im Register?	validiert	genau	—	—
B2	Euler	Welche Briefe schrieb Goldbach an Euler 1742?	validiert	mindestens	16/16	—
B3	Euler	Wer schrieb aus Berlin?	validiert	mindestens	881/881	dubletten
B3	Kármán	Wer schrieb aus Pasadena an Kármán?	validiert	mindestens	103/103	abschluss-partei, abschluss-unverbunden, dubletten
B4	Euler	Von wo schrieb Goldbach?	validiert	mindestens	100/100	—
B5	Kármán	Welche Orte werden in Kármáns Briefen am häufigsten genannt?	validiert	mindestens	8981/10138	geteilte-seite
B6	Euler	Wo erwähnt Euler Daniel Bernoulli?	nicht validiert	mindestens	0/31	erwaehnung-gestuetzt, text-abdeckung	FormVon (register), Grad schwach: nur der Familienname: trifft auch Namensgleiche
B6	Kármán	Wer nennt Einstein in Briefen an Kármán?	validiert	mindestens	34/40	—	FormVon (register), Grad schwach: nur der Familienname: trifft auch Namensgleiche
B7	Kármán	Wer wird zusammen mit Einstein genannt?	validiert	mindestens	21/36	—
B8	Kármán	Welche Institutionen kommen in Kármáns Briefen der 1940er vor?	validiert	mindestens	3081/3081	geteilte-seite
B9	Kármán	Wo nennen Briefe an Kármán Geldbeträge?	validiert	mindestens	288/288	geteilte-seite
C1	Euler	Mit wem korrespondierte Euler?	validiert	mindestens	3194/3194	dubletten, identitaet-partner
C1	Kármán	Mit wem korrespondierte Kármán 1930–1940?	validiert	mindestens	1504/1504	abschluss-datum, abschluss-partei, abschluss-unverbunden, dubletten, identitaet-partner
C2	Euler	Wie viele Briefe wechselten Euler und Goldbach?	validiert	mindestens	214/214	dubletten
C3	Kármán	Wer schrieb an Kármán 1945?	validiert	mindestens	59/59	abschluss-datum, abschluss-partei, abschluss-unverbunden, dubletten, identitaet-partner
C4	Euler	An wen schrieb Euler 1750?	validiert	mindestens	62/62	abschluss-datum
C5	Euler	Wie verlief der Briefwechsel Euler–Goldbach über die Jahre?	validiert	mindestens	214/214	dubletten
C6	Euler	Von wo schrieben Euler und Goldbach einander?	validiert	mindestens	214/214	dubletten
C7	Euler	Wann ruhte der Briefwechsel Euler–Goldbach länger als ein Jahr?	validiert	mindestens	6/6	—
C8	Kármán	Zeige Kármáns Korrespondenznetz 1930–1940.	validiert	mindestens	753/753	abschluss-datum, abschluss-partei, abschluss-unverbunden, dubletten
C9	Euler	Mit wem korrespondierten Euler und Goldbach beide?	validiert	mindestens	—	leer
C10	Euler	Wann begann und endete der Briefwechsel Euler–Goldbach?	validiert	mindestens	2/2	—
D1	Euler	Worüber schrieb Euler an Goldbach?	validiert	mindestens	408/408	dubletten
D2	Euler	Was schrieb Goldbach an Euler 1742?	validiert	mindestens	8/8	—
D3	Euler	Wer schrieb Euler über Magnete?	nicht validiert	mindestens	109/238	dubletten	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
D3	Kármán	Wer schrieb an Kármán über Patente?	validiert	mindestens	475/479	dubletten	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
D4	Kármán	Welche Themen dominieren Kármáns Korrespondenz?	validiert	mindestens	16075/16075	dubletten
D5	Euler	Wie wandelten sich die Gegenstände Euler–Goldbach in Fünfjahresschritten?	validiert	mindestens	394/394	dubletten
D5	Kármán	Wie veränderten sich die Themen der Briefe an Kármán über die Jahrzehnte?	validiert	mindestens	6977/6977	dubletten
D6	Euler	Wann schreibt Goldbach erstmals von seiner Vermutung über Primzahlen?	validiert	mindestens	8/10	—	RegestTrifft (berechnet, bm25), Grad stark: BM25 1.72: das Regest enthält Suchwörter aus „Vermutung Primzahlen Goldbach
D6	Kármán	Wann ist erstmals von Raketen die Rede?	validiert	mindestens	10/10	—
D7	Kármán	In welchen Briefen geht es um Windkanäle?	validiert	mindestens	50/50	—
D8	Euler	Wo schreiben Euler und Goldbach über Polyeder?	validiert	mindestens	7/7	—
E1	Euler	Wer bat Euler um Auskunft?	validiert	mindestens	335/341	akt-ort, akt-weitergeleitet	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E1	Kármán	Wer bat Kármán um eine Stelle?	validiert	mindestens	65/67	akt-ort, akt-weitergeleitet	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E2	Kármán	Wer bat Kármán um finanzielle Unterstützung?	validiert	mindestens	73/74	akt-ort, akt-weitergeleitet, betrag-fehlt	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E3	Euler	Welche Beträge nennt Euler in Zusagen an Goldbach?	Lücke	mindestens	—	betrag-fehlt, leer
E3	Kármán	Wie viel Geld sagte Kármán anderen zu?	validiert	mindestens	14/15	akt-ort, akt-weitergeleitet, betrag-fehlt	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E4	Kármán	Wen empfahl Kármán?	validiert	mindestens	210/215	akt-ort, akt-weitergeleitet, geteilte-seite	Handlung (modell, act.regest), Grad mittel: Präzision 93% (28/30, Wilson ≥ 79%)
E5	Euler	Um welche Bücher bat Goldbach Euler?	validiert	mindestens	10/15	akt-weitergeleitet	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E5	Kármán	Wer bat Kármán um Sonderdrucke?	validiert	mindestens	429/430	akt-ort, akt-weitergeleitet, geteilte-seite	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
E6	Euler	Wie entwickelten sich die genannten Geldsummen über die Jahre?	validiert	mindestens	48/50	akt-ort, akt-weitergeleitet	Handlung (modell, act.regest), Grad mittel: Präzision 89% (32/36, Wilson ≥ 75%)
E6	Kármán	Wie entwickelten sich die genannten Geldsummen über die Jahre?	validiert	mindestens	200/223	akt-ort, akt-weitergeleitet	Handlung (modell, act.sentence), Grad mittel: Präzision 90% (27/30, Wilson ≥ 74%)
E7	Euler	Was erbittet Euler im Brief 149 an Goldbach?	validiert	mindestens	2/2	akt-ort
E8	Euler	Was für Handlungen vollzieht Goldbach in seinen Briefen?	validiert	mindestens	121/132	akt-ort, akt-weitergeleitet	Agens (modell, act.sentence), Grad mittel: Präzision 89% (32/36, Wilson ≥ 75%)
F1	Kármán	Wie viele Briefe Kármáns fallen in die Weltkriege?	nicht validiert	mindestens	0/5004	datum-periode, dubletten, periode-bestaetigt	Periodenart (konvention), Grad offen: Periodengrenze, Status proposed
F2	Euler	Gab es in Kriegszeiten andere Themen als im Frieden?	nicht validiert	mindestens	0/7662	dubletten, periode-bestaetigt	Periodenart (konvention), Grad offen: Periodengrenze, Status proposed
F2	Kármán	Gab es in Kriegszeiten andere Themen als im Frieden?	nicht validiert	mindestens	0/20000	dubletten, periode-bestaetigt	Periodenart (konvention), Grad offen: Frieden = in keiner Kriegsperiode; die Kriegsgrenzen sind vorgeschlagen
F3	Euler	Wurde in Kriegszeiten öfter um Geld oder Stellen gebeten?	nicht validiert	mindestens	0/1735	dubletten, periode-bestaetigt	Periodenart (konvention), Grad offen: Periodengrenze, Status proposed
F3	Kármán	Wurde in Kriegszeiten öfter um Geld oder Stellen gebeten?	nicht validiert	mindestens	0/4163	dubletten, periode-bestaetigt	Periodenart (konvention), Grad offen: Frieden = in keiner Kriegsperiode; die Kriegsgrenzen sind vorgeschlagen
F4	Euler	Wie verteilen sich Eulers Briefe über die Jahre, mit Kriegen?	validiert	mindestens	3325/3325	dubletten, periode-bestaetigt
F5	Euler	In welchen Monaten schrieb Euler an Goldbach?	validiert	mindestens	214/214	dubletten
G1	Euler	In welchen Sprachen schrieben Euler und Goldbach?	validiert	mindestens	674/674	—
G2	Euler	Wo gebrauchen Euler und Goldbach das Wort series?	validiert	mindestens	591/591	text-abdeckung
G3	Euler	Welche Briefe Euler–Goldbach enthalten am meisten Formeln?	validiert	mindestens	180/180	text-abdeckung
G4	Euler	Welche Anmerkungen der Edition nennen Fermat?	validiert	genau	—	—
G5	Euler	Welche Abbildungen enthält der Briefwechsel Euler–Goldbach?	validiert	genau	—	—
H1	Vergleich	Vergleiche den Bestand von Kármán und Euler.	validiert	genau	—	—
H2	Kármán	Wer bat Kármán um eine Stelle, und antwortete Kármán?	validiert	mindestens	54/56	akt-ort, akt-weitergeleitet	Gebunden (bindung), Grad mittel: vom Modell unter mehreren Registereinträgen gewählt
H3	Kármán	Worüber schrieben die, die Kármán um Geld baten?	validiert	mindestens	1119/1119	dubletten
I1	Euler	Wie vollständig ist die Erschließung?	validiert	genau	—	—
I1	Kármán	Wie vollständig ist die Erschließung?	validiert	genau	—	—
I2	Euler	Welche Tabellen hat die FQL-Datenbank?	validiert	genau	—	—
I2	Kármán	Welche Tabellen hat die FQL-Datenbank?	validiert	genau	—	—
I3	Euler	Wie wurden die Handlungen extrahiert?	validiert	genau	—	—
I3	Kármán	Wie wurden die Handlungen extrahiert?	validiert	genau	—	—

Was die Begründung nicht leistet

• Validierung ist eine Begründung gegen die registrierten Gründe, keine Wahrheitsgarantie. Ist ein Registereintrag falsch, ist jedes Argument, das auf ihm ruht, nicht stichhaltig: Die Konklusion verliert diese Begründung, und das System kann genau die betroffenen Konklusionen nennen, weil jede Prämisse ihre Adresse trägt. Falsch wird die Konklusion dadurch nicht — aus der Falschheit einer Prämisse folgt nichts über ihre Wahrheit. Die Korrektur des Eintrags und ein neuer Lauf stellen das Urteil wieder her oder revidieren es.
• Die Präzisionen der Modelllesungen beruhen auf Stichproben von 20 bis 44 Fällen, gelesen vom Agenten, der das Sidecar gebaut hat, nicht vom Eigentümer.
• Abschluss ist für keine Sammlung erklärt. Solange er fehlt, sind alle Zählungen Untergrenzen und keine Abwesenheit folgt.
• Für den Euler-Band IVA 4 ist der Link in die Edition (Port 5103) eine Lücke, bis der Band dort registriert ist; das Faksimile zeigt das Notebook selbst.

Die Umsetzung beschreibt Begründung: Umsetzung, das Lernen aus nicht überzeugenden Begründungen Lernen aus Begründungen.