人工智能-合一算法(C++)

人工智能第1次作业一般合一算法（C++实现）姓名：佟学号：201224班级：12计本非师学院：信息学院简单程序如下#include<iostream>#include<string>#include<vector>usingnamespacestd;intiC=0;//标记公式集中括号匹配数classSyncretism{private:structTransform{//一个代换(差异集)stringt_f1;stringt_f2;};public:boolIssyn(stringf1,stringf2,vector<Transform>&t);//是否能合一Transformdifferent(conststringf1,conststringf2)//求差异集{inti=0;Transformt;while(f1.at(i)==f2.at(i))i++;intj1=i;while(j1<f1.length()-1&&f1.at(j1)!=',')j1++;if(j1-i==0)returnt;t.t_f1=f1.substr(i,j1-i);intj2=i;while(j2<f2.length()-1&&f2.at(j2)!=',')j2++;if(j2-i==0)returnt;t.t_f2=f2.substr(i,j2-i);while(t.t_f1[j1-i-1]==t.t_f2[j2-i-1]){t.t_f1.erase(j1-1-i);t.t_f2.erase(j2-i-1);j1--;j2--;}returnt;}boolsame(conststringf1,conststringf2);//判断两个公式是否相同stringchange(stringf,Transformt);//用代换q对公式f进行合一代换boollegal(Transform&t);//intvar(conststrings);//s中每个()内的子串是变量还是常量voidshow();//最终演示算法};boolSyncretism::Issyn(stringf1,stringf2,vector<Transform>&lan){while(!same(f1,f2)){Transformt=different(f1,f2);boolflag=legal(t);if(!flag)returnfalse;else{lan.push_back(t);//将t加入vectorlan中if(flag){f1=change(f1,lan.back());//用lan的最后一个元素代换f2=change(f2,lan.back());cout<<"变换后:"<<endl;cout<<"f1:"<<f1<<endl;cout<<"f2:"<<f2<<endl<<endl;}if(same(f1,f2))break;}}returntrue;}boolSyncretism::same(conststringf1,conststringf2){if(pare(f2)==0)returntrue;elsereturnfalse;}stringSyncretism::change(stringf,Transformt){inti=f.find(t.t_f2);while(i<f.length())三、程序的实现Transform中的t_f1，t_f2分别表示差异集中的两个字符串。Vector变量lan存放合一的集合。函数功能Issyn()判断两个公式是否相同。different()求差异集。change()用代换对公式进行合一代换。legal()对t_f1,t_f2判断然后对换并判断是否为合一字符串same()判断两个公式是否相同。var()字符串每个()内的子串是变量还是常量。show()最终演示算法函数。四、具体程序执行程序执行时先输入公式集中的公式然后调用Issyn函数判断是否能合一如果不能则退出，如果能判断公式是否相同相同则合一是ε。不是则进一步判断。调用different函数找出差异集放在vector变量lan中再调用legal函数和var函数判断合一时到底哪个是变量