电子设备故障诊断外推推理机模型

基于扩展的集合覆盖理论,本文提出了电子设备故障诊断外推推理机模型,并给出了算法.该模型的主要优点是:抓住了人类专家诊断推理的特点,兼顾多种故障假设,便于容纳各种不精确的推理形式.     

基于规则的数据校验在数据库应用系统中的实现

本文给出了一种规则库的概念来扩充数据库应用系统的校验的功能,使系统能够对规则进行动态读取和分析,并根据分析结果对输入数据进行动态校验.本文介绍了数据库报表系统中的校验模型,并运用一种规则库执行流图REBF描述了规则库图模型,之后论述了该系统中具体的规则库的建立及规则表结构,并通过对推理过程的不确定性的分析,证明了规则的有效性,最后给出了基于规则的动态分析及推理过程.     

基于规则的非精确反向推理专家系统

专家系统是人工智能的重要应用领域,基于反向推理的产生式系统是其最有效的知识表示形式和逻辑推理的基本模型.在详细分析其基本结构的基础上,采用规则和确定性因子描述不确定性知识,提出了反向非精确推理的算法,分析了解释机制、知识获取机制的实现手段,为专家系统的设计与开发提供了重要依据.     

云计算环境下的SWRL规则分布式推理框架

为解决传统推理引擎在进行大规模OWL本体数据的SWRL规则推理时存在的计算性能和可扩展性不足等问题,提出了云计算环境下的SWRL规则分布式推理框架CloudSWRL.根据SWRL规则语义,并以Hadoop开源云计算框架为基础,设计了OWL本体在HBase分布式数据库中的存储策略,定义了SWRL规则解析模型和相关推理中间数据模型,提出了在DL-safe限制下基于MapReduce的SWRL规则分布式推理算法.实验结果表明,在对大规模OWL本体进行SWRL规则推理时,CloudSWRL框架在计算性能和可扩展性方面均优于传统推理引擎.     

工程分析专家系统的问题求解黑板模型

问题未解模型是组织推理步骤和领域知识进行问题求解的一种模式,本文主要讨论了基于黑板模型的工程分析专家系统的设计方法,包括专家策略知识的多层次表示,深度优先搜索及推理网格的实现,协同式多专家系统的多级推理网络模型的构造,解释机构与人机接口设计以及推理算法.     

结合定性知识的定量贝叶斯模型外推方法 

针对新设计域中试验数据有限而难以进行模型验证的问题,提出了定性知识与定量贝叶斯推理相结合的模型外推方法.其中,量化方法用于将领域专家意见等定性知识转化为先验概率;贝叶斯网络及限定抽样范围的蒙特卡罗方法用于定量推理,并通过贝叶斯区间假设检验的贝叶斯可信度提供模型外推结果.对Sandia国家实验室某静态力学结构的研究表明,该方法能有效实现新设计域不确定性系统的模型可信度外推.     

通用专家系统设计

简要分析了专家系统的功能、结构;设计了产生式规则的专家系统知识表示、正向推理的推理机、基于最先匹配的冲突消解方法、以及基于预制文本的推理解释方法.     

基于知识的心电图自动诊断系统的设计

介绍了基于知识的心电图自动诊断系统的系统构成及设计过程中采用的关键技术.模拟了现实世界心电专家根据心电图进行诊断的思维方式,揉进了可能性理论和模糊理论的概念,同时又避免了复杂的推理过程.其心电图病理数据库由知识库和规则库两部分组成,采用数据库形式存储.推理诊断系统采用数据驱动的正向推理结合基于CF模型的不精确推理.推理诊断系统与知识库和规则库的实际存储内容没有必然联系,所以适用于诊断型的专家系统.     

基于规则推理的汽车冲压件成形工艺性分析

提出了一种新的汽车冲压件产品模型的表达方法,即冲压件特征语义树.该方法从产品模型所包含的海量、离散、底层、冗余的几何、拓扑信息中提取出工艺设计者所关心的带有特定工程语义的高层几何、拓扑信息,因此,它既能够表达形状特征的高层几何、拓扑信息,又能够表达产品模型所包含的丰富工程信息.同时,提出一种新的基于规则的推理策略,即规则-语义推理策略,在冲压件特征语义树和工艺设计规则之间进行搜索、匹配.并基于冲压件特征语义树和规则—语义推理策略,提出一种新的冲压工艺性分析方法,避免了针对自由曲面模型的自动特征识别和针对产品模型的底层数据的推理.     

