动物识别系统..docx

学生实验报告实验课名称：人工智能实验项目名称：产生式系统实验专业名称： 计算机科学与技术班级： 2012240201学号：12学生姓名： 雷彬教师姓名： 陈亮亮2014年12月 10日实验日期：2012年12月 10日实验室名称：明远2202 一．实验名称：产生式系统实验二．实验目的与要求：1、确定推理方法（正向还是反向），并根据问题设计实现一个简单的不通用推理机（匹配、冲突消解）2、规则库要求至少包含15条规则3、初始事实可以任意给定，输入初始事实后能够得到推理结果4、设计人机界面，解释模块提供查询规则的功能5、可以不考虑知识库管理模块6、提交实验报告7、报告中要有推理树三．实验内容：动物识别专家系统是流行的专家系统实验模型，它用产生式规则来表示知识，共15条规则、可以识别七种动物，这些规则既少又简单，可以改造他们，也可以加进新的规则，还可以用来识别其他东西的新规则来取代这些规则。四．算法描述：动物识别的15条规则：规则1：如果：动物有毛发?则：该动物是哺乳动物?规则2：如果：动物能产奶?则：该单位是哺乳动物?规则3:如果：该动物有羽毛?则：该动物是鸟规则4：如果：动物会飞，且会下蛋?则：该动物是鸟?规则5：如果：动物吃肉?????则：该动物是肉食动物?规则6：如果：动物有犬齿，且有爪，且眼盯前方?则：该动物是食肉动物?规则7：如果：动物是哺乳动物，且有蹄?????则：该动物是有蹄动物?规则8：如果：动物是哺乳动物，且是反刍动物?则：该动物是有蹄动物?规则9：如果：动物是哺乳动物，且是食肉动物，且是黄褐色的，且有暗斑点??则：该动物是豹?规则10：如果：动物是黄褐色的，且是哺乳动物，且是食肉，且有黑条纹???则：该动物是虎?规则11：??如果：动物有暗斑点，且有长腿，且有长脖子，且是有蹄类?????则：该动物是长颈鹿?规则12：?如果：动物有黑条纹，且是有蹄类动物?????则：该动物是斑马?规则13：?如果：动物有长腿，且有长脖子，且是黑色的，且是鸟，且不会飞?????则：该动物是鸵鸟?规则14：?如果：动物是鸟，且不会飞，且会游泳，且是黑色的?????则：该动物是企鹅?规则15：?如果：动物是鸟，且善飞?则：该动物是信天翁?首先给定初始事实，将初始事实放入动态数组中，并用初始事实与15条规则进行匹配，如果规则匹配成功，将规则的后件存入数组中，再用数组中所有的元素与规则进行匹配，满足即加入数组，直到匹配出动物。如果给定初始事实能推出多种动物，按照数组中条件的先后顺序，顺序循环匹配规则，先匹配出哪种动物就显示该动物。五．源程序：// MFC_AnimalDlg.cpp : 实现文件#includestdafx.h#includeMFC_Animal.h#includeMFC_AnimalDlg.h#includeafxdialogex.h#ifdef_DEBUG#definenewDEBUG_NEW#endif// 用于应用程序“关于”菜单项的 CAboutDlg 对话框classCAboutDlg : publicCDialogEx{public:CAboutDlg();// 对话框数据enum { IDD = IDD_ABOUTBOX };protected:virtualvoid DoDataExchange(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