禽兽系统管理Word格式.docx
《禽兽系统管理Word格式.docx》由会员分享，可在线阅读，更多相关《禽兽系统管理Word格式.docx（16页珍藏版）》请在冰豆网上搜索。
动物有犬齿，且有爪，且眼盯前方
该动物是食肉动物
规则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”（信天翁）。
上述就是程序的推理过程，也是程序中的重点，该部分是由规则类（类rule）中的Query方法实现。
三、流程图及分析
主程序的流程主要是：
1、实例化各个类
2、初始化事实集
3、初始化规则集
4、使用规则对事实进行推导
规则类：
规则名只是用来表示规则的一个名称，前提链由前提类生成的单链表，结论则是存放结论断言编号，表示由该规则的到的结论在事实数组中的编号。
事件类：
事实号和规则数据和结论断言数据的数字相对应。
激活标志表示这个时候有没有被处理过。
断言这保存推理后的结论，在重复查询这个事实条件时不用反复询问用户。
四、关键代码
intrule:
:
Query（）
{
inti;
charc;
intTag=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->
continue;
GetSucc（））==false）returnfalse;
}//如果事实的断言为真则判断下一个前提，为假，则表示该规则不适合
else
GetSucc（））==true）returnfalse;
GetSucc（））==false）{L=L->
}
endl<
F->
GetName（）<
（Y/N）"
c=getchar（）;
//事实断言为不知道的时候，向用户询问
flushall（）;
if（（c=='
Y'
）||（c=='
y'
））
if（L->
F->
PutAct（1,true）;
//设置事实的断言和激活标志
GetNumber（）<
{
F->
Tag=-1;
returnfalse;
}
PutAct（-1,false）;
else
L=L->
}
for（;
if（Conc==F->
GetNumber（））break;
//查找结论断言对应的事实
F=F->
if（Conc<
24）
F->
returnfalse;
if（Tag!
=-1）
F=Fact;
for（;
if（Conc==F->
F=F->
if（Conc<
{
returnfalse;
}
cout<
\nThisanimalis"
GetName（）;
returntrue;
returnfalse;
};
五试验结论
通过这次试验和一些辅助书籍的阅读，加强了自己的阅读程序能力和编程的能力，而且动物识别专家系统，它用产生式规则来表示知识，可以改造他们，也可以加进新的规则，还可以用来识别其他东西的新规则来取代这些规则，运用到其它方面去。
总之，这次试验让我受益匪浅。
附件：
完整的源代码
#include<
string.h>
math.h>
stdio.h>
iostream.h>
#defineTrue1
#defineFalse0
#defineDontKnow-1
char*str[]={"
0};
intrulep[][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}};
intrulec[]={30,29,28,27,26,25,24,3,3,13,13,12,12,11,11,0};
classfact
{private:
intNumber;
charName[21];
intActive;
intSucc;
public:
fact*Next;
fact（intNum,char*L）
strcpy（Name,L）;
Number=Num;
Active=False;
//-1是已经推理，不符合。
1是已经推理，符合。
Succ=DontKnow;
//0是无，-1是不知道，1是有。
Next=NULL;
}
char*GetName（）
char*L;
L=newchar[21];
strcpy（L,Name）;
returnL;
intGetNumber（）
returnNumber;
intGetAct（）
returnActive;
intGetSucc（）
returnSucc;
voidPutAct（constintAct0,intSuc0）
Active=Act0;
Succ=Suc0;
};
fact*Fact;
classlist
list*Next;
list（intNum）
return
升级会员 