Building Models of Prediction Theories
G. Graham White, John B. Bell, Wilfrid Hodges · 1997
This paper is concerned with the implementation of Prediction Theories. Rather than developing an then attempting to implement a proof theory, it aims instead to implement their model theory by building computational counterparts of their relevant models. Prediction Theories are outlined and a working example is given. The basic model-building algorithm is then presented and its completeness and correctness is proved. Several extensions to this algorithm are then outlined. Finally, the performance of the algorithms is analysed. Contents 1 Introduction 2 2 Prediction Theories 2 3 Model Building 11 3.1 The Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2 Preliminary Reductions . . . . . . . . . . . . . . . . . . . . . . . 13 3.3 The Fundamental Correspondence . . . . . . . . . . . . . . . . . 16 3.4 The Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3.5 CAff Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3.6 Theories w...