Consistent Policy Model
A model is formally consistent if it conforms to the postulates and rules of inference of a formal logic. This criterion will normally be satisfied if a model is declarative and rule-based and the inference engine that processes the rules halts in the sense of a Turing machine. A consistent policy model is a consistent model representing the social processes that determine whether the effects of specific policy instruments will lead to the achievement of specified policy objectives in simulation experiments with the model.