第四节 基于溯因推理的类比形式化