实验一动物识别专家系统设计.doc
- 文档编号:707978
- 上传时间:2023-04-29
- 格式:DOC
- 页数:8
- 大小:67.50KB
实验一动物识别专家系统设计.doc
《实验一动物识别专家系统设计.doc》由会员分享,可在线阅读,更多相关《实验一动物识别专家系统设计.doc(8页珍藏版)》请在冰点文库上搜索。
实验一:
动物识别专家系统设计(3学时)
一、实验目的与要求
1、掌握专家系统的基本构成
2、掌握用人工智能程序设计语言编制智能程序的方法
二、实验内容
1、所选编程语言:
C语言;
2、拟订的规则:
规则1:
如果:
动物有毛发
则:
该动物是哺乳动物
规则2:
如果:
动物有奶
则:
该单位是哺乳动物
规则3:
如果:
该动物有羽毛
则:
该动物是鸟
规则4:
如果:
动物会飞,且会下蛋
则:
该动物是鸟
规则5:
如果:
动物吃肉
则:
该动物是肉食动物
规则6:
如果:
动物有犬齿,且有爪,且眼盯前方
则:
该动物是食肉动物
规则7:
如果:
动物是哺乳动物,且有蹄
则:
该动物是有蹄动物
规则8:
如果:
动物是哺乳动物,且是反刍动物
则:
该动物是有蹄动物
规则9:
如果:
动物是哺乳动物,且是食肉动物,且是黄褐色的,且有暗斑点
则:
该动物是豹
规则10:
如果:
如果:
动物是黄褐色的,且是哺乳动物,且是食肉,且有黑条纹
则:
该动物是虎
规则11:
如果:
动物有暗斑点,且有长腿,且有长脖子,且是有蹄类
则:
该动物是长颈鹿
规则12:
如果:
动物有黑条纹,且是有蹄类动物
则:
该动物是斑马
规则13:
如果:
动物有长腿,且有长脖子,且是黑色的,且是鸟,且不会飞
则:
该动物是鸵鸟
规则14:
如果:
动物是鸟,且不会飞,且会游泳,且是黑色的
则:
该动物是企鹅
规则15:
如果:
动物是鸟,且善飞
则:
该动物是信天翁
三、实验原理
用户界面:
采用问答形式;
知识库(规则库):
存放产生式规则,推理时用到的一般知识和领域知识,比如动物的特征,动物的分类标准,从哺乳动物、食肉动物来分,再具体地添加一些附加特征得到具体动物;建立知识库的同时也建立了事实库。
事实库是一个动态链表,一个事实是链表的一个结点。
知识库通过事实号与事实库发生联系。
数据库:
用来存放用户回答的问题,存放初始状态,中间推理结果,最终结果;
推理机:
采用正向推理,推理机是动物识别的逻辑控制器,它控制、协调系统的推理,并利用知识库中的规则对综合数据库中的数据进行逻辑操作。
推理机担负两项基本任务:
一是检查已有的事实和规则,并在可能的情况下增加新的事实;二是决定推理的方式和推理顺序。
将推理机制同规则对象封装在一起,事实对象记录了当前的状态,规则对象首先拿出前提条件的断言(只有这些前提都有符合时才会做这条规则的结论),询问事实对象集,如事实对象集不知道,则询问用户,如所有前提条件都被证实为真则结论为真,否则系统不知道结论真假。
四、实验步骤
(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","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_well”(善飞),如果也成立,则查找结论断言编号数组{30,29,28,27,26,25,24,3,3,13,12,12,11,11,0}中第七个“24”,这里24对应事实数组中的“albatross”(信天翁)。
(3)推理机设计:
正向推理原理:
正向推理又称数据驱动推理,是按照由条件推出结论的方向进行的推理方式,它从一组事实出发,使用一定的推理规则,来证明目标事实或命题的成立。
一般的推理过程是先向综合数据库提供一些初始已知事实,控制系统利用这些数据与知识库中的知识进行匹配,被触发的知识,将其结论作为新的事实添加到综合数据库中。
重复上述过程,用更新过的综合数据库中的事实再与知识库中另一条知识匹配,将其结论更新至综合数据库中,直到没有可匹配的新知识和不再有新的事实加入到综合数据库中为止。
然后测试是否得到解,有解则返回解,无解则提示运行失败。
正向推理的步骤
1)将用户提供的初始已知事实送入综合数据库;
2)检查综合数据库中是否已经包含问题的解,若有则求解结束,否则执行下一步;
3)将初始已知事实与知识库中的知识做匹配,若有,则转4),否则转6);
4)将所有的匹配成功的知识构建成一个知识集;
5)若知识集不为空,则按某种冲突消解策略选择一条规则进行推理,并将其推出的新事实更新至综合数据库,然后转2);若知识集为空,则转6)
6)询问用户是否可提供新的事实,若有则将其添加至综合数据库,转3);否则表示问题求解失败,退出。
正向推理的流程图
六、实验报告很要求
1、按实验报告书的格式书写实验报告
2、简明扼要地将实验步骤写清楚
3、对实验结果、实验程序中遇到的问题进行认真分析讨论
七、附程序
#include
#include
#include
#include
#defineTrue1
#defineFalse0
#defineDontKnow-1
//事实集(概念集)-------------------------------------
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}。
//规则之前件(条件)集--------------------------
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
{private:
intNumber。
public:
list*Next。
list(intNum)
{
Number=Num。
Next=NULL。
}
intGetNumber()
{
returnNumber。
}
}。
//--------------------------------------------------------
classrule
{
char*Name。
list*Pre。
intConc。
public:
rule*Next。
rule(char*N,intP[],intC)。
~rule()。
intQuery()。
voidGetName()
{
cout< } }。 //-------------------------------------------------------- rule: : ~rule() { list*L。 while(Pre) { L=Pre->Next。 deletePre。 Pre=L。 } deleteName。 } //-------------------------------------------------------- rule: : rule(char*N,intP[],intC) { inti。 list*L。 Pre=NULL。 Next=NULL。 Name=newchar[strlen(N)+1]。 strcpy(Name,N)。 i=0。 while(P[i]! =0) { L=newlist(P[i++])。 L->Next=Pre。 Pre=L。 } Conc=C。 } //-------------------------------------------------------- intrule: : Query() { 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->Next。 continue。 } if((F->GetSucc())==False) returnfalse。 }//如果事实的断言为真则判断下一个前提,为假,则表示该规则不适合 else { if((F->GetSucc())==True) returnFalse。 if((F->GetSucc())==False) { L=L->Next。 continue。 } } cout< 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。 returnFalse。 } } else { if(L->GetNumber()<0) F->PutAct(-1,False)。 else { F->PutAct(-1,False)。 Tag=-1。 //已经推理,不符合。 returnFalse。 } } L=L->Next。 } F=Fact。 for(。 。 ) { if(Conc==F->GetNumber()) break。 //查找结论断言对应的事实 F=F->Next。 } if(Conc<24) { F->PutAct(1,True)。 returnFalse。 } if(Tag! =-1) { F=Fact。 for(。 。 ) { if(Conc==F->GetNumber()) break。 F=F->Next。 } if(Conc<24) { F->PutAct(1,True)。 returnFalse。 } cout<<"\nThisaniamalis"< returnTrue。 } returnFalse。 } //-------------------------------------------------------- intmain() { fact*F,*T。 rule*Rule,*R。 charch[8]。 inti=1。 Fact=NULL。 //事实链表初始为空 while(str[i-1])//初始化事实库,倒序排列。 在事实链表中填入事实,注意: 前插入 { F=newfact(i,str[i-1])。 F->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=newrule(ch,rulep[i],rulec[i])。 R->Next=Rule。 Rule=R。 ch[5]++。 } R=Rule。 for(。 。 )//开始询问用户 { i=R->Query()。 if((i==1)||(i==-1)) break。 //如果返回"真",则推理成功,并可以给出最后专家答案! R=R->Next。 if(! R) break。 //所有规则都扫描完,R为空,则退出! } if(! R)//所有规则都扫描完的退出,表明无法得到答案 cout<<"Idon'tknow."< cout<<"pressanykeytoexit."< getchar()。 returnTrue。 }
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 实验 动物 识别 专家系统 设计