人工智能作业

人工智能大作业
动物识别系统
班级：信息管理与信息系统
学号：06091034
姓名：于刚
一设计思路
动物识别专家系统是流行的专家系统实验模型，它用来产生式规则表示知识，共15条规则、可以识别七种动物，这些规则既少又简单，可以改造他们，也可以加进新的规则，还可以用来识别其他东西的新规则来取代这些规则。

动物识别15条规则的中文表示是：
规则1：
如果：动物有毛发
则：该动物是哺乳动物
规则2：
如果：动物有奶
则：该单位是哺乳动物
规则3:
如果：该动物有羽毛
则：该动物是鸟
规则4：
如果：动物会飞，且会下蛋
则：该动物是鸟
规则5：
如果：动物吃肉
则：该动物是肉食动物
规则6：
如果：动物有犬齿，且有爪，且眼盯前方
则：该动物是食肉动物
规则7：
如果：动物是哺乳动物，且有蹄
则：该动物是有蹄动物
规则8：
如果：动物是哺乳动物，且是反刍动物
则：该动物是有蹄动物
规则9：
如果：动物是哺乳动物，且是食肉动物，且是黄褐色的，且有暗斑点
则：该动物是豹
规则10：
如果：如果：动物是黄褐色的，且是哺乳动物，且是食肉，且有黑条纹
则：该动物是虎
规则11：
如果：动物有暗斑点，且有长腿，且有长脖子，且是有蹄类
则：该动物是长颈鹿
规则12：
如果：动物有黑条纹，且是有蹄类动物
则：该动物是斑马
规则13：
如果：动物有长腿，且有长脖子，且是黑色的，且是鸟，且不会飞
则：该动物是鸵鸟
规则14：
如果：动物是鸟，且不会飞，且会游泳，且是黑色的
则：该动物是企鹅
规则15：
如果：动物是鸟，且善飞
则：该动物是信天翁
动物分类专家系统由15条规则组成，可以识别七种动物，在15条规则中，共出现 30个概念（也称作事实），共30个事实，每个事实给一个编号，从编号从1到30，在规则对象中我们不存储事实概念，只有该事实的编号，同样规则的结论也是事实概念的编号，事实与规则的数据以常量表示，其结构如下：
Char *str{}={"chew_cud","hooves","mammal","forward_eyes","claws",
"pointed_teeth","eat_meat","lay_eggs","fly","feathers","ungulate",
"carnivore","bird","give_milk","has_hair","fly_well",
"black&white_color","can_swim","long_legs","long_neck",
"black_stripes","dark_spots","tawny_color","albatross",
"penguin","ostrich","zebra","giraffe","tiger","cheetah","\0"}
程序有编号序列的方式表达了产生式规则，如资料中规则15，如果动物是鸟，且善飞，则该动物是信天翁。

相应的规则数组第七条是{16，13，0，0，0，0}，第十三个是“bird”（鸟），如果事实成立，询问使用者下一个事实，第十六个“fly_weil”（善飞），如果也成立，则查找结论断言编号数组{30,29,28,27,26,25,24,3,3,13,12,12,11,11,0}中第七个“24”，这里24对应事实数组中的“albatross”（信天翁）。

二源代码
int rule::Query()
{
int i;
char c;
int Tag=0;
list *L;
fact *F;
F=Fact;
L=Pre;
if(L==NULL)
cout<<"\nError";
while(L!=NUll)
{
F=Fact;
for(;;)
{
if(abs(L->GetNumber())==F->GetNumber())
break;
F=F->Next;
}
if(L->GetNumber()>0)
{
if((F->GetSucc())==true) {L=L->Next;continue;}
if((F->GetSucc())==false) return false;
}
else
{
if((F->GetSucc())==true) return false;
if((F->GetSucc())==false) {L=L->Next;continue;} }
cout<<ENDL<GetName()<<"(Y/N)";
c=getchar();
flushall();
if((c=='Y')||(c=='y'))
{
if(L->GetNumber()>0)
F->PutAct(1,true); //设置事实的断言和激活标志if(L->GetNumber()<0)
{
F->PutAct(1,true);
Tag=-1;
return false;
}
}
else
{
if(L->GetNumber()<0)
F->PutAct(-1,false);
else
{
F->PutAct(-1,false);
Tag=-1;
return false;
}
}
L=L->Next;
}
F=Fact;
for(;;)
{
if(Conc==F->GetNumber()) break; //查找结论断言对应的事实
F=F->Next;
if(Conc<24)
{
F->PutAct(1,true);
return false;
}
if(Tag!=-1)
F=Fact;
for(;;)
{
if(Conc==F->GetNumber()) break;
F=F->Next;
}
if(Conc<24)
{
F->PutAct(1,true);
return false;
}
cout<<"\nThis animal is"<GetName();
return true;
}
return false;
};
三运行结果。