基于关系模型的规则表示方法及推理设计

知识库是将传统的数据库技术和人工智能技术结合的产物,也就是说,知识库不仅能管理事实还能存贮和管理规则.对传统的产生式规则进行改进,并提出基于关系模型的规则表示方法,并利用功能强大的DBMS来实现规则的推理过程.

Petri网规则表示方法在操作票专家系统中的应用

规则表示和推理机制是计算机形成操作票过程中的关键问题,分析了在操作票专家系统中广泛采用的产生式规则表示方法的局限性,指出推理程序对规则表示的依赖是制约操作票专家系统通用性的根本原因。针对上述问题,首先研究了产生式规则的Petri网表示方法,提高规则表示的灵活性;其次,研究了基于Petri网规则表示的推理方法,使推理程序与规则表示完全分离,最后,结合应用实例说明了基于Petri网的规则表示方法和推理机制可以有效地提高操作票专家系统的适应能力。

模糊空间Petri网的规则表示及动态推理

为便于表示模糊空间Petri网的状态变迁规则,根据空间关联影响区域分布现实特点,提出了空间模糊Petri网中的状态关联影响规则、变迁关联影响规则和多阈值激活规则。依据模糊产生式规则的特点,详细描述了10种具体的推理规则和表示组件,并以实例加以说明。在此基础上,结合模糊空间Petri网的特点提出了动态推理过程算法,可以实现各种空间状态规则因子的转化。动态推理的过程不仅可以获取某种"结果",而且可以挖掘基于空间位置关联的中间状态及引起中间状态变化的事件,可以有效地指导风险过程预测和控制。

产品CAD模型验证中的规则表示

研究了基于规则的产品CAD模型验证中的关键技术——规则表示,借助UG/KF,提出了基于类的产品CAD模型验证规则表示方法。通过实例,详细介绍了模型验证类的建立、算法逻辑及KF表示。用该方法表示产品CAD模型验证规则,不但能满足对验证规则管理的需要,而且也能较好地重复利用以往的模型验证规则。结果表明:该方法具有较强的实际应用价值。

基于 BP 神经网络的模糊语言及其规则表示

结合ＢＰ网络和模糊技术，提出一种实现模糊语言表示的神经网络ＦＬＲＮＮ（ＦｕｚｚｙＬｉｎ－ｇｕａＲｅｐｒｅｓｅｎｔａｔｉｏｎＮｅｕｒａｌＮｅｔｗｏｒｋ）和实现模糊推理的神经网络ＦＲＲＮＮ（ＦｕｚｙＲｕｌｅＲｅｐｒｅｓｅｎ－ｔａｔｉｏｎＮｅｕｒａｌＮｅｔｗｏｒｋ）；根据加权判决法，提出反模糊化神经网络ＤＮＮ（ＤｅｆｕｚｚｉｃａｔｉｏｎＮｅｒｕａｌＮｅｔｗｏｒｋ）；并进行了例证．

域规则表示和主线推理法

传统的产生式知识表示，在规则式中没能体现出前提对结论的影响程度和结论间的相互关系，而这在许多领域中是存在的，基于产生式表示的专家系统，其推理算法是顺序的，而且在推理过程中不作任何判断．这大大影响了系统的推理速度，本文提出了影响率和域规则知识表示等概念及一种新的推理算法．

类规则表示及其不精确推理算法

知识表示是目前人工智能中一个研究热门,因为现有的各种知识表示方式,虽然都各有其优点,但也各有其弱点,离人们要求的目标距离还远。本文介绍一种新的知识表示,我们称之为类规则表示。所以称之为类规则,一是因为它与规则表示很类似。

英语正文音素转换的规则表示及其推理

正文→音素转换规则可表示为Ａ→Ｂ／Ｃ_Ｄ基本形式，正文→音素转换推理是一个基于语言学规则和简单统计的启发式推理过程，该过程包含三个步骤：①词素分解；②音素转换；③确定词内重音。

论通谋虚伪表示一般化与特别化不得对抗善意第三人规则

通谋虚伪表示作为意思表示重要的制度之一,其究竟产生何种效力一直饱受分歧。这不仅源于需要对表意人和相对人的真意进行保护而彰显私法自治,同时,又需要对信赖表示行为的善意第三人的合理信赖加以保障从而维护信赖法理,二者的交锋与对峙产生了虚伪表示不得对抗第三人一般化与特别化的保护规则。《民法典》承继过去《民法总则》(已废止)的规定,于其第146条采纳通谋虚伪表示的绝对无效,形成了不设立一般化规则,由分编特别化的虚伪表示对抗规则来保护善意第三人信赖的模式。一国的立法适应其本国的法律体系,本文在比较法的视野下探寻各国对虚伪表示对抗规则的模式选择与其体系适配性,同时反思我国当前的模式选择,即我国分编的特别化规则是否能够满足实践不同案型下对善意第三人的保护,以及在假象我国增设一般化规则的情况下是否能同分编的规则相匹配。

复句关系词自动识别中规则的表示方法研究

