IIPS

We propose the IIPS framework for specifying inductive inference problems. Unlike the specification outline given in [1], the IIPS framework is formally defined and can specify problems where the inducer influences the presentation order of the examples. The framework is suited to specifying machine-discovery problems.