实验一: 动物识别专家系统设计
一、实验目的与要求
1、掌握专家系统的基本构成
2、掌握用人工智能程序设计语言编制智能程序的方法
二、实验内容
1、所选编程语言:C 语言;
2、拟订的规则:
规则 1:如果:动物有毛发
则 :该动物是哺乳动物
规则 2:
如果:动物有奶
则 :该单位是哺乳动物
规则 3:
如果:该动物有羽毛
则 :该动物是鸟
规则 4:
如果:动物会飞,且会下蛋
则 :该动物是鸟
规则 5:
如果:动物吃肉
则 :该动物是肉食动物
规则 6:
如果:动物有犬齿,且有爪,且眼盯前方
则 :该动物是食肉动物
规则 7:
如果:动物是哺乳动物,且有蹄
则 :该动物是有蹄动物
规则 8:
如果:动物是哺乳动物,且是反刍动物
则 :该动物是有蹄动物
规则 9:
如果:动物是哺乳动物,且是食肉动物,且是黄褐色的,且有暗斑点
则 :该动物是豹
规则 10:
如果:如果:动物是黄褐色的,且是哺乳动物,且是食肉,且有黑条纹
则 :该动物是虎
规则 11:
如果:动物有暗斑点,且有长腿,且有长脖子,且是有蹄类
则 :该动物是长颈鹿
规则 12:
如果:动物有黑条纹,且是有蹄类动物
则 :该动物是斑马
规则 13:
如果:动物有长腿,且有长脖子,且是黑色的,且是鸟,且不会飞
则 :该动物是鸵鸟
规则 14:
如果:动物是鸟,且不会飞,且会游泳,且是黑色的
则 :该动物是企鹅
规则 15:
如果:动物是鸟,且善飞
则 :该动物是信天翁
三、实验原理
用户界面:采用问答形式;
知识库(规则库):存放产生式规则,推理时用到的一般知识和领域知识,比如动物的特征,动物的分
类标准,从哺乳动物、食肉动物来分,再具体地添加一些附加特征得到具体动物;建立知识库的同时也建
立了事实库。事实库是一个动态链表,一个事实是链表的一个结点。知识库通过事实号与事实库发生联系。
数据库:用来存放用户回答的问题,存放初始状态,中间推理结果,最终结果;
1
推理机:采用正向推理,推理机是动物识别的逻辑控制器,它控制、协调系统的推理,并利用知识库
中的规则对综合数据库中的数据进行逻辑操作。推理机担负两项基本任务:一是检查已有的事实和规则,
并在可能的情况下增加新的事实;二是决定推理的方式和推理顺序。将推理机制同规则对象封装在一起,
事实对象记录了当前的状态,规则对象首先拿出前提条件的断言(只有这些前提都有符合时才会做这条规
则的结论),询问事实对象集,如事实对象集不知道,则询问用户,如所有前提条件都被证实为真则结论
为真,否则系统不知道结论真假。
四、实验步骤
(1)知识获取:
黄褐色
金钱豹
长颈鹿
有黑色条纹
食肉动物
有黑色斑点
有蹄动物
有蹄
有爪
有犬齿
目盯前方
有奶
有毛发
吃肉
长腿
(2)知识表示:
提示:
动物分类专家系统由 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","h
as_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_well”(善飞),如果也成立,则查找结论断言编号数组{30,29,28,27,26,
25,24,3,3,13,12,12,11,11,0}中第七个“24”,这里 24 对应事实数组中的“albatross”(信天翁)。
(3)推理机设计:
正向推理原理:
正向推理又称数据驱动推理,是按照由条件推出结论的方向进行的推理方式,它从一组事实出发,使
用一定的推理规则,来证明目标事实或命题的成立。一般的推理过程是先向综合数据库提供一些初始已知
事实,控制系统利用这些数据与知识库中的知识进行匹配,被触发的知识,将其结论作为新的事实添加到
2
综合数据库中。重复上述过程,用更新过的综合数据库中的事实再与知识库中另一条知识匹配,将其结论
更新至综合数据库中,直到没有可匹配的新知识和不再有新的事实加入到综合数据库中为止。然后测试是
否得到解,有解则返回解,无解则提示运行失败。
正向推理的步骤
1) 将用户提供的初始已知事实送入综合数据库;
2) 检查综合数据库中是否已经包含问题的解,若有则求解结束,否则执行下一步;
3)将初始已知事实与知识库中的知识做匹配,若有,则转 4),否则转 6);
4)将所有的匹配成功的知识构建成一个知识集;
5)若知识集不为空,则按某种冲突消解策略选择一条规则进行推理,并将其推出的新事实更新至综
合数据库,然后转 2);若知识集为空,则转 6)
6)询问用户是否可提供新的事实,若有则将其添加至综合数据库,转 3);否则表示问题求解失败,
退出。
正向推理的流程图
五、附程序
#include
#include
#include
#include
#define True 1
#define False 0
#define DontKnow -1
//事实集(概念集)-------------------------------------
char *str[]={"chew_cud 反刍动物","hooves 蹄类动物
","mammal 哺 乳 动 物 ","forward_eyes 眼 盯 前 方
3
","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};
//规则之前件(条件)集--------------------------
int
rulep[][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
rulec[]={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 Active;
int Succ;
public:
fact *Next;
fact(int Num,char *L)
{
strcpy(Name,L);
Number=Num;
Active=False;
//-1 是已经推理,不符合。1 是已经推理,符合。
Succ=DontKnow; //0 是无,-1 是不知道,1 是有。
Next=NULL;
}
char *GetName()
{
char *L;
L=new char[21];
strcpy(L,Name);
return L;
}
int GetNumber()
{
return Number;
}
int GetAct()
{
return Active;
}
int GetSucc()
{
return Succ;
}
void PutAct(const int Act0,int Suc0)
{
Active=Act0;
Succ=Suc0;
}
};
//--------------------------------------------------------
fact *Fact;
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 Conc;
4
public:
rule *Next;
rule(char *N,int P[],int C);
~rule();
int Query();
void GetName()
{
cout<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;
}
Conc=C;
}
//--------------------------------------------------------
int rule::Query()
{
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<GetName()<<"(Y/N)"<GetNumber()>0)
F->PutAct(1,True);//设置事实的断言和激活标
志
5
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
"<GetName()<Next=Fact;
Fact=F;
i++;
}
F=Fact;
Fact=NULL;
while(F) //把倒序排列正过来。倒转上面前插入的事
实链表
{
T=F;
F=F->Next;
T->Next=Fact;
Fact=T;
}
i=0;
ch[0]='R';
ch[1]='U';
ch[2]='L';
ch[3]='E';
ch[4]='_';
ch[5]='a';
ch[6]='\0';
Rule=NULL;//规则链表初始为空
for(i=0;i<15;i++) //初始化规则库。
{
R=new rule(ch,rulep[i],rulec[i]);
R->Next=Rule;
Rule=R;
ch[5]++;
}
R=Rule;
for(;;)//开始询问用户
{
6
i=R->Query();
if((i==1)||(i==-1))
break;//如果返回"真",则推理成功,并可以给出最
后专家答案!
R=R->Next;
if(!R)
break;//所有规则都扫描完,R 为空,则退出!
if(!R) //所有规则都扫描完的退出,表明无法得到答
案
cout<<"I don't know."<
六实验数据
七 实验心得
通过本次实验,初步了解了动物识别专家系统的设计与结构,大体上知道动物识别专家系统
的运行过程,对推理的步骤也有了一定的认识,也学到了一种新的推理方法。在编程序的过
程中,我们也遇到了很多困难,比如,对这新知识的不熟练,掌握的不够好,有些问题不能
很好的理解,但经过我们的努力,最终还是能很好的解决了。
8