检索结果-内蒙古大学图书馆

华侨大学学报（自然科学版） 2018年第1期39卷 92-97页

作者：戴茵茵彭翔王飞华侨大学信息科学与工程学院福建厦门361021

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式... 详细信息

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.

关键词：产生式推理格值自动机正确性验证故障诊断辅助决策

来源：评论

学校读者我要写书评

暂无评论

有限状态自动机产生式推理的一般性建模方法

引用

自动化仪表 2014年第5期35卷 9-12页

作者：彭翔王飞华侨大学信息科学与工程学院福建厦门361021

自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以... 详细信息

自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以进行多条产生式推理的一般性模型,且给出了建模流程图。最后,通过实例分析验证了由一般性建模流程构建的推理模型的正确性。推理模型可以充当故障诊断专家系统的辅助决策系统,具有较好的现实意义和实用价值。

关键词：有限状态自动机产生式推理一般性建模故障诊断辅助决策

来源：评论

学校读者我要写书评

暂无评论

基于离散事件系统的产生式推理故障诊断建模方法的研究

基于离散事件系统的产生式推理故障诊断建模方法的研究

引用

作者：彭翔华侨大学

学位级别：硕士

故障诊断是目前的热门研究领域之一,随着人工智能技术的不断发展,基于产生式系统的故障诊断专家系统也是目前的研究热点。但是产生式系统本身存在推理效率较低、不能结构性表示知识等缺点,用自动机对产生式推理系统进行建模与推理,是克... 详细信息

故障诊断是目前的热门研究领域之一,随着人工智能技术的不断发展,基于产生式系统的故障诊断专家系统也是目前的研究热点。但是产生式系统本身存在推理效率较低、不能结构性表示知识等缺点,用自动机对产生式推理系统进行建模与推理,是克服上述缺点的一种有效方法;同时,在针对较为复杂的产生式系统时,产生式系统中规则间相互调用的逻辑正确性验证,也是产生式系统正常运作的保证,用自动机模型对产生式系统进行建模,则可利用自动机本身严密的逻辑性质对产生式规则间的逻辑正确性进行验证。本文基于自动机这种离散事件系统的建模工具,提出了基于一般自动机的产生式系统建模方法,并提出了基于格值自动机的确定性产生式系统与模糊加权产生式系统建模方法:1、提出了基于一般自动机的产生式系统建模方法。结合产生式推理与自动机的特点,构建了推理机模型,并泛化为可以进行多条产生式推理的一般性模型,给出了建模流程图以及模型简化方法。最后,进行实例分析,验证了方法的有效性。2、提出了基于确定性格值自动机的产生式系统建模方法。这种方法是基于一般自动机建模方法的理论延伸,在继承了一般自动机建模方法特点的同时,结合格值自动机的特殊理论,提出了模型简化方法、规则间逻辑正确性的验证方法以及模型随规则库知识增减而更新的方法。最后,用相同的实例与一般自动机建模方法进行对比分析,在验证该方法有效性的同时也验证了该方法相比于一般自动机建模方法的优势。3、提出了基于模糊格值自动机的模糊加权产生式系统建模方法。该方法是对确定性方法的模糊推广,可以处理模糊的推理信息,并用三角模糊数来描述推理结果的评价语言。最后,将该方法用于电网故障诊断系统中,通过模糊推理计算与分析验证了该方法的有效性。本文提出的这些产生式推理建模方法均为一般性方法,可以对各类产生式系统进行建模与推理,在克服传统产生式系统本身缺点的同时,能对相关的故障诊断专家系统起到辅助决策的作用,有较好的现实意义与实用价值。

关键词：故障诊断产生式推理建模方法自动机格值自动机

来源：评论

学校读者我要写书评

暂无评论

基于有限状态自动机的产生式推理

基于有限状态自动机的产生式推理

引用

2008’“先进集成技术”院士论坛暨第二届仪表、自动化与先进集成技术大会

作者：王书振李雷王保保西安电子科技大学计算机学院

