设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表．本文提出了一种设计与实现计算机推理软件的方法．该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等,随后转换产生用于逻辑推理数据形式的知识规则库文件．在知识规则库文件的基础上建立一个独立的推理执行系统,它采用精确推理的方法,依据由知识转换器产生的知识规则库文件,实现相应的推理结构确定的逻辑控制,论述了计算机推理软件的设计思想、总体设计及其特点,并介绍了采用计算机编程语言的实现方法．     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6.0开发的一个营养诊断专家系统,它属于一种诊断型专家系统.该系统的知识表示使用了产生式规则形式,推理机采用了规则推理和不精确推理相结合的方法.在不确定性知识处理上,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型,使推理机具有较高的准确性.     

本体论知识库推理的自适应学习流程规划

为了自适应提取网络上的学习资源（Learning Resources,LR）,向学习者提供可用的、有价值的LR流程规划,提出了本体论知识库推理的自适应学习流程规划方法.首先,运用知识工程中的本体论技术描述LR领域知识,建立本体论知识库;其次,使用人工智能规划技术对问题进行描述,采用偏序规划算法推理,结合工作流模型技术验证,建立规则式推理机制;最后,通过本体论知识库和规则式推理机制实现对LR的自适应提取和完成LR流程结构.对实例的规划结果表明,该方法是可靠和有效的.     

本体和规则在营销策略自动推理中的应用

针对市场营销中只能表达结构信息,无法表达语义信息的问题,研究本体和规则在营销策略自动推理中的应用。分析了采用不同营销策略时,建立本体应包括的领域知识;描述了基于本体和规则的营销策略自动推理方法;结合一个企业实例建立了本体,并进行了详细的描述。采用Logistic模型预测客户的潜在价值和进行客户细分,并运用关联规则挖掘捆绑销售策略。在此基础上建立规则文件,实现了营销策略的自动推理过程。     

改善专家系统问题求解能力的一种方法

本文介绍一种用结合启发性推理和基于模型的推理来改善专家系统问题求解能力的方法。启发性推理是用规则表示的知识来进行的,而基于模型的推理是用框架表示的知识来进行的。以框架表示的有关模型的知识是存放在传统的关系数据库内,这样利用现有的DBMS(数据库管理系统)简化了知识的存取,增删等工作。规则存于知识库内。该方法吸取了两种推理的优点,提高了效率,改善了系统的问题求解能力。     

一种融合专家和数据的综合知识建模框架

专家系统过分依赖于专家的知识,如何准确地获取专家知识成为系统工作的瓶颈,将历史数据和专家知识有效结合成为智能建模领域的一个难题.提出一个融合专家知识和历史数据的综合知识建模框架,首先利用简单的IF-THEN推理规则表示专家的经验知识,再基于历史数据设计一系列自动分析方法,通过聚类分析、规则提取、近似推理、规则调整等过程形成一个数据分析引擎,协助专家正确建立并优化知识模型,为领域专家提供一个将个人知识和数据抽取规则相融合的综合建模方法.     

基于数据库的某型装备液压故障诊断专家系统的研究

根据某型装备液压系统故障诊断的知识和系统要求,设计了基于数据库的故障诊断专家系统.针对某型液压系统故障的特点,通过对知识库中规则的优化设计,提高了故障诊断效率.设计中采用Access数据库组建知识库,并结合VB语言建立推理机制,用户只需要在人机交互界面上选择输入详细的故障征兆,系统就可以根据相应规则判断出故障的原因和维修方法.     

信息理解的推理与知识语义结构

主要讨论信息理解的推理形式和机制、规则知识的语义结构以及新知识产生过程；建立了再认推理的记忆矩阵、语义真值及信度的计算规则。     

基于知识的液压系统故障诊断系统

本文探讨了专家系统技术在永磁同步时机设计综合中的应用，知识表示采用符号推理与数值计算并重的规则架／规则体的新形式，并建立了基于规则架的再设计正向推理网络。设计实例表明，我们所开发的永磁同步电动机设计专家系统ＰＭＤＥＳ是成功的。     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6 0开发的一个营养诊断专家系统 ,它属于一种诊断型专家系统。该系统的知识表示使用了产生式规则形式 ,推理机采用了规则推理和不精确推理相结合的方法。在不确定性知识处理上 ,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型 ,使推理机具有较高的准确性。     

层次匹配范例推理在短期负荷预测中的应用

提出了一个改进的范例推理系统来解决电力系统短期负荷预测问题,该系统将范例推理、自组织映射以及模糊粗糙集方法进行了有效的结合.使用模糊粗糙集方法确定了范例的表示、组织方法，并通过自组织映射对历史范例进行聚类.将新问题所对应的范例与各个聚类中心进行匹配，得到最相似聚类，再在该聚类中进行二次匹配，对得到的最相似范例集进行重用、修正，从而得到最终预测结果.使用模糊粗糙集方法可以进行范例属性和匹配权重的合理选择，同时使用自组织映射对历史范例进行聚类，可以减少范例匹配次数和匹配时间.使用该方法不仅可以合理利用历史范例，而且可以通过属性选取、聚类来获取附加知识.实例验证和比较结果表明该负荷预测方法是有效可行的.     

