学步园

#include "iostream.h"
#include "stdio.h"
#include "conio.h"
#include "string.h"

typedef struct Rule//第一规则库
{
 char Condition[6][20];
 char Result[20];
 int  Cnum;
 bool used;
}rule;

typedef struct Fact//定义事实库
{
 char item[20][20];
 int  Fnum;
}fact;

rule r[100];
fact f;

void Create_Rules();//初始化规则库
void Create_Facts();//初始化事实库
int  Get_RulesNum();
void Ratiocinate(int n);

void main()
{
 int Rnum=0;
 Create_Rules();
 Create_Facts();
 Rnum=Get_RulesNum();
 //cout<<Rnum<<endl;
 Ratiocinate(Rnum);

}

void Create_Rules()
{
 strcpy(r[0].Condition[0],"产奶");
 strcpy(r[0].Result,"哺乳动物");
 r[0].Cnum=1;
 r[0].used=false;
 
 strcpy(r[1].Condition[0],"有毛发");
 strcpy(r[1].Result,"哺乳动物");
 r[1].Cnum=1;
 r[1].used=false;

 strcpy(r[2].Condition[0],"有羽毛");
 strcpy(r[2].Result,"鸟");
 r[2].Cnum=1;
 r[2].used=false;

 strcpy(r[3].Condition[0],"会飞");
 strcpy(r[3].Condition[1],"生蛋");
 strcpy(r[3].Result,"鸟");
    r[3].Cnum=2;
 r[3].used=false;

 strcpy(r[4].Condition[0],"哺乳动物");
 strcpy(r[4].Condition[1],"有抓");
 strcpy(r[4].Condition[2],"有齿");
 strcpy(r[4].Condition[3],"眼睛前视");
  strcpy(r[4].Result,"食肉动物");
 r[4].Cnum=4;
 r[4].used=false;

 strcpy(r[5].Condition[0],"哺乳动物");
 strcpy(r[5].Condition[1],"吃肉");
 strcpy(r[5].Result,"食肉动物");
 r[5].Cnum=2;
 r[5].used=false;

 strcpy(r[6].Condition[0],"哺乳动物");
 strcpy(r[6].Condition[1],"有蹄");
 strcpy(r[6].Result,"有蹄动物");
 r[6].Cnum=2;
 r[6].used=false;

 strcpy(r[7].Condition[0],"有蹄动物");
 strcpy(r[7].Condition[1],"反刍");
 strcpy(r[7].Result,"偶蹄动物");
 r[7].Cnum=2;
 r[7].used=false;

 strcpy(r[8].Condition[0],"食肉动物");
 strcpy(r[8].Condition[1],"黄褐色");
 strcpy(r[8].Condition[2],"有黑色条纹");
 strcpy(r[8].Result,"老虎");
 r[8].Cnum=3;
 r[8].used=false;
 
 strcpy(r[9].Condition[0],"食肉动物");
 strcpy(r[9].Condition[1],"黄褐色");
 strcpy(r[9].Condition[2],"有黑色斑点");
 strcpy(r[9].Result,"金钱豹");
 r[9].Cnum=3;
 r[9].used=false;

 strcpy(r[10].Condition[0],"有蹄动物");
 strcpy(r[10].Condition[1],"长腿");
 strcpy(r[10].Condition[2],"长颈");
 strcpy(r[10].Condition[3],"有暗斑点");
 strcpy(r[10].Condition[4],"黄褐色");
 strcpy(r[10].Result,"长颈鹿");
 r[10].Cnum=5;
 r[10].used=false;

 strcpy(r[11].Condition[0],"有蹄动物");
 strcpy(r[11].Condition[1],"白色");
 strcpy(r[11].Condition[2],"有黑色条纹");
 strcpy(r[11].Result,"斑马");
 r[11].Cnum=3;
 r[11].used=false;

 strcpy(r[12].Condition[0],"鸟");
 strcpy(r[12].Condition[1],"不会飞");
 strcpy(r[12].Condition[2],"长腿");
 strcpy(r[12].Condition[3],"长颈");
 strcpy(r[12].Condition[4],"黑白色");
 strcpy(r[12].Result,"鸵鸟");
 r[12].Cnum=5;
 r[12].used=false;

 strcpy(r[13].Condition[0],"鸟");
 strcpy(r[13].Condition[1],"不会飞");
 strcpy(r[13].Condition[2],"会游泳");
 strcpy(r[13].Condition[3],"黑白色");
 strcpy(r[13].Result,"企鹅");
 r[13].Cnum=4;
 r[13].used=false;

 strcpy(r[14].Condition[0],"鸟");
 strcpy(r[14].Condition[1],"会飞");
 strcpy(r[14].Condition[2],"不怕风浪");
 strcpy(r[14].Result,"海燕");
 r[14].Cnum=3;
 r[14].used=false;
}

void Create_Facts()
{
   strcpy(f.item[0],"有毛发");
   strcpy(f.item[1],"有蹄");
   strcpy(f.item[2],"长腿");
   strcpy(f.item[3],"长颈");
   strcpy(f.item[4],"有暗斑点");
   strcpy(f.item[5],"黄褐色");
   f.Fnum=6;
}

int Get_RulesNum()
{
 int num=0;
 int i=0;
    while(1)
 {
  if(r[i].Condition[0][0]=='\0')
  {
           break;
  }
        i++;
  num++;
 }
    return num;
}

void Ratiocinate(int n)
{
 bool FindFact(char * str);
 void InsertIntoFact(char * str);

 int i=0,j;/// i用来控制查找的是第几条规则，j用来控制查找的规则中的第即条
 while(1)
 {
  if(r[i].used==false)
  {
        for(j=0;j<r[i].Cnum;j++)
     {
     if(FindFact(r[i].Condition[j]))
     {
      continue;
     }
     else
     {
      cout<<"规则"<<i+1<<"匹配失败"<<endl;
      break;
     }
     }
  }
  if(j==r[i].Cnum) ///如果所有的前件都满足
  {
         r[i].used=true; 
   cout<<"规则"<<i+1<<"匹配成功,结论插入到事实库"<<endl;
   if(!FindFact(r[i].Result))
   {
     InsertIntoFact(r[i].Result);///插入事实
     cout<<"新增加的事实为："<<f.item[f.Fnum-1]<<endl;
   }
         i=0;
   //continue;
  }
        else i++;//查看下条规则
   if(i==n)
  {
   cout<<"没有你要找符合要求的动物，请增加新的规则"<<endl;
   break;
  }
  else if(strcmp(f.item[f.Fnum-1],"老虎")==0||strcmp(f.item[f.Fnum-1],"金钱豹")==0||strcmp(f.item[f.Fnum-1],"长颈鹿")==0||strcmp(f.item[f.Fnum-1],"斑马")==0||strcmp(f.item[f.Fnum-1],"鸵鸟")==0||strcmp(f.item[f.Fnum-1],"企鹅")==0||strcmp(f.item[f.Fnum-1],"海燕")==0)
  {
   cout<<"与你给的事实匹配的动物："<<f.item[f.Fnum-1]<<endl;
   break;
  }
 }

}

//查看事实库中的事实否否等于前件，或者是存在这条事实，那么新的结论就不用加到事实库中
bool FindFact(char * str)
{
 int i;
 for(i=0;i<f.Fnum;i++)
 {
  if(strcmp(f.item[i],str)) continue;
  else return true;
 }
 return false;

}

//插入新的事实
void InsertIntoFact(char * str)
{
 strcpy(f.item[f.Fnum],str);
 f.Fnum++;
}

非常简单的功能，主要是要体现出人工智能规则正向演绎系统简单演示和算法！