基于元推理的专家系统规则调用

本文给出一个基于元推理的专家系统规则调用模型，并给出了运用这一模型的一个实例。     

集成节约覆盖模型与概率推理的新方法

通过引入概率信息,本文主要解决了同时考虑已知存在的和缺席的征兆时各诊断解的相对似然值的计算、同时性诊断问题的求解以及序贯诊断中的最佳测量点选择等问题.     

基于规划识别的主体协作

以共享规划主体协作理论为基础,提出了基于规划识别的主体协作模式,本方法将根据协作主体的行动和偏好,对协作主体的行动规划进行识别．规划识别过程是一个双向的推理过程,正向推理从主体的意图出发,给出初始规划假设的集合;反向推理从协作主体已经采取的行动出发,通过溯因推理进一步对规划假设进行识别．与共享规划模型比较,本方法在不增加通信的前提下将更好地避免协作主体间的冲突．     

基于模型预测和溯因推理网络的电网故障诊断方法

考虑电网出现故障时,仅依靠开关量状态信息进行诊断,诊断信息冗余度低,复杂故障情况下会影响诊断结果的准确性.引入电气量信息,提出了模型预测和数据清洗方法,建立电网故障诊断系统.利用模型预测得到准确的电气量信息,建立清洗规则和逻辑推理规则,分别对开关量进行数据清洗和验证故障信息.在此基础上,利用溯因推理网络(abductive reasoning network,ARN)对故障信息进行诊断,得出候选故障.仿真结果验证了该方法的有效性和准确性.     

基于粒计算Rough集模型的逻辑推理应用研究

讨论了粒计算理论信息粒子的构成,结合Rough集知识模型给出了信息决策系统不确定性推理的粒计算公式及其过程.针对水产养殖中鱼病诊断信息的模糊性、随机性等不确定特点,通过鱼病症状集形成条件属性粒子、疾病集形成决策粒子而构成的模糊信息决策表,描述出主要逻辑推理算法,即鱼病诊断的规则获取过程,促进粒计算理论应用,同时也为鱼病诊断领域提供了新方法.     

集成节约覆盖集理论和模糊概率推理的方法

本文运用Bayes定理分析了各种故障发生的先验概率对在已知征兆下判断故障的准确性的影响情况;论述了使用模糊概率描述征兆、故障、征兆与故障之间的映射关系等的方法;在将模糊概率和节约覆盖集理论集成的基础上,提出了基于浅知识的新的诊断推理方法.该方法在一定程度上减小了获取有关概率知识的难度,并对概率值的定义误差有一定的容错能力.     

一种基于因果网络模型的诊断推理模型

提出一种基于因果网络的诊断推理模型.该模型用因果网络表示诊断对象的领域知识,不仅能有效地表达知识的不确定性,更重要的是解决了知识的不完备问题.该模型的推理过程分为领域相关的环境集识别和领域无关的诊断解产生两个阶段,增加了算法的柔性和通用性.     

论审判活动中的法律假言推理

法律假言推理是诉讼活动中的重要推理，分析和探讨审判活动中法律假言推理的特征及其结构形式，旨在阐明为了获得可靠，准确的审判结论；除了要具备相关的法律知识以外，还需具备法律逻辑的基础知识，在逻辑的层面上来理解和把握法律规定，进行有效的法律推理，力审判结论提供思维保证。     

基于多色集合理论的概念设计形式化解决方法

应用多色集合理论的个人颜色、统一颜色和递阶结构树建立了产品的概念设计递阶结构信息模型，分析了概念设计产品信息模型中的三类约束关系，并用统一颜色和元素个人颜色之间的的模块布尔矩阵对这些约束关系进行了形式化描述．提出了产品概念设计推理过程的形式化方法，实现了从产品功能需求到方案元表示的可行方案的推理过程，并把推理结果提供给下层设计进行优选和评估．最后，以隔振系统的概念设计为例验证了该方法．研究结果表明，该方法可以快速地对产品概念设计进行信息建模，为知识创新提供了一个全新的思路。