本文提出一种用有限状态自动机的代数理论,为产生式推理的正向推理与或树建立数学模型的方法,并将产生式推理过程中的概念和结构映射到有限状态自动机的概念和结构上,同时给出了产生式推理的语义形式化描述。

关键词：产生式推理推理树有限状态自动机代数模型

来源：评论

学校读者我要写书评

暂无评论

基于规则库的巡线机器人自主越障动作规划

引用

机器人 2005年第5期27卷 400-405页

作者：李恩梁自泽谭民中国科学院自动化研究所复杂系统与智能科学实验室北京100080

在电力线巡检机器人的控制系统中,采用分层规划的方式,利用产生式推理从行为规划的层次上进行在线规划,生成行为序列,然后将生成的行为序列与离线规划出的知识库相结合,生成自主越障的动作序列,实现机器人越障的自动控制.本文探讨了整... 详细信息

在电力线巡检机器人的控制系统中,采用分层规划的方式,利用产生式推理从行为规划的层次上进行在线规划,生成行为序列,然后将生成的行为序列与离线规划出的知识库相结合,生成自主越障的动作序列,实现机器人越障的自动控制.本文探讨了整个越障规划的控制过程和规划方法,并通过实验验证了动作规划的可行性.

关键词：巡线机器人产生式推理智能控制

来源：评论

学校读者我要写书评

暂无评论

植物营养诊断自动应答网络专家系统研究

植物营养诊断自动应答网络专家系统研究

引用

作者：黄魏华中农业大学

学位级别：博士

在作物生长领域，营养元素作为生长的关键因子之一，当必需元素缺乏或过量时，作物会表现出特殊的症状。这种在外观上看到的症状有助于人们对作物营养状况的了解，也是诊断作物营养状态的重要指标。目前，在我国农村基层，还相对缺乏有... 详细信息

在作物生长领域，营养元素作为生长的关键因子之一，当必需元素缺乏或过量时，作物会表现出特殊的症状。这种在外观上看到的症状有助于人们对作物营养状况的了解，也是诊断作物营养状态的重要指标。目前，在我国农村基层，还相对缺乏有经验的植物营养诊断专家；农民对作物因营养元素异常导致的症状表现认识不够，因此不能科学地诊断和及时校正营养元素的丰缺。研究将网络技术、数据库、自动分词等现代计算机技术与传统农业技术结合，开发面向专业领域的植物营养诊断自动应答系统诊断专家系统。研究分析和讨论了知识获取与知识表示的方法，在分析了植物营养知识特点的内在规律的基础上，采用了专家知识和文献知识两种主要获取方法。在研究过程中，参考了大量的相关资料，收集了覆盖常见作物的元素丰缺条件下的典型与非典型症状描述，直接进入数据库的有286条。以此为基础，提出了作物营养元素症状描述的客观标准集：1)按元素分类建立了12种元素的客观标准集；2)在对客观标准集分析归纳的基础上，建立了植株的表观症状描述、部位的表观症状描述、叶片的表观症状描述和诊断检索表；3)以SQL server2000为数据库平台，介绍了数据库的物理设计和逻辑设计。在已建各类知识的基础上，提出了面向植物营养诊断的分词模型PDCWSM(Plant Diagnose Chinese Word Segmentation Model)，从分词精度和可靠性判断，确定了以双向扫描法为主、逐词遍历法为辅的分词方法，对于典型症状描述，分词精度可达95％；对于非典型症状描述，分词精度可达80-85％，基本上满足了系统需要。推理过程结合植物营养专业知识和其内在规律性，提出了系统的回溯策略和不可回溯策略，提出采用正向推理结合反向推理的混合推理方式。根据植物元素功能及对症状的表现规律，研究建立了18条产生式推理规则，构建了CERTAIN与UNCERTAIN表，实现了在理想条件下三级推理和非理想条件的CF置信区间判断加提问的产生式推理过程。根据诊断结果建立了复混肥优化配方的对偶模型规划，利用其双向分析功能对配方进行了深入分析。在实现经济配方基础上，利用缩减成本分析了原料未采用的原因是其有效成分与价格不匹配。对已进入配方的原料进行了灵敏度分析，探讨了价格波动对配方的干扰程度，并指出磷元素为目前配方的价格最敏感因子。复混肥中三种主要元素的影子价格为钾＞磷＞氮，说明钾元素对总经济成本影响最大。

