We also build a multi-inference system, which based on analog inference, forward illation inference, conversion inference and meta-rule inference.

• 提出了一种基于类比推理、正向演绎推理、换位推理及元级推理等的多种推理机制，并建立起了相应的推理算法；