-time conditions at two kinds of interfaces,
those with its human users and those with the real world.
Further, it means that the main effect of automation will
be to speed up and strengthen deductive reasoning.  The
chief assistance that computation provides to induction
is through measures of fit between theoretical constructs
and empirical data sets.  The limited guidance that formal
methods can bring to hypothesis generation is restricted
to checking the partly logical property of falsifiability
and spe