产生式系统实验报告.docx

学生试验报告

实验课名称：人工智能

试验工程名称：产生式系统试验

专

业

名

称：计算机科学与技术

班

级：2023240202

学

教

师

姓

号：

名：陈亮亮

2023 年10月25日

试验日期：2023 年10月23日 试验室名称： 明远2203

一．试验名称：产生式系统试验

二．试验目的与要求：

1、确定推理方法〔正向还是反向〕，并依据问题设计并实现一个简洁的推理机〔要求涉及：匹配、冲突消解〕

2、规章库要求至少包含15条规章〔学问规章如何存储？〕

3、推理机和学问库必需分别

4、初始事实可以任意给定，输入初始事实后能够得到推理结果

5、设计合理的人机界面，解释模块供给查询规章的功能

6、可以不考虑学问库治理模块

7、提交试验报告

8、报告中要有推理树

三．试验内容：

本试验我设计了一个动物识别的小型专家系统，主要是依据一些观看到的事实，依据系统给出的一系列规章来进展正向推理，将渐渐的推导出结果。本次试验设计了一个简洁的推理机，推理机给出的推理结果有“它是动物”、“条件缺乏，不能推出它是什么动物”、“条件有冲突，没有这样的动物”或“条件不完全,但它有的局部特征”。

局部推理树如下：

四、算法描述：

表示事实和特征的学问。

在本程序中，我将动物的特征写入data.txt，将规章记入rules.txt，将动物种类记为goal.txt。

通过函数

voidreadFiles

{

readGoal;readCod;readRule;

}//reaFiles

读入全部数据分别存放于goal[],rule[],cod[]自定义数组中。

综合数据库和规章库实现综合数据库〔包括特征和目标〕typedefstruct

{

intxuh;//存放编号

charvalu[50];//存放具体内容

}Node;

Nodegoal[20];Nodecod[50];voidreadCod

{

FILE *fp;inti;

if((fp=fopen(“data.txt“,“r“))==NULL)

{

printf(“cannotopendata\n“);exit(0);

}

i=0;

while((fscanf(fp,“%d%s“,cod[i].xuh,cod[i++].valu))!=EOF);fclose(fp);

}//readCod

voidreadGoal

{

FILE *fp;inti;

if((fp=fopen(“goal.txt“,“r“))==NULL)

{

printf(“cannotopengoal\n“);exit(0);

}

i=0;

while((fscanf(fp,“%d%s“,goal[i].xuh,goal[i++].valu))!=EOF);fclose(fp);

}//readGoal规章库

typedefstruct

{

intrslt;

intcodNum;//记载前提的个数intcod[10];//记载前提的序号intused;//记载是否已匹配成功

}Nrule;

Nrulerule[50];voidreadRule

{

FILE *fp;inti;

inttempxuh,tempcodn;charch;

if((fp=fopen(“rules.txt“,“r“))==NULL)

{

printf(“cannotopenrules\n“);exit(0);

}

i=0;

rule[i].codNum=0;

while((ch=fgetc(fp))!=EOF)

{

if(i==15)

i=i;tempcodn=0;

while(ch!=”\n”ch!=EOF)//每一条规章

{

tempxuh=0;while(ch=”9”ch=”0”)

{

tempxuh=tempxuh*10+ch-”0”;//ch=fgetc(fp);

}

rule[i].cod[tempcodn++]=tempxuh;

tempxuh=0;

if(ch==”=”)//下一个是结论

{

ch=fgetc(fp);while(ch=”9”ch=”0”)

{

tempxuh=tempxuh*10+ch-”0”;ch=fgetc(fp);

}

rule[i].rslt=tempxuh;

}//if

elseif(ch==”*”)

{

ch=fgetc(fp);

}

rule[i].codNum++;

}

i++;

ch=fgetc(fp);

}

rulenum=i;fclose(fp);

}

规章库的匹配算法是什么？如何选用可用规章集中的规章？分别使用哪些函数实现的？

程序中的正向搜寻是