关键词：植物营养诊断自动应答自动分词网络专家系统产生式推理线性规划对偶模型

来源：评论

学校读者我要写书评

暂无评论

基于专家系统的飞行器评估系统研究

基于专家系统的飞行器评估系统研究

引用

作者：陈帅均中国科学院研究生院（光电技术研究所）

学位级别：博士

针对当前专家系统知识自动获取困难、自学习机制不足，推理效率低下等问题，对基于MapReduce的知识抽取技术，基于范例推理、范例相似度计算、范例约简算法，和基于产生式推理的规则与事实的表示、推理机制、RETE匹配算法等进行了深入... 详细信息

针对当前专家系统知识自动获取困难、自学习机制不足，推理效率低下等问题，对基于MapReduce的知识抽取技术，基于范例推理、范例相似度计算、范例约简算法，和基于产生式推理的规则与事实的表示、推理机制、RETE匹配算法等进行了深入分析与研究，提出了一些优化算法与新的模型，解决在飞行器评估领域要求能处理模糊知识、实效性强的应用问题。飞行器的参数（属性）繁多，但仅有部分参数对模式分类和评估有重要作用，如何提取重要参数为专家后续分析、总结评估规则，具有重要意义。基于粗糙集的知识抽取技术便可以从历史数据中众多的参数里面抽取重要的参数，经典的算法是一次性将小数据集装入内存进行计算，但无法处理像飞行器历史数据这种大数据集。本文分析了粗糙集理论中知识抽取算法的可并行性，构建了一种基于MapReduce的知识抽取模型，用于并行计算基于正域、边界域、信息熵的参数重要性测度。最后在Hadoop平台上进行了相关实验，实验表明，该技术能高效地处理飞行器历史数据等海量数据集。飞行器评估规则不成熟，评估参数之间关系复杂，模糊性强，因此从参数到顶层事实的推理不能采用“非白即黑”的二值逻辑。为了计算顶层事实的状态及置信度，本文提出了基于范例推理的方法，即根据历史数据指导评估飞行器当前的状态。首先介绍了当前常用的范例相似度度量方法如枚举型距离、欧氏距离、基于本体论的语义相似度、曲线相似度等，针对KNN经典算法的不足，提出引入权值和概率分布的KNN改进算法。最后，针对经过多次范例推理后范例库不断增大而导致占用存储空间大、检索速度慢等问题，提出了基于效用值的范例库记忆算法和基于支持向量的范例约简算法。随着对飞行器评估研究的深入，专家总结的规则也不断增多，规则的增多会导致知识库的不一致和推理机效率的下降。因此本文研究了不确定性产生式专家系统的体系结构，介绍了产生式知识的表示、飞行器评估中不确定性的来源、不确定的传播、前向推理方式、知识库一致性维护、解释机制等，深入剖析了经典的RETE匹配算法及常用的改进策略，最后提出基于代价模型的RETE优化算法，减少了匹配过程中join结点的数目，降低RETE匹配过程中的空间复杂度和时间的复杂度，提高了推理效率。针对飞行器评估任务中数据种类多、数据量大、实时性强、评估过程复杂等问题，提出一种混合推理模式的飞行器评估系统。该系统包括多个功能独立的模块，能够完成从飞行器原始数据到最终评估结论的推理和寻因。为了满足实时性需求，本文提出评估树结构和触发点机制。根据飞行器评估的特点，提出知识库与推理机分离、计算与推理分离的三层结构的评估推理系统，在顶层事实获取阶段采用范例推理，充分利用其非精确推理和自学习的优点；在评估推理阶段，采用高效的精确的产生式推理机制。通过历史数据的仿真测试，该系统能够即时完成飞行器评估，评估过程全程自动化。

