Inspection games in arms control David Tischler 9825148.

Slides:



Advertisements
Ähnliche Präsentationen
Dauermagnete Bei magnetischen Materialien unterscheidet man Eisenkerne bzw. Weicheisenstücke und Dauermagnete bzw. Hart-magnetische Materialien. Dauermagnete.
Advertisements

TAGUNG DER DEUTSCH-LUSITANISCHEN JURISTENVEREINIGUNG O processo penal português Panorâmica introdutória Der portugiesische Strafprozess ein einführender.
Ach wie gut, daß niemand weiß Der Schutz von Wissen
Herzlich Willkommen bei SIMPLE STABLE BULDING
Adjektivendungen Tabellen und Übungen.
ZWILLING Neuheiten 2008.
Das Hexenkochbuch Nicht Rattenschwänze, Spinnenbein
 Präsentation transkript:

Inspection games in arms control David Tischler

Inspection games in arms control Rudolf Avenhaus, Morton Canty, D. Marc Kilgour, Bernhard von Stengel, Shmuel Zamir (1995) historischer Überblick über spieltheoretische Modelle in der Rüstungskontrolle

Inspection Games in Arms Control Inspection Game 1. Phase: Testsperrverträge 2. Phase: Nichtverbreitungsvertrag 3. Phase: Abrüstungsverträge

Inspection Game nicht-kooperatives Spiel mit zwei Spielern – Inspektor (inspector) prüft Verhalten auf Legalität – Inspizierter (inspectee) handelt legal oder illegal Ziel: optimale Inspektionsstrategie, welche legales verhalten induziert

Inspection Games in Arms Control Inspection Game 1. Phase: Testsperrverträge 2. Phase: Nichtverbreitungsvertrag 3. Phase: Abrüstungsverträge

1. Phase: Testsperrverträge ca – 1968 seit Ende der 50er Verhandlungen über mehr oder weniger rigiden Stop von Atomwaffentests United States Arms Control and Disarmament Agency (ACDA) beauftragt ab1963 Mathematica, Inc. die Anwendbarkeit von statistischen, entscheidungstheoretischen und spieltheoretischen Modellen zu erforschen

Dresher (1962) erstes öffentlich publiziertes Modell rekursives zwei-Personen Nullsummenspiel Inspektor kann in n Runden m mal inspizieren Inspizierter kann, muss aber nicht, genau ein mal illegal handeln sobald illegal gehandelt wird endet das Spiel

Dresher (1962) inspizieren nicht inspizieren legal illegal legal +1 0 letzte Runde 0 nicht letzte Runde

Dresher (1962) n Runden m Inspektionen I(n,m)...Payoff des Inspektors legalillegal inspizierenI(n-1, m-1)+1 nicht inspizierenI(n-1, m) I(0, m) = 0 (immer legal gehandelt) I(n, n) = 0 (immer inspizieren) I(n, 0) = -1 für n > 0 (nie inspizieren)

Dresher (1962) wenn p die Wahrscheinlichkeit ist, mit der der Inspektor in der ersten Runde inspiziert, dann ist der Inspizierte genau dann indifferent wenn

Dresher (1962) mit 0 < m < n und den Anfangsbedingungen explizite Lösung

Anwendungen / Erweiterungen Anscombe und Davis (1963): Inspektionen bei heimlicher Aufrüstung kontrollierte Anlage/Region wird in K Einheiten unterteilt Inspizierter rüstet Einheiten auf, um Gesamtpotential zu erhöhen Inspektor wählt bei limitierter Inspektionsanzahl die zu inspizierenden Einheiten aus Wahrscheinlichkeit der Aufdeckung als Auszahlung des Inspektors

Anwendungen / Erweiterungen Kritik Aufdeckungswahrscheinlichkeit als Auszahlung des Inspektors nicht passend, wenn legales Verhalten erwünschtes Ziel ist Lösungsansatz individuelle Nutzenfunktionen, nicht mehr Nullsummenspiel

Inspection Games in Arms Control Inspection Game 1. Phase: Testsperrverträge 2. Phase: Nichtverbreitungsvertrag 3. Phase: Abrüstungsverträge

2. Phase: Nichtverbreitungsvertrag Nuclear Non-Proliferation Treaty (NPT) 1. Juli 1968 unterzeichnet von USA, UdSSR, GB und 58 weiteren Staaten Verpflichtung zur Nicht- bzw. Nicht-weiter-Aufrüstung und langfristigen Abrüstung Internationale Atomenergiebehörde (International Atomic Energy Agency - IAEA) in Wien erhält die Aufgabe friedliche Nutzung der Atomenergie zu überwachen

Nichtverbreitungsvertrag Problemstellung: Materialbuchhaltung Betreiber von nuklearen Einrichtungen erstellen Materialbilanzen IAEA vergleichen Bilanzen mit Stichproben des Lagerbestandes – Attribute Sampling – Qualitativ – Variable Sampling – Quantitativ Teststatistik, z.B. MUF (Material Unaccounted For)

Attribute Sampling Material ist in K Klassen eingeteilt, i-te Klasse enthält N i Stück Inspektor wendet ε i zur Inspektion jedes von n i Stück der i-ten Klasse auf Inspizierter verfälscht in der i-ten Klasse r i Stück um μ i

Attribute Sampling Wahrscheinlichkeit, mindestens ein verfälschtes Stück zu finden

Attribute Sampling Zwei-Personen Nullsummenspiel Strategien des Inspektors: Strategien des Inspizierten: Auszahlungsfunktion des Inspektors:

Attribute Sampling Lösung mit κ gegeben durch

Attribute Sampling Wenn μ wesentlich kleiner als μ max ist

Inspection Games in Arms Control Inspection Game 1. Phase: Testsperrverträge 2. Phase: Nichtverbreitungsvertrag 3. Phase: Abrüstungsverträge

1988 Intermediate Range Nuclear Forces (INF) Abkommen zwischen USA und UdSSR Abschaffung von nuklear bewaffneten Raketen mit Reichweiten von 500 bis km 1990 Conventional Forces in Europe (CFE) Abkommen zwischen NATO- und Warschauer Pakt-Staaten

Kilgour (1992) Inspizierter hat zwei Standorte, an denen er legal oder illegal handeln kann Auszahlung aus illegaler Handlung auf verschiedenen Standorten unterschiedlich Inspektor inspiziert genau einen Standort

Kilgour (1992) kein Verstoß Verstoß 1Verstoß 2Verstoß 1 & 2 inspiziert 10 / 0-F / -P-w 2 / v 2 -F / -P inspiziert 20 / 0-w 1 / v 1 -F / -P w i > F > 0 Inspektor inspiziert Standort i mit Wahrscheinlichkeit p i

Kilgour (1992) bei P < P 0 immer Verstoß mit Wahrscheinlichkeit definiere Payoff des Inspizierten bei Verstoß

Kilgour (1992) bei P > P0 unendliche Menge von Gleichgewichten mit legalem Verhalten bei

Kilgour (1992) Modell zeigt politische Parameter (Sanktionshöhe) können das Verhalten beeinflussen im guten Fall herrscht Flexibilität bei Wahl der Inspektionsstrategie im schlechten Fall Verstöße nicht verhindert werden können

Links Shmuel Zamir Fun

Aus