Heidelberg 1999 – wissenschaftliches Programm

Bereiche | Tage | Auswahl | Suche | Downloads | Hilfe

AKA: Arbeitskreis Physik und Abrüstung

AKA 7: Modellierung

AKA 7.1: Vortrag

Donnerstag, 18. März 1999, 17:00–17:30, CH3

Ein dynamisches Interaktionsspiel zur Modellierung von Verifikation — •Jürgen Scheffran — IANUS, Technische Universität Darmstadt

Die Verifikation von Abrüstung wird im Rahmen eines dynamischen Interaktionsmodells zwischen mehreren Akteuren untersucht, die mit ihren Mitteln auf zu kontrollierende Sicherheitsvariablen (insbesondere Zahl und Leistungsfähigkeit von Waffen) einwirken, die dabei erzielten Veränderungen gegenseitig durch ein Verifikationssystem beobachten und die festgestellten Änderungen anhand von Sicherheitskriterien beurteilen. Berücksichtigt wird die Abfolge von Entscheidungen in einem dynamischen Spiel zwischen einem Inspekteur und einer inpizierten Seite, die kooperieren oder nicht-kooperieren können. Mit spieltheoretischen Methoden werden Bedingungen für das Verhältnis von Kosten, Nutzen und Risiken, die Entdeckungswahrscheinlichkeit und die Fehlalarmhäufigkeit abgeleitet, unter denen ein Vertragsverstoß nicht optimal ist. Daraus folgen Grenzbedingungen für den Sicherheitsabstand von einem verbotenen Bereich der Kontrollgröße und Kriterien für die erforderliche Transparenz der Rüstungsarsenale, die angesichts der Meßungenauigkeit und der möglichen Systemdynamik (hinsichtlich eines Vertragsbruchs) einzuhalten sind. Als Anwendungsbeispiel der Theorie dient die nukleare Abrüstung, insbesondere das Problem der Übergangsstabilität in eine kernwaffenfreie Welt.