基于案例的推理技术及其应用