合一算法.pdfVIP

合一算法 Unification 詹卫东 zwd@pku.edu.cn NUMBER SG F= 特征结构的扩展表示 PERSON 3 CONTENTS SG NUMBER POINTER NULL CONTENT CONTENTS 3 F= PERSON POINTER NULL POINTER NULL 特征结构的数据表示 为在合一运算中统一表达不同的特征结构，原特征结构进行如下改造： （1）每个特征结构由两个字段content和pointer构成。 （2 ）对于原特征结构F 的一个特征项和特征值对儿[A:V]， 如果V为原子或另一个特征结构，则新的特征结构（NF ）为： content : A content : V pointer: null pointer: null 如果V为一个跟其他特征共享值的特征结构，则新的特征结构（NF ）为： content : null content: A V-pointer指向v 的共享值，通常 pointer: [V-pointer] 用①②……等表示。 pointer: null NUMBER SG 3 PERSON CONTENT SG NUMBER POINTER CONTENT NULL CONTENT 3 PERSON NULL POINTER NULL POINTER function UNIFY(f1, f2) 合一算法 1. f1-real ←f1.content 2. f2-real ←f2.content 3. if f1-real is null then 4. f1.pointer ←f2 5. return f2 6. else if