汽车模具标准件选件专家系统中的知识表示方法

探讨了汽车覆盖件模具标准件选件专家系统中的知识表示方法．在选件专家系统中,规则表示是基本的表示方法．同时利用框架表示的高度结构化特性组织元件库;利用它的继承特性,结合规则前提分解的思想,按照元件的应用前提对知识库中的规则进行分类．两种表示方法相互补充,弥补了两者在知识表示方面各自的局限性,实现了知识表示的高度模块化、层次化,推理效率也能得到提高．     

智能模糊控制系统理论和设计方法

简述了智能模糊控制系统的基本原理和设计方法。针对文中的实际电路提出了模糊产生式规则的表示方法和模糊假言推理模型；论述了模糊假言推理的推理算法，并在离散域中对模糊推理算法进行了详细的推导；提出模糊控制器设计过程，输入规格化和模糊化的方法、模糊语言变量的定义和选取、知识库的组建、推理机的算法与实现、模糊判决等。     

一种基于粗糙集和模糊推理的生活方式病检查模型

为了实现从大量的医学数据中获取有效的知识并形成规则和做出正确的推理,提出了一种基于粗糙集和距离型模糊推理进行生活方式病检查的模型.采用改进的依赖度属性约简算法研究属性约简,去掉不必要属性,减小规则库规模,提高粗糙集知识发现方法在医疗健康数据上的分类效率和准确性.采用距离型模糊推理方法匹配知识库中已有规则,计算规则和给定事实的距离进行推理检查,构建距离型模糊推理的检查系统.通过实验数据描述了知识库的构建过程,并验证了模型的有效性.     

一种基于谓词逻辑的分类规则约简方法

利用各种分类规则挖掘方法,提取出的分类规则集中,存在许多的冗余规则,从而降低了分类效率。采用谓词公式描述分类规则,给出了一种分类规则集约简方法。该方法利用谓词公式中的逻辑推理,对分类规则集进行约简,消除了冗余规则。采用恒星光谱数据,实验验证该方法在保证分类规则集的分类能力不变的前提下,有效地提高了分类的效率。     

非线性动态系统相关性推断方法与应用

给出的基于分数维数的推断方法，用于推断两列观测数据是否来自于同一非线性动态系统，以解决非线性经济预测中的变量选择问题；随后对利用ＢＤＳ检验推断非线性可预测性的方法进行了讨论．在一个决策支持系统中，用该方法对国际有色金属市场价格趋势非线性特征进行统计推断与辅助建模，取得了较好效果．     

权值法冲突解决策略的研究及其在保护动作行为分析中的应用

将基于权值法的冲突解决策略,应用于专家系统的推理机设计,提高推理机的效率及结果的可靠性。首先按模型诊断的原理求解并获取冲突集,随后按照不确定性推理的理念,将冲突集中对应的专家系统规则库的每一条规则赋予权值,按照权值大小的不同对冲突集中规则的优先级进行排序,从而确定该冲突集的启用规则。将此冲突解决策略,应用于专家系统的正向推理过程,同时结合继电保护的动作情况原理,实现专家系统推理机的优化与改进。     

指标综合集成的多变量灰色模型预测

社会经济系统是受多因素影响的多层次、非线性复杂系统,因素之间的关系往往具有灰色特征.另外现有的相关统计数据往往偏少且不完整,使得灰色预测方法在社会经济系统中进行预测时受到青睐.在灰色关联度计算的基础上,将处于同一关联层次的指标集成为一个相应的无量纲指标,以关联度值作为权系数进行归一化得到其行为序列后,建立相应的多变量灰...     

改善模糊控制器动态特性的方法研究

分析影响模糊控制器动态性能的若干因素,提出了相应的解决方法,最后通过大量仿真验证了控制器规则设计、隶属函数的选取、比例因子的调整、解模糊策略的确定对提高ＦＣＳ的控制质量有重要意义。     

智能教学系统中自动推理模块的设计与实现

以本实验室研制的约束逻辑程序设计系统BPU-CLP为基础,研制了一个适用于中学数学,面向学生的智能教学系统BPU-ITS-Math. 介绍了BPU-ITS-Math的自动推理模块的设计方法和实现技术,BPU-ITS-Math采用经典的Strips算子表达规则,用BPU-CLP语言的程序实现学科知识库、题库和通用推理机. 以中学教学求函数值域问题为例,详细介绍了规则的设计方法和表达方式,并且给出了通用推理机的向后推理算法. 当前BPU-ITS-Math已成功地解决了200余道求函数值域的习题.