关键词：专家系统 MapReduce 粗糙集知识抽取范例推理范例约简范例相似度产生式推理飞行器评估

来源：评论

学校读者我要写书评

暂无评论

一种混合推理模式的飞行器评估系统设计

引用

计算机工程与应用 2014年第7期50卷 5-9页

作者：陈帅均周进吴钦章中国科学院光电技术研究所成都610209 中国科学院大学北京100049

针对飞行器任务评估中数据种类多,数据量大,实时性强,评估过程复杂等问题,提出一种混合推理模式的飞行器评估系统。该系统包括多个功能独立的模块,能够完成从飞行器原始数据到最终评估结论的推理和寻因。为了满足实时性需求,提出评估树... 详细信息

针对飞行器任务评估中数据种类多,数据量大,实时性强,评估过程复杂等问题,提出一种混合推理模式的飞行器评估系统。该系统包括多个功能独立的模块,能够完成从飞行器原始数据到最终评估结论的推理和寻因。为了满足实时性需求,提出评估树结构和触发点机制。根据飞行器评估的特点,在顶层事实获取阶段采用范例推理,充分利用其非精确推理和自学习的优点;在评估推理阶段,采用高效精确的产生式推理机制。历史数据的仿真测试表明该系统能够即时完成飞行器评估,评估过程全程自动化。

关键词：范例推理产生式推理评估树飞行器评估

来源：评论

学校读者我要写书评

暂无评论

水利水电工程施工导流方案决策专家系统

水利水电工程施工导流方案决策专家系统

引用

作者：皮钧天津大学

学位级别：硕士

水利水电工程施工导流方案决策受众多因素的影响,是一个半结构化的问题,不能完全用结构化方法来描述.解决这类问题要借助于经验的、尚未形成科学体系的知识.专家系统具有知识与判断相结合、不规则数据的处理与分析等特征,在施工导流方... 详细信息

水利水电工程施工导流方案决策受众多因素的影响,是一个半结构化的问题,不能完全用结构化方法来描述.解决这类问题要借助于经验的、尚未形成科学体系的知识.专家系统具有知识与判断相结合、不规则数据的处理与分析等特征,在施工导流方案决策的领域中具有广阔的应用前景.该文采用框架式知识表示方法表示施工导流方案决策的专家经验和规程规范等知识;按产生式推理原则,首先以正向推理得到初选方案,然后采用逆向推理,通过深度搜索和广度搜索对初选方案进行论证和检验,最后得到最终方案.作者开发了水利水电工程施工导流方案决策专家系统的计算机软件(DLES),并对该软件进行了单元测试、整体测试和系统测试.许多工程实例验证了DLES软件的可行性.

关键词：施工导流方案决策专家系统框架式知识表示产生式推理

来源：评论

学校读者我要写书评

暂无评论

心电向量图诊断系统的推理模型

引用

机器人 1987年第4期 43-46页

作者：洪子泉朱宗正华东工学院计算机科学与工程系华东工学院计算机科学与工程系南京

本文描述了在基于心电向量图的心脏病计算机诊断系统中所采用的诊断推理模型。我们在产生式系统中引入了统计分类技术,提出了一个有效的心电向量图统计模式分类器。产生式系统的推理采用假设演绎法。统计分类器首先对病例作初步分类,生... 详细信息

本文描述了在基于心电向量图的心脏病计算机诊断系统中所采用的诊断推理模型。我们在产生式系统中引入了统计分类技术,提出了一个有效的心电向量图统计模式分类器。产生式系统的推理采用假设演绎法。统计分类器首先对病例作初步分类,生成比较集中的疾病假设。产生式系统依此作逆向推理,从而获得较准确的结论。

关键词：推理模型心电向量产生式推理瞬间向量统计模式识别统计分类器诊断系统基于规则的系统产生式系统模式分类器线性分类器产生式规则系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：