人工智能第三次实验报告1.实验名称：动物识别产生式系统2.实验目的：通过本实验让学生理解并体会知识的产生式表示以及推理策略，为以后设计并实现复杂的专家系统奠定基础。
3.实验内容：知识表示为产生式知识表示方法，设计并实现具有15条规则能自动识别7种动物的产生式系统。
规则1：如果：动物有毛发则：该动物是哺乳动物规则2：如果：动物有奶则：该动物是哺乳动物规则3:如果：该动物有羽毛则：该动物是鸟规则4：如果：动物会飞，且会下蛋则：该动物是鸟规则5：如果：动物吃肉则：该动物是肉食动物规则6：如果：动物有犬齿，且有爪，且眼盯前方则：该动物是食肉动物规则7：如果：动物是哺乳动物，且有蹄则：该动物是有蹄动物规则8：如果：动物是哺乳动物，且是反刍动物则：该动物是有蹄动物规则9：如果：动物是哺乳动物，且是食肉动物，且是黄褐色的，且有暗斑点则：该动物是豹规则10：如果：动物是黄褐色的，且是哺乳动物，且是食肉，且有黑条纹则：该动物是虎规则11：如果：动物有暗斑点，且有长腿，且有长脖子，且是有蹄类则：该动物是长颈鹿规则12：如果：动物有黑条纹，且是有蹄类动物则：该动物是斑马规则13：如果：动物有长腿，且有长脖子，且是黑色的，且是鸟，且不会飞则：该动物是鸵鸟规则14：如果：动物是鸟，且不会飞，且会游泳，且是黑色的则：该动物是企鹅规则15：如果：动物是鸟，且善飞则：该动物是信天翁例如:该系统输入：有奶吃肉黑色条纹黄褐色系统输出：是虎4.实验代码#include <string.h>#include <math.h>#include <stdio.h>#include <iostream.h>char *FacAndRes[]={"反刍","蹄类","哺乳类","眼向前方", "有爪","犬齿","吃肉","会下蛋","会飞","有羽毛","有蹄","食肉动物","鸟类","能产奶","有毛发","善飞","黑白色条纹","会游泳","长腿","长脖子","黑条纹","黑斑点","黄褐色","信天翁","企鹅","驼鸟","斑马","长颈鹿","虎","豹",0};int rulePilcine[][6]={{22,23,12,3,0,0},{21,23,12,3,0,0},{22,19,20,11,0,0}, {21,11,0,0,0,0},{17,19,20,13,-9,0},{17,18,13,-9,0,0},{16,13,0,0,0,0}, {15,0,0,0,0,0},{14,0,0,0,0,0},{10,0,0,0,0,0},{8,7,0,0,0,0},{7,0,0,0,0,0},{4,5,6,0,0,0},{2,3,0,0,0,0},{1,3,0,0,0,0}};int rc[]={30,29,28,27,26,25,24,3,3,13,13,12,12,11,11,0};//断言编号数组class fact{private:int number;char name[21];int act;int suc;public:fact *next;fact(int num,char *L){strcpy(name,L);number=num;act=0;suc=-1;next=NULL;}char *getName(){char *L;L=new char[21];strcpy(L,name);return L;}int getNumber(){return number;}int getAct(){return act;}int getSuc(){return suc;}void putAct(const int tempAct,int tempSuc) {act=tempAct;suc=tempSuc;}};fact *f;class List{private:int number;public:List *next;List(int num){number=num;next=NULL;}int getNumber(){return number;}class rule{char *name;List *Pre;int con;public:rule *next;rule(char *N,int P[],int C);~rule();int query();void getName(){cout<<name;}};rule::~rule(){List *L;while(Pre){L=Pre->next;delete Pre;Pre=L;}delete name;}rule::rule(char *N,int P[],int C) {int i;List *L;Pre=NULL;next=NULL;name=new char[strlen(N)+1]; strcpy(name,N);i=0;while(P[i]!=0){L=new List(P[i++]);L->next=Pre;Pre=L;}con=C;int rule::query(){char c;int Tag=0;List *L;fact *F;F=f;L=Pre;if(L==NULL)cout<<"\nError";while(L!=NULL){F=f;for(;;){if(abs(L->getNumber())==F->getNumber()) break;F=F->next;}if(L->getNumber()>0){if((F->getSuc())==true) {L=L->next;continue;} if((F->getSuc())==false) return false;}else{if((F->getSuc())==1)return 0;if((F->getSuc())==0){L=L->next;continue;}}cout<<F->getName()<<"(Y/N)"<<endl;c=getchar();flushall();if((c=='Y')||(c=='y')){if(L->getNumber()>0)F->putAct(1,1);if(L->getNumber()<0){F->putAct(1,1);Tag=-1;return 0;}}else{if(L->getNumber()<0)F->putAct(-1,0);else{F->putAct(-1,0);Tag=-1;return 0;}}L=L->next;}F=f;for(;;){if(con==F->getNumber()) break;F=F->next;}if(con<24){F->putAct(1,1);return 0;}if(Tag!=-1){F=f;for(;;){if(con==F->getNumber()) break;F=F->next;}if(con<24){F->putAct(1,1);return 0;}cout<<"\n这个动物是"<<F->getName()<<endl; return 1;}return 0;}int main(){fact *F,*T;rule *r1,*r2;char ch[8];int i=1;f=NULL;while(FacAndRes[i-1]){F=new fact(i,FacAndRes[i-1]);F->next=f;f=F;i++;}F=f;f=NULL;while(F){T=F;F=F->next;T->next=f;f=T;}i=0;r1=NULL;for(i=0;i<15;i++){r2=new rule(ch,rulePilcine[i],rc[i]);r2->next=r1;r1=r2;ch[5]++;}r2=r1;for(;;){i=r2->query();if((i==1)||(i==-1))break;r2=r2->next;if(!r2)break;}if(!r2)cout<<"没有这种动物."<<endl;getchar();return 1;}5.实验结果：6实验心得：通过本次实验深刻体会到产生式推理的魅力，推理的过程已经基本了解和掌握，对代码的控制输出表达能力也有了很大的提高，流程的控制加深了我对逻辑控制的体会和强化。
