FORMALE FORSCHUNG
NEMESISJAM
Formale Grundlagen
Ein eigenständiges Forschungsprogramm zu Befugnissen, Nachweisen und den Grenzen autonomen Handelns.
01 / DIE TECHNISCHE FRAGE
Was wird unter welchen Annahmen nachgewiesen?
Wenn formale Aussagen und eine unabhängige Prüfung erforderlich sind.
Eine starke technische Aussage kann eine unausgesprochene Annahme, uneinheitliche Begriffe oder eine zu weitgehende Schlussfolgerung verbergen. Formale Arbeit beginnt mit einer präzisen Beschreibung von Eigenschaft, Modell und Geltungsgrenzen.
NEMESISJAM ist eigenständige Forschung zu den formalen Grundlagen von Befugnis, Nachweisen und autonomem Handeln, aufbereitet für kritischen technischen Dialog.
02 / ARBEITSUMFANG
Was definiert werden muss
- Eine präzise formulierte Frage oder Eigenschaft
- Ein Modell, Definitionen und benannte Annahmen
- Eine Begründung und unterstützende Prüfunterlagen
Was verstanden werden muss
- Sind alle Annahmen ausdrücklich benannt?
- Bleibt die Bedeutung der Begriffe in der gesamten Argumentation konsistent?
- Bleibt die Schlussfolgerung innerhalb der Modell- und Beweisgrenzen?
03 / VERANSCHAULICHENDES BEISPIEL
Eine Eigenschaft kontrollierter Ausführung formulieren
Eine Aussage besagt, dass eine Handlung eine entsprechende Befugnis erfordert. Das Review untersucht die genaue Bedeutung von „Handlung“ und „Befugnis“, die geltenden Annahmen und die stützenden Nachweise.
Dieses Beispiel erklärt den Forschungsgegenstand; es ist kein Bericht über einen abgeschlossenen Auftrag.04 / TECHNISCHE BEWERTUNG
Unterlagen für ein fundiertes Review
Bei einer vereinbarten Bewertung eines konkreten Kandidaten sollten die folgenden Unterlagen identifiziert, vorbereitet und geprüft werden.
Öffentlich ist nur eine begrenzte Zusammenfassung der lokalen Prüfung BOARD-EX-001; Programmunterlagen werden im vereinbarten Umfang geprüft. Dies qualifiziert keine Freigabe. Für die anderen fünf Programme werden hier keine eigenen Pakete veröffentlicht. DA-EX-001 betrifft ausschließlich das Anfrageformular dieser Website.
- Präzisierte Aussagen zu Eigenschaften und Annahmen
- Eine Liste noch zu erfüllender Beweispflichten
- Beobachtungen und Fragen für einen unabhängigen Prüfer