动物识别系统实验说明

实验一：基于规则的动物识别系统实验目的：熟悉产生式的特点，基本结构和设计思想掌握基于规则推理的基本过程和方法学会用高级程序设计语言开发基于规则的动物识别系统实验要求：根据动物识别系统的规则建立合理的数据结构或数据库来表示知识。利用所选开发语言来建立推理过程。利用控制台或者图形界面给出合理的交互接口，实现基本演示功能。提交实验报告和源程序，总结实验结论和经验教训。实验原理：基于规则产生式系统结构：基于规则的产生式系统一般由规则库（知识库）、综合数据库和推理引擎（推理机）三部分组成，规则库中它的基本组成框架如下图1所示。知识库由谓词演算事实和有关讨论主题的规则构成，综合库又称为上下文，用来暂时存储推理过程中的结论和数据。推理机是用规则进行推理的过程和行为。知识采集系统是领域专家把相关领域的知识表示成一定的形式，并输入到知识库中。解释系统通过用户输入的条件来分析被系统执行的推理结构，并将专家知识以易理解的方式并把知识解释给用户。图1规则产生式系统的基本结构知识库推理机踪会库图1规则产生式系统的基本结构知识库推理机踪会库—解释系统领域专家k知识采集系统简单动物识别产生式系统结构：⑴知识库ANIMAL的知识库非常小，仅仅包含16条规则（一般说来，一个产生式系统的知识库应包含3几百条规则）；⑵解空间很小，仅仅包含8个解，或8个最高假设（在一个特定的动物园里，共有虎、豹、长颈鹿、斑马、鸵鸟、企鹅和信天翁、八哥等8种动物）；⑶初始事实集合很小，仅仅包含21个事实，如图中的F1至F21；⑷数据（即事实、证据、断言），知识（即浅层知识，规则）和推理都是精确的，即确定性的；⑸知识库。实验步骤和过程：1.研习教材P33-P34（产生式的结构）和P47-50（确定性推理方法详解）相关内容，熟悉基本的理论和思想方法。2.理解原有程序的基本结构，并在其基础上搭建自己的推理过程，实现基于规则的动物识别系统。思考题：考虑实际情况，系统中那些地方需要改进。比如规则数目的增多，规则之间复杂的关系等，证据知识的不确定性等，发现你的问题（至少包括两个问题），并在实验报告中写出响应的解决方法。备注知识：动物识别系统包括16条规则下所示：如r1毛发哺乳动物r2奶哺乳动物r3羽毛鸟r4会飞|下蛋鸟r5吃肉食肉动物r6犬齿|爪|眼睛盯着前方食肉动物r7哺乳动物|蹄有蹄类动物r8哺乳动物|反刍有蹄类动物r9哺乳动物|食肉动物|黄褐色|暗斑点金钱豹r10哺乳动物|食肉动物|黄褐色|黑色条纹虎r11有蹄类动物|长脖子|长腿|暗斑点长颈鹿r12有蹄类动物|黑条纹斑马r13鸟|不会飞|长脖子|长腿|黑白色鸵鸟r14鸟|不会飞|游泳|黑白色企鹅r15鸟|善飞信天翁正向推理过程分析：下面以一个具体的动物识别产生式系统模型来说明其原理。初始事实集：动物身上有暗斑点、有长脖子、有长腿、有奶、有蹄要求解的问题是判断满足该事实集的是何种动物？推理过程：1。首先从规则库取出第一条规则r1,将r1中的前提部分与初始事实集中的事实相比较，匹配失败；于是继续取第二条规则再试，匹配成功！将此规则的结论部分作为新事实加入到综合数据库的初始事实集中。于是初始事实集变为：该动物身上有暗斑点、有长脖子、有长腿、有奶、有蹄、是哺乳动物。2。 接着依次取r3、r4、r5、r6与初始事实集匹配、均不成功，当执行到r7时再次获得匹配，于是事实集中以增加一条事实：该动物身上有暗斑点、有长脖子、有长腿、有奶、有蹄、是哺乳动物、是有蹄类动物。此后，当搜索到r11时又一次匹配成功，事实集变为：该动物身上有暗斑点、有长脖子、有长腿、有奶、有蹄、是哺乳动物、是有蹄类动物、该动物是长颈鹿。于是得到最终结论---该动物是长颈鹿。上述问题的求解过程是一个不断地从规则库中选取可用规则与综合数据库中的已知事实进行匹配的过程，规则的每一次匹配都会使综合数据库增加新的内容，并朝着问题的解决前进了一步。这就是一个推理过程。逆向推理过程分析：初始事实集：动物身上有暗斑点、有长脖子、有长腿、有奶、有蹄要求解的问题是判断满足该事实集的是何种动物？推理过程：1。我们假设这个动物是长颈鹿的话，为了检验这个假设，根据规则r11，要求这个动物是长脖子，长腿，暗斑点且是有蹄类动物。2。这时数据库中已经有了长脖子，长腿，暗斑点事实，为此我们还要验证“动物是有蹄类动物”，根据规则r8要求动物反刍，且是哺乳动物，而事实库中没有反刍，根据规则r7要求动物有蹄，且是哺乳动物，事实中动物有蹄。为此我们要验证动物是哺乳动物我们要验证动物是