专家系统实验

学生实验报告2010年实验名称：一个关于爱情之路的测试的小型专家系统实验目的与要求：目的:通过实现一个简单的不通用的基于回溯推理的专家系统，来理解产生式系统的推理的基本思想和过程。要求：1、确定推理方法（正向还是反向），并根据问题设计实现一个简单的不通用推理机（匹配、冲突消解）2、规则库要求至少包含15条规则3、初始事实可以任意给定，输入初始事实后能够得到推理结果4、设计人机界面，解释模块提供查询规则的功能5、可以不考虑知识库管理模块6、提交实验报告7、报告中要有推理树实验内容：本实验我是设计了一个关于爱情之路的测试的小型专家系统，主要是根据一些观察到的事实，依据系统给出的一系列规则来进行回溯处理，逐渐的推导出结果。本次实验设计了一个简单的不通用推理机，推理机给出的推理结果是“”。专家系统的系统结构包括：知识库，推理机，动态数据库，人机界面，解释模块，知识库管理模块。人机界面人机界面解释模块推理机解释模块推理机知识库知识库规则库动态数据库规则库动态数据库知识库管理模块知识库管理模块专家系统结构图程序设计思想本次实验采用的是正向推理的方法，是从已知事实出发，通过规则库求得结论，也称为自底向上，或称为数据驱动方式。这种推理方式是正向使用原则，即问题的初始状态作为初始数据库，在仅当数据库中的事实满足某条规则的前提时，这条规则才能够被使用。程序中采用的是基于用户按照规则点击，逐步得出结果的。正向推理的步骤步1将初始事实置入动态数据库；步2用动态数据库中的事实，匹配目标条件，若目标条件满足，则推理成功，结束。步3用规则库中各规则的前件匹配动态数据库中的事实，将匹配成功的规则组成冲突集；步4若冲突集为空，则运行失败，退出。步5对冲突集做冲突消解，对选择执行的各规则，将其结论加入动态数据库，或执行其动作，转步2。正向推理的流程图程序实现过程初始事实：设计邂逅体贴容让送花有责任心勤奋努力明确表示不百依百顺规则：R1:if请人介绍then认识R2:if参加聚会then认识R3:if搭讪then认识R4:if设计邂逅then认识R5:if认识∧一起自习then交往R6:if认识∧送花then交往R7:if认识∧约会then交往R8:if交往∧（有责任心Ⅴ踏实可靠）then赢得好感R9:if交往∧（温柔善良Ⅴ善解人意）then赢得好感R10:if交往∧勤奋努力then赢得好感R11:if交往∧阳关活泼then赢得好感R12:if赢得好感∧暗示then确立恋爱关系R13:if赢得好感∧明示then确立恋爱关系R14:if赢得好感∧牵手then确立恋爱关系R15:if恋爱关系∧体贴容让∧不百依百顺then建立长期关系推理过程：初始事实写入动态数据库{设计邂逅，体贴容让，送花，有责任心，勤奋努力，明确表示，不百依百顺}推理过程：(推理树)建立长期恋爱关系建立长期恋爱关系确立恋爱关系确立恋爱关系赢得好感赢得好感交往交往认识认识不百依百顺体贴容不百依百顺体贴容让有责任心明确表示勤奋努力送花有责任心明确表示勤奋努力送花设计邂逅程序显示结果主界面如下：结果如下：体会与总结程序片段voidCRengongDlg::OnCheck1(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[0]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[0]=1; } else if(state==BST_UNCHECKED) { shishi[0]=0; shishi[7]=0; }}voidCRengongDlg::OnCheck2(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[1]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[1]=1; //MessageBox("sdf","dafadsf",MB_OK); } else if(state==BST_UNCHECKED) { shishi[1]=0; shishi[8]=0; }}voidCRengongDlg::OnCheck3(){ //TODO:Addyourcontrolnotificationhandlercodehere//shishi[2]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[2]=1; } else if(state==BST_UNCHECKED) { shishi[2]=0; shishi[8]=0; }}voidCRengongDlg::OnCheck4(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[3]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[3]=1; } else if(state==BST_UNCHECKED) { shishi[3]=0; shishi[8]=0; }}voidCRengongDlg::OnCheck5(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[4]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[4]=1; //MessageBox("sdf","dafadsf",MB_OK); } else if(state==BST_UNCHECKED) { shishi[4]=0; shishi[9]=0; }}voidCRengongDlg::OnCheck6(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[5]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[5]=1; //MessageBox("sdf","dafadsf",MB_OK); } else if(state==BST_UNCHECKED) { shishi[5]=0; shishi[10]=0; }}voidCRengongDlg::OnCheck7(){ //TODO:Addyourcontrolnotificationhandlercodehere //shishi[6]=1; intstate=((CButton*)GetDlgItem(IDC_CHECK1))->GetCheck(); if(state==BST_CHECKED) { shishi[6]=1; //MessageBox("sdf","dafadsf",MB_OK); } else if(state==BST_UNCHECKED) { shishi[6]=0; shishi[11]=0; }}voidCRengongDlg::OnOK(){ //TODO:Addextravalidationhere if(shishi[0]==1) { MessageBox("认识!"); shishi[7]=1; } if((shishi[7]==1)&&(shishi[2]==1)) { MessageBox("交往!");shishi[8]=1; } if((shishi[8]==1)&&(shishi[4]==1)) { MessageBox("赢得好感!"); shishi[9]=1; } if((shishi[9]==1)&&(shishi[5]==1)) { MessageBox("确立恋爱关系!"); shishi[10]=1; } if((shishi[10]==1)&&(shishi[1]==1)&&(shishi[6]==1)) { MessageBox("建立长期关系!"); shishi[11]=1; }// CDialog::OnOK