下载文档原格式
用python做归结演绎推理归结演绎推理是一种常用的逻辑推理方式，可以用Python实现。
下面我们将介绍Python如何实现归结演绎推理。
归结演绎推理基于逆否命题原理，即若一个命题的逆否命题成立，则该命题也成立。
首先，我们需要定义元素和谓词。
元素是指所涉及的对象，谓词则是描述元素的属性。
例如，元素可以是“苹果”，谓词是“红色”。
接下来，我们需要定义规则集合。
规则是对元素和谓词之间的关系进行描述的语句。
例如，“苹果是红色的”可以表示为规则。
规则集合由多个规则组成，它们共同描述一个问题的特征。
下一步是定义问题的查询语句。
查询语句是指用户想要得出结论的问题。
例如，查询“这个苹果是否是红色的？”就是一个查询语句。
最后，我们将使用Python实现归结演绎推理算法。
该算法通过对规则进行逆否命题，从而向前推导并验证查询语句。
具体实现过程如下：1. 定义元素和谓词：```element = ['苹果', '橙子', '白菜']predicate = ['红色', '橙色', '绿色']```2. 定义规则集合：```rules = [('苹果', '红色'), ('橙子', '橙色'), ('白菜', '绿色')] ```3. 定义逆否命题函数：```def inverse(pred):if "不" in pred:pred = pred[1:]else:pred = "不" + predreturn pred```4. 定义归结函数：```def resolution(goal):new_goal = inverse(goal)while True:flag = Falsefor rule in rules:if rule[1] == new_goal:new_goal = rule[0]flag = Trueif not flag:breakif new_goal == goal:return Trueelse:return False```5. 最终推理过程：```# 查询“这个苹果是否是红色的？”goal = ("苹果", "红色")if resolution(goal):print("是的，这个苹果是红色的！") else:print("不是的，这个苹果不是红色的！") ```至此，我们已经成功实现了用Python进行归结演绎推理的过程。
#include<iostream.h>#include<string.h>#include<stdio.h>#define null 0typedef struct{char var;char *s;}mgu;void strreplace(char *string,char *str1,char *str2) {char *p;while(p=strstr(string,str1)){int i=strlen(string);int j=strlen(str2);*(string+i+j-1)='\0';for(int k=i-1;(string+k)!=p;k--)*(string+k+j-1)=*(string+k);for(i=0;i<strlen(str2);i++)*(p++)=*(str2+i);}}void sort(mgu *u,int count){int j=count;int k=j;if(count==1)return;for(int i=1;i<count;i++){if(!((u+i)->s))continue;if((u+i)->var==(u+j)->var){delete (u+j)->s;(u+j)->s=null;k--;j=i;}if(((u+i)->s)&&((u+i)->var==*((u+i)->s))) {delete (u+i)->s;(u+i)->s=null;k--;}}j=count;if(k==j)return;count=k;for(int i=1;i<j&&k>0;i++){if((u+i)->s)continue;while(!((u+j)->s))j--;(u+i)->var= (u+j)->var;(u+i)->s= (u+j)->s;(u+j)->s=null;k--;}cout<<"gjvjkhllknkln";}class unifier{char *string;mgu unit[50];int count;public:int num;unifier();void input();int differ(int n);int change(int i,int j,int n);void print();~unifier(){delete string;}};unifier::unifier(){count=0;unit[0].s=null;}void unifier::input(){cout <<endl<< "请输入原子谓词公式的个数(输入0退出) "; cin>>num;string=new char[num*50];cout<<"请注意:公式的输入不能出错!"<<endl;for(int j=1;j<=num;j++){cout << "请输入第" << j << "个原子谓词公式(字符个数不超过50个)" <<endl; cin>>(string+(j-1)*50);}}int unifier::change(int i,int j,int n){char temp[2][10];temp[0][0]=string[i++];temp[1][0]=string[j++];if(string[i]!='(')temp[0][1]='\0';else{int k=1,flag=1;temp[0][k++]=string[i++];while((flag!=0)&&k<10){if(string[i]=='(')flag++;else if(string[i]==')')flag--;temp[0][k++]=string[i++];}temp[0][k]='\0';}temp[1][1]='\0';if(strlen(temp[1])==1){if(strstr(temp[0],temp[1]))return 2;strreplace(string+n*50,temp[1],temp[0]);strreplace(string+(n+1)*50,temp[1],temp[0]);count++;int m=count;unit[m].var=temp[1][0];char *p=new char[strlen(temp[0])+1];unit[m].s=p;strcpy(p,temp[0]);}return 1;}int unifier::differ(int n){int i=n*50,j=(n+1)*50;while((string[i]!='\0')&&(string[j]!='\0')&&(string[i]==string[j])) {i++;j++;}if(string[i]=='\0'||string[j]=='\0')return 1;int k;if(string[i+1]=='(')k=change(i,j,n);else if(string[j+1]=='(')k=change(j,i,n);else if(string[j]=='x'||string[j]=='y'||string[j]=='z'||string[j]=='u'|| string[j]=='v'||string[j]=='w')k=change(i,j,n);elsek=change(j,i,n);if(k==2)return k;j=count;char c[2],*p;for(i=1;i<j;i++){c[0]=unit[j].var;c[1]='\0';if(!strstr(unit[i].s,c))continue;p=new char[strlen(unit[j].s)+strlen(unit[i].s)+1];strcpy(p,unit[i].s);strreplace(p,c,unit[j].s);delete unit[i].s;unit[i].s=p;}sort(unit,count);return 0;}void unifier::print(){cout <<"The MGU is ";for(int i=1;i<count+1;i++){cout <<(unit[i]).s<<"/"<<unit[i].var;if(i<count)cout<<",";}}int once(){unifier form;form.input();if(form.num<2){cout<<"The MGU is empty!"<<endl;return form.num;}int k=form.differ(0);if(k==1&&form.num==2){cout<<"The MGU is empty!"<<endl;return form.num;}if(k==2){cout<<"The MGU is not exist!"<<endl;return form.num;}else if(k==0&&form.num==2){while(k!=1){k=form.differ(0);if(k==2){cout<<"The MGU is not exist!"<<endl;return form.num;}}form.print();return form.num;}for(k=0;k<form.num-1;k++){if(form.differ(k)==2){cout<<"The MGU do not exist!"<<endl;return form.num; }}form.print();}int main(){int i=once();while(i!=0)i=once(); return 0;}。
