An inspection game is a mathematical model of a situation in which an inspector verifies the adherence of an inspectee to some legal obligation, such as an arms control treaty, where the inspectee may have an interest in violating that obligation. The mathematical analysis seeks to determine an optimal inspection scheme, ideally one which will induce legal behavior, under the assumption that the potential illegal action is carried out strategically; thus a non-cooperative game with two players, inspector and inspectee, is defined. Three phases of development in the application of such models to arms control and disarmament may be identified. In the first of these, roughly from 1961 through 1968, studies that focused on inspecting a nuclear test ban treaty emphasized game theory, with less consideration given to statistical aspects associated with data acquisition and measurement uncertainty. The second phase, from 1968 to about 1985, involves work stimulated by the Treaty on the Non-Proliferation of Nuclear Weapons (NPT). Here, the verification principle of material accountancy came to the fore, along with the need to include the formalism of statistical decision theory within the inspection models. The third phase, 1985 to the present, has been dominated by challenges posed by such far-reaching verification agreements as the Intermediate Range Nuclear Forces Agreement (1NF), the Treaty on Conventional Forces in Europe (CFE) and the Chemical Weapons Convention (CWC), as well as perceived failures of the NPT system in Iraq and North Korea. In this connection, the interface between the political and technical aspects of verification is being examined from the game-theoretic viewpoint.
Abstract:A rule that constrains decision-makers is enforced by an inspector who is supplied with a fixed level of inspection resources-inspection personnel, equipment, or time. How should the inspector distribute its inspection resources over several independent inspectees? What minimum level of resources is required to deter all violations? Optimal enforcement problems occur in many contexts; the motivating application for this study is the role of the International Atomic Energy Agency in support of the Treaty on the Non-Proliferation of Nuclear Weapons. Using game-theoretic models, the resource level adequate for deterrence is characterized in a two-inspectee problem with inspections that are imperfect in the sense that violations can be missed. Detection functions, or probabilities of detecting a violation, are assumed to be increasing in inspection resources, permitting optimal allocations over inspectees to be described both in general and in special cases. When detection functions are convex, inspection effort should be concentrated on one inspectee chosen at random, but when they are concave it should be spread deterministicly over the inspectees. Our analysis provides guidance for the design of arms-control verification operations, and implies that a priori constraints on the distribution of inspection effort can result in significant inefficiencies.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.