【基於connectionist机制的合一算法实现及其模拟系统】孙维祥.pdf

论文答辩日期:000 2年6月15日指导教师午满沙(签字)

南京大学计算机系硕士学位论文目录摘要 Abstract.一.前言.1 早期历史回顾1 合一理论的应用.二.合一问题简介2一阶合一.2基本概念.2基于转换的一阶合一2循环合2弱合一和有理树合一2循环合一2方程式合一.2基本定义与结论.2半合一.2基本定义与结论.2反合一.2基本概念三.

南京大学计算机系硕士学位论文摘要合一问题早在数学发展的初期就已经出现了,它主要关心的是寻找对变量的替换以使等式两边的公式相等。不过,直到60年代,随着符号计算的发展,合一才在计算机科学中得到应用。如今合一问题广泛出现于计算机科学的各个领域:从逻辑式程序设计,自动定理证明,到多态,等等。目前,国际上已将合一理论作为计算机科学的一个分支予以相当的重视,特别是对于合一算法方面的研究。随着研究领域的拓宽,合一问题的种类也逐渐丰富起来。其中比较典型的包括:方程式合一,高阶合一,半合一以及反合一.传统计算机的顺序特性从根本上是不同于动物和人类大脑的思维特性的。