人工智能答案[实用].pdfVIP

第二章 2.8 运行，举个实例 用你喜欢的语言实现 unify 算法 int main(){ coutconst:lowercase\tvarible:capital.endl;// 输入两个谓词公式 string f1,f2; coutintput F1:;cinf1; coutintput F2:; cinf2; vector transform mgu; if(syncretism(f1,f2,mgu))// 存在最一般合一，并输出结果 { coutmgu={; int i=0; for(i=0;imgu.size()-1;i++) coutmgu[i].t_f1/mgu[i].t_f2,; coutmgu[i].t_f1/mgu[i].t_f2}endl; } else //不存在最一般合一 { coutcannot be syncretizedendl; } return 0; } struct transform // 一组置换 { string t_f1; string t_f2; }; // 函数声明 bool syncretism(const string f1,const string f2, vectortransform );// 合一方法， 判断是否可进 行合一 bool same(const string f1,const string f2) ;// 判断两个谓词 f1 和 f2 是否相同 transform dif(const string f1,const string f2);// 求解 f1 和 f2 的差异集 string change(string f,transform q);// 该函数查找 t_f2 在 f 中的位置并用 t_f1 替代 f 中相应的 t_f2 int legal(transform );// 判断置换 t 是否合法 bool var(const string s);// 判断一个字符串是变量还是常量 string varData(string s);// 该函数是剥去外层括号 1 / 11 bool syncretism (const string tf1,const string tf2,vectortransform mgu){ string f1=tf1,f2=tf2; while(!same(f1,f2))//f1 与 f2 中的符号不完全相同时才进入 while 循环 { transform t=dif(f1,f2);// 得到 f1 和 f2 的一个差异集，并把它赋给 t int flag=legal(t); if(flag==0) return false; else{ mgu.push_back(t); f1=change(f1,mgu.back()); f2=change(f2,mgu.back()); if(same(f1,f2)) break;//f1 和 f2 相同时就停止循环 } } return true; } int