学生实验报告实验课名称：人工智能实验项目名称：产生式系统实验专业名称：计算机科学与技术班级：2012240201学号：12学生姓名：雷彬教师姓名：陈亮亮2014年12月10日实验日期：2012年12月10日实验室名称：明远2202一．实验名称：产生式系统实验二．实验目的与要求：1、确定推理方法（正向还是反向），并根据问题设计实现一个简单的不通用推理机（匹配、冲突消解）2、规则库要求至少包含15条规则3、初始事实可以任意给定，输入初始事实后能够得到推理结果4、设计人机界面，解释模块提供查询规则的功能四．算法描述：动物识别的15条规则：规则1：如果：动物有毛发则：该动物是哺乳动物规则2：如果：动物能产奶则：该单位是哺乳动物规则3:如果：该动物有羽毛则：该动物是鸟规则4：如果：动物会飞，且会下蛋则：该动物是鸟规则5：如果：动物吃肉则：该动物是肉食动物规则6：如果：动物有犬齿，且有爪，且眼盯前方则：该动物是食肉动物规则7：如果：动物是哺乳动物，且有蹄则：该动物是有蹄动物规则8：如果：动物是哺乳动物，且是反刍动物则：该动物是有蹄动物规则9：如果：动物是哺乳动物，且是食肉动物，且是黄褐色的，且有暗斑点则：该动物是豹规则10：如果：动物是黄褐色的，且是哺乳动物，且是食肉，且有黑条纹则：该动物是虎规则11：如果：动物有暗斑点，且有长腿，且有长脖子，且是有蹄类则：该动物是长颈鹿规则12：如果：动物有黑条纹，且是有蹄类动物则：该动物是斑马规则13：如果：动物有长腿，且有长脖子，且是黑色的，且是鸟，且不会飞则：该动物是鸵鸟规则14：如果：动物是鸟，且不会飞，且会游泳，且是黑色的则：该动物是企鹅规则15：如果：动物是鸟，且善飞则：该动物是信天翁首先给定初始事实，将初始事实放入动态数组中，并用初始事实与15条规则进行匹配，如果规则匹配成功，将规则的后件存入数组中，再用数组中所有的元素与规则进行匹配，满足即加入数组，直到匹配出动物。如果给定初始事实能推出多种动物，按照数组中条件的先后顺序，顺序循环匹配规则，先匹配出哪种动物就显示该动物。五．源程序：//MFC_AnimalDlg.cpp:实现文件#include"stdafx.h"#include"MFC_Animal.h"#include"MFC_AnimalDlg.h"#include"afxdialogex.h"#ifdef_DEBUG#definenewDEBUG_NEW#endif//用于应用程序“关于”菜单项的CAboutDlg对话框classCAboutDlg:publicCDialogEx{public:CAboutDlg();//对话框数据enum{IDD=IDD_ABOUTBOX};protected:virtualvoidDoDataExchange(CDataExchange*pDX);//DDX/DDV支持//实现protected:DECLARE_MESSAGE_MAP()};CAboutDlg::CAboutDlg():CDialogEx(CAboutDlg::IDD){}voidCAboutDlg::DoDataExchange(CDataExchange*pDX){CDialogEx::DoDataExchange(pDX);}BEGIN_MESSAGE_MAP(CAboutDlg,CDialogEx)END_MESSAGE_MAP()//CMFC_AnimalDlg对话框CMFC_AnimalDlg::CMFC_AnimalDlg(CWnd*pParent/*=NULL*/):CDialogEx(CMFC_AnimalDlg::IDD,pParent){m_hIcon=AfxGetApp()->LoadIcon(IDR_MAINFRAME);}voidCMFC_AnimalDlg::DoDataExchange(CDataExchange*pDX){CDialogEx::DoDataExchange(pDX);DDX_Control(pDX,IDC_COMBO1,m_point1);DDX_Control(pDX,IDC_COMBO4,m_point2);DDX_Control(pDX,IDC_COMBO5,m_point3);DDX_Control(pDX,IDC_COMBO6,m_point4);DDX_Control(pDX,IDC_COMBO7,m_point5);DDX_Control(pDX,IDC_COMBO8,m_point6);DDX_Control(pDX,IDC_COMBO9,m_point7);}BEGIN_MESSAGE_MAP(CMFC_AnimalDlg,CDialogEx)ON_WM_SYSCOMMAND()ON_WM_PAINT()ON_WM_QUERYDRAGICON()ON_BN_CLICKED(IDC_BUTTON2,&CMFC_AnimalDlg::OnClickedButton2)ON_BN_CLICKED(IDC_BUTTON1,&CMFC_AnimalDlg::OnClickedButton1)END_MESSAGE_MAP()//CMFC_AnimalDlg消息处理程序BOOLCMFC_AnimalDlg::OnInitDialog(){CDialogEx::OnInitDialog();//将“关于...”菜单项添加到系统菜单中。//IDM_ABOUTBOX必须在系统命令范围内。ASSERT((IDM_ABOUTBOX&0xFFF0)==IDM_ABOUTBOX);ASSERT(IDM_ABOUTBOX<0xF000);CMenu*pSysMenu=GetSystemMenu(FALSE);if(pSysMenu!=NULL){BOOLbNameValid;CStringstrAboutMenu;bNam...
