中文摘要：

经过三年的研究，我们在理论创新和系统实现两方面均取得了重要进展。提出一种针对状态空间搜索的类比推理计算模型；给出一种高效的类比匹配算法，使其复杂度从O（n（1））降低到O（n（3））；提出一种基于类比的启发式搜索方法AHS，将启发式搜索由一次性搜索方式变为学习式搜索方式。设计了类比推理抽象机，并进行了软件模拟与验证；在此基础上，采用软硬件相结合的方法设计实现了类比推理加速板ARC，大幅度提高了类比推理系统的效率，为类比推理应用于状态空间上的搜索奠定了基础；以类比推理加速板ARC为核心，实现了可以体现基于类比的启发式搜索方法，思想的实验性系统M。我们的工作在理论上有创新，在系统实现技术上有突破，完全达到了预期的研究目标。