Although the computational modeling of “mindreading” (e.g., believing that you believe that there’s a deadly boa in the box, Smith mindreadingly predicts that you will refrain from removing the top) is well-established, this success has been achieved primarily in connection with scenarios that, relatively speaking, are both simple and common. Herein, we introduce a new computational-logic framework that allows formalization of mindreading of a rather more demanding sort: viz., deliberative multi-agent mindreading, applied to the realm of nuclear strategy. This form of mindreading, in this domain, is both complex and uncommon: it for example can quickly involve at least formulae reflecting fifth-order beliefs, and requires precise deductive reasoning over such iterated beliefs. In addition, the relevant models and simulations involve three, four, five agents, and sometimes many more. In the nuclear-strategy realm, for example, the better kind of modeling, simulation, and prediction (MSP) that our framework is intended to enable, should ultimately be capable of formalizing, at once, the arbitrarily iterated beliefs of at least every civilized nation on Earth. Based on our modeling, we present a set of desiderata that any modeling framework should satisy to be able to capture deliberative multi-agent mindreading in domains such as nuclear deterrence. Using our desiderata, we evaluate game theory, metagame theory, digital games, and tabletop games when used to model nuclear deterrence. Finally, we consider and rebut possible objections to our modeling paradigm and conclude with a map of ongoing and future work.
