We use the interpretation of a key piece of information in the 2002 U.S. decision to invade Iraq to motivate a study of the role of context in decision making. Although our primary focus is intelligence analysis, our study seeks to adopt a mathematical approach. This should make it applicable in a wide variety of application domains. In particular, the level of abstraction at which we work enab...

The study of frameworks and formalisms for reasoning about action and change [67, 58, 61, 65, 70, 3, 57] has been central to the knowledge representation field almost from the inception of Artificial Intelligence as a general field of research [52, 56]. The phrase “Temporal Action Logics” represents a class of logics for reasoning about action and change that evolved from Sandewall’s book on Fe...

The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself – or its implementation – is not formally checked. We address this question for the B, a widely used formal method that allows for the derivation of correct programs from specifications. Through a deep embedding of the B logic i...