关系词在现代汉语复句领域起着重要的作用,是汉语语法、语义研究中的重要内容,复句关系词的计算机自动识别是一个非常困难的研究课题。在汉语复句关系词自动识别中规则的约束条件研究的基础上,重点研究现代汉语复句关系词自动识别系统中规则的表示方法,为进一步研究、建设复句关系词自动识别中的规则库,深入研究规则与统计相结合自动识别复句和复句关系词的方法,为实现汉语句子和篇章的自动识别奠定基础。

面向自动推荐的表示方法规则的形式化表达研究

在利用专题制图软件制作统计专题地图时,普通用户由于没有表示方法知识,无法选择合适的表示方法表达专题要素。为了解决这一问题,本文将表示方法规则嵌入到制图软件中,深入研究了面向自动推荐的表示方法规则的形式化表达策略。先后介绍了表示方法规则的特征、表示方法简单规则和组合规则的形式化表达策略、表示方法规则的运行机制,最后进行了可用性试验,说明该形式化表达策略具有一定的理论和应用价值。

基于中间表示规则替换的二进制翻译中间代码优化方法

动态二进制翻译在实现多源到多目标的程序翻译过程中,为屏蔽不同源平台间的硬件差异引入中间代码,采用内存虚拟策略进行实现,但同时带来中间代码膨胀问题。传统的中间代码优化方法主要采用对冗余指令进行匹配删除的方法。将优化重点聚焦在针对特殊指令匹配的中间表示规则替换上,提出了一种基于中间表示规则替换的二进制翻译中间代码优化方法。该方法针对中间代码膨胀所呈现的几种典型情景,描述了中间表示替换规则,并将以往应用在后端代码优化上的寄存器直接映射策略应用在此处。通过建立映射公式,实现了将原来的内存虚拟操作替换为本地寄存器操作,从而降低了中间代码膨胀率。使用SPEC CPU2006测试集进行了实验,验证了此优化方法的正确性和有效性。测试用例在优化前和优化后的执行结果一致,验证了优化方法的正确性;优化后测试用例的中间代码平均缩减率达到32.59%,验证了优化方法的有效性。

基于规则框架知识表示的配船专家系统

本文介绍了专家系统在内河航运线船舶配载中的应用。重点探讨了基于规则一框架体系（ＲＦＳ）的知识表示方法，以及在此情况下的知识库智能调度策略及其实现。实际应用表明，这些方法是切实可行的。

基于规则引擎的慢性疾病管理系统的应用研究

针对原有慢性疾病管理系统的不足,将drools规则引擎应用于已有的基于Struts和Hibernate的慢性疾病管理系统中。从系统框架、数据分析两方面介绍了Drools规则引擎的应用,并利用查询和血压监测数据分析的实例应用说明该规则引擎的实用性。该规则引擎的应用一方面可使系统业务逻辑层的开发更加灵活,便于维护。另一方面使系统具备一定的数据分析与处理能力,使系统具有智能决策能力。

面向对象规则库设计的研究

本文提出了一种面向对象规则库的设计方法。它以类为基础，并根据类的层次结构和继承关系用链表来构造规则库。

基于RBR和CBR规划中的知识表示方法研究

"知识"是"规划"的前提和基础,通过归纳对已有"知识"的表示,就成为了"规划"的先行条件。基于"规则"和"案例"的规划是各种现代规划器常用的两种规划方式,通过对现有的"规则"和"案例"的各种知识表示方法的研究,描述了其各自的优缺点,并给出了如何选择合适的知识表示方法以处理特定规划问题的方法和思想,从而更快、更好的构建能够解决实际问题的规划系统。

基子规则的知识库在导弹总体设计中的应用

分析了导弹总体设计过程中的实际需求,提出了在导弹总体设计中建立基于规则的知识库和使用数据驱动的求解算法的方法,实现了导弹总体设计中的关键技术。最后给出了一个该算法的实例。研究表明,结合基于规则的知识库和数据驱动的求解算法,可以快速、方便、准确地进行导弹总体设计。

乒乓球比赛数据的知识表示与知识获取模型构建

运用知识工程中的知识表示模型,构建了基于动态区域网格技术的乒乓球比赛知识表示和知识获取模型,该模型可以对比赛数据进行完整、准确的描述,并记录一场比赛的所有信息.在此基础上,对乒乓球比赛中获得的数据进行科学、合理的表示,并将它们纳入一个有机的整体中,这样不仅能为乒乓球比赛的技术分析提供准确、有效的数据来源,而且能完整的体现乒乓球比赛的知识特点,从而有效地提高教练员的工作效率,加快运动训练的科学化进程.

基于规则的多源空间数据集成处理

现有空间数据集成在实现时依赖专家参与且功能较为固定。在阐述多源空间数据集成的基础上,抽取隐含在专家经验中的规则,并通过合适的方法分别从外部、内部进行表示。最终将规则表示成计算机能够识别、存储、使用的形式,实现规则和程序代码相分离。在用户需求和空间数据确定的前提下,模拟专家完成数据集成处理,便于广大普通用户的使用,提高了代码重用性且易于维护。

大型水电机组自动诊断专家系统研究

提出一个大型水电站水电机组故障诊断系统 .论述了系统的组成和系统建造过程中规则的表示、推理机制等重要功能模块 .选用基于MYCIN不精确推理模型的不精确推理方法 ,同时采用正向推理方式 。