【合一智能加速部件的研究-合一加速器HUB的设计与实现】.pdf
摘要 要 逻辑确定性、丰富的表达能力等特点,一直受到国际AI界的 高度重视,在知识信息处理领域有着广泛的应用同时经测试,在 PR0L0G的问题求解过程中,合一操作占了50 一70 的时间开销,因此 提高合一操作的效率就意味着提高PR0LOG系统的执行效率,本文详细分析了三种合一算法:Robinson、OLU、NUnify,并选用 了其中的面向硬件实现的包含无限项的优化合一算法NUnify.
目录 4 4录目 合一算法分析 合一算法中的概念与术语 ROBINSON合一算法 有序线性合一算法OLU 一个包含无限项的优化线性合一算法NUnify.HUB中的合一算法和数据结构 HUB硬件结构 386系统1/0接口简介 HUB控制器 指令寄存器IR 类型码寄存器TR.微程序控制器AM2910A.控制存储器WCS.微指令流水线寄存器PL 合一状态寄存器SR.
第二章合一算法分析 第二章合一算法分析 项:PR0L0G的基本数据结构是项我们可以递归地定义如下:若t1,t2,tn是项,f是n元函数符号.则f(t1,tn)是项,PROLOG语句:它是以HORN子句为基础的语句,有三种类型:规则:R0(t01,t02,t0no):-R1(t11,,t1n),询间:-θ1(t1l,tin),Qq(tq1,tqna) 替换:或称变量替换,是一个从变量到项的映射,它表示为一个由偶 对(vi,ti)所组成的集合,(vi,ti)丨vi为变量,ti为项,1<=i<=n),习惯上 表示成(v1/t1[wshop_paid show_buy_btn="true"]