An inductive inference procedure to minimize prediction error

Considering inductive inference and deductive inference as not individual processes but a serial process of information processing, the serial inference procedure is studied for two purposes: the compression of observed facts and the prediction of new well-formed formulas. A serial inference process scheme that uses the correspondence to source coding and prediction problems is proposed. The optimal inference procedures for the two purposes are shown in the proposed scheme