人工智能2--传统推理技术