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

人工智能第1次作业一般合一算法（C++实现）姓名：佟学号：201224 班级：12计本非师学院：信息学院一、简单程序如下#include <iostream>#include <string>#include <vector>using namespace std;int iC=0; //标记公式集中括号匹配数class Syncretism{private:struct Transform{ // 一个代换(差异集)string t_f1;string t_f2;};public:bool Issyn(string f1,string f2, vector<Transform> &t ); //是否能合一Transform different(const string f1,const string f2) //求差异集{int i=0;Transform t;while(f1.at(i)==f2.at(i))i++;int j1=i;while(j1<f1.length()-1&&f1.at(j1)!=',')j1++;if(j1-i==0) return t;t.t_f1=f1.substr(i,j1-i);int j2=i;while(j2<f2.length()-1&&f2.at(j2)!=',')j2++;if(j2-i==0) return t;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--;}return t;}bool same(const string f1,const string f2) ; // 判断两个公式是否相同string change(string f,Transform t); //用代换q 对公式f 进行合一代换bool legal(Transform &t); //int var(const string s); //s 中每个()内的子串是变量还是常量void show();//最终演示算法};bool Syncretism::Issyn(string f1,string f2,vector<Transform> &lan) {while(!same(f1,f2)){Transform t=different(f1,f2);bool flag=legal(t);if(!flag)return false;else{lan.push_back(t); //将t 加入vector lan 中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;}}return true;}bool Syncretism::same(const string f1, const string f2){if(pare(f2)==0) return true;else return false;}string Syncretism::change(string f,Transform t){int i=f.find(t.t_f2);while(i<f.length()){i=f.find(t.t_f2);if(i<f.length())f=f.replace(i,t.t_f2.length(),t.t_f1);}return f;}bool Syncretism::legal(Transform &t){if(t.t_f1.length()==0||t.t_f2.length==0)return false;else if(var(t.t_f1)==0||var(t.t_f2)==0) return false;else if(var(t.t_f1)==1&&var(t.t_f2)==1&&t.t_pare(t.t_f2)!=0) return false;else if(var(t.t_f1)==2){if(var(t.t_f2)==1){string temp=t.t_f1; //变量常量交换位置t.t_f1=t.t_f2;t.t_f2=temp;}else{int i1=var(t.t_f2);i1=iC;iC=0;int i2=var(t.t_f1);i2=iC;if(i1<i2){string temp=t.t_f1; //变量常量交换位置t.t_f1=t.t_f2;t.t_f2=temp;}}return true;}elsereturn true;}int Syncretism::var(const string s){if(s.length()==0) return 0; //空if(s.length()==1&&s[0]>='a'&&s[0]<='g') return 1; //常量if(s.length()>1){int i=0;while(i<s.length()&&s.at(i)!='(')i++;iC++;string ss=s.substr(i+1,s.length()-i-2); //抽取s 中的匹配的()中的子串return var(ss);}else return 2;}void Syncretism::show(){cout<<"常量:形如a,b,c,d(a-g)等"<<endl<<"变量:形如x,y,z,u 等"<<endl; string f1,f2;cout<<"输入 F1:";cin>>f1;cout<<"输入 F2:";cin>>f2;vector <Transform> lan;if(Issyn(f1,f2,lan)){if(same(f1,f2)) //如果f1,f2 相同则合一为ε{cout<<"合一σ =ε "<<endl;return ;}cout<<"合一σ ={ ";for(int i=0;i<lan.size()-1;i++)cout<<lan[i].t_f1<<"/"<<lan[i].t_f2<<",";cout<<lan[i].t_f1<<"/"<<lan[i].t_f2<<" }"<<endl;}elsecout<<"不能进行合一"<<endl;}int main(){Syncretism Sy;Sy.show();return 0;}二、演示结果三、程序的实现Transform 中的t_f1，t_f2 分别表示差异集中的两个字符串。

Vector 变量lan 存放合一的集合。

函数功能Issyn() 判断两个公式是否相同。

different() 求差异集。

change() 用代换对公式进行合一代换。

legal() 对t_f1,t_f2 判断然后对换并判断是否为合一字符串same() 判断两个公式是否相同。

var() 字符串每个()内的子串是变量还是常量。

show() 最终演示算法函数。

四、具体程序执行程序执行时先输入公式集中的公式然后调用Issyn 函数判断是否能合一如果不能则退出，如果能判断公式是否相同相同则合一是ε。

不是则进一步判断。

调用different 函数找出差异集放在vector变量 lan 中再调用legal 函数和var 函数判断合一时到底哪个是变量哪个是常量t_f1 存放常量t_f2 存放变量不符合则进行交换，在用t_f1 代换调公式中的t_f2进行下一轮的比较寻找差异集然后判断再代换。

每次差异集都添加到lan 中最后输出lan 中的元素。