Model Inference Systems