一种基于数据库推理机制设计.docVIP

一种基于数据库推理机制设计 　　摘要：提出了一种面向对象的推理机制，运用于专家系统中推理机的设计。该机制将推理过程中的各个阶段的中间结论封装成一个个单节点，通过反复将单节点有序组合成混合节点并将混合节点在知识库中尝试查询直至得到总结论。这种设计模式实现了推理过程的可视化，在评价、分析和评测等领域具有广泛的应用前景。 　　关键词：面向对象；专家系统；推理；节点；过程可视 　　中图分类号：TP31 文献标识码：A 　　1概述 　　专家系统离不开推理机和知识库。推理机在很大程度上是依赖于知识库的，特别在现今面向对象的开发思想流行并且以数据库设计来决定知识库结构的情况下，知识库中的知识规则一定要以一种固定的模式设计，以方便推理机按照自己的规则存取和识别。本文就是将实际推理过程中的条件、结论视为一个节点，节点所带有的各个信息作为数据库表的各个字段，这样无论在专家系统推理的哪个阶段，推理所得的信息都是以节点对象形式存储、传递、分析。 　　2机制设计 　　2.1输入信息的初始文件 　　专家系统中，要将输入数据以特定格式导入到专家系统的推理机。在可视化的推理机制的要求下，此设计机制将信息以键值对逐行输入到推理程序中，这样，读取数据时，可以将一组组键值对封装成对象。输入数据的文件类型可以自己选择，例如Excel文件，XML文件甚至TXT文件，只需要在专家系统中实现读取输入文件的接口即可。 　　2.2 数据库（知识库）设计原理 　　知识库中每一条知识条款，代表了由一个条件推导至一个子结论的规则，实际上是程序中IF…THEN…的一种格式化的表述，在程序中很容易看到这种形式： 　　IF条件1，条件2，…，条件n THEN 结论1，结论2，…，结论m； 　　在本文所阐述的思想中，这种形式可以做一下变化： 　　IF 函数（键1=值1，键2=值2，…，键n=值3） THEN 结论1，结论2，…，结论m； 　　这种形式在现实世界中比较常见的，例如：IF IsRight（小明的语文名次=第3名，小明的数学成绩名次=第2名，班里喜欢小明人数的比例=85%） THEN 结论1=小明学习好，结论2 =小明人缘好（其中“IsRight”为函数，这里使用它验证并返回后面条件的正确性）。 　　但是，在进行知识库设计时，上面的形式并不容易表达成数据库语言，上面的形式中，条件和结论的数量是不固定且没有次序的。这样在后续的多个结论混合的过程中造成麻烦。多个独立的条件和结论可以任意改变次序，意义相同的知识条款有多个不同表达方式，若全部存储会造成数据冗余。 　　为了克服上述缺陷，必须将形式再次改变，第三种形式设计如下所示： 　　IF 函数（sort（键1=值1，键2=值2，键n=值3）） THEN 结论； 　　第三种形式中，规定IF的键最多有3个，然后对这些键进行排序，保证了“条件端”的唯一性，这里一个知识条款规定只能产生一个结论。 　　在这里为了阐明这种思想，只介绍最简单的数据库设计，如下图所示： 　　其中，id唯一标示每一条知识条款。 　　ifkeys中放置已排好次序的各个键值对，它们在程序中将被封装成为条件节点。 　　method用来标示函数的名称，每一个Method名称对应着一个已经实现的函数，这些函数大多用来验证并返回验证结果的，它们将放到一个函数库中，也可以自定义，程序运行时可以调用。 　　Thenkeys用来表示代表一个结论的“键值”对，在程序中也将被封装为节点。 　　最后的infor字段用来给予每一个知识条款简短的解释。 　　2.3 推理流程描述 　　推理流程是推理的核心，也是推理机程序实现的直接依据。推理机制包括了如下过程： 　　最开始的输入信息的初始文件中每一行文本的“条件名”被专家系统的解析程序解析后，被最先封装到节点对象中，形成节点名，文件中的“条件值”被解析出来，形成节点对象对应的节点值，这样每一行“键值”对都形成一个有名、有值的单节点。下面再反复如下3个步骤： 　　第一步：上面的单节点被导入到程序中的一个节点池中，然后单节点将被两两混合，三三混合，形成了混合度为2和3的混合节点，这时池中有了混合度为1，2，3的各个节点。混合后自动建立一个“混合节点列表”，用于记录已经产生过的混合节点的名称，下次混合时，根据这个列表将剔除所有以前混合过的混合节点。 　　第二步：将池中的各种节点遍历查询知识库一遍，如果有单节点或混合节点的节点名和知识库中一条知识条款的“IfKeys”字段文本相同，则取出这个节点的值（如果它是混合节点，还要将它的文本拆分），系统自动调用那条知识条款“Method”字段所指定的函数来处理这个节点的各个值，返回一个新的字符串型的值，赋予这条知识条款的结论字段自动生成一个新的中间结论节点。在查询完毕后，将查询过的所有单节点或混合节点的可查询属性