非标准合一的理论及应用

合一是计算机科学与人工智能中的一种重要运算，由于其表现的类型多样和解决的难度，而愈来愈受到重视。本课题从三个方面研究了合一问题，其成果是：一，构造了半合一和反合一的形式体系，论证了相应问题求解的能行可判定性，分别给出了转换式的求解算法；二，探讨了采用Connectionist机制实现合一的方案，并进行了计算机模拟，再加以可能与功效的分析；三，结合应用实际，特别对逻辑式、函数式、对象式等多种程序设计中的合一，高阶合一，多态类型检测完成了系统深入的研究，对基于规则系统的规则执行条件之间的相容与互斥，设计反合一算法进行规范验证，以保证系统的完整与可靠。