基于领域本体的知识库架构和实现

知识库是基于语义的信息检索进行推理和知识积累的基础和关键,而本体Ontology则是知识库的基础.对基于本体的领域知识库架构及知识推理系统进行了分析研究,以高中生物学知识库的构建为应用背景阐述了领域本体概念树的抽取过程,并应用建模工具Protégé构建了OWL语言描述的生物学领域知识库实例,为下一步实现知识推理完成了知识表示.     

一种新的基于假设的自然推理系统

本文在介绍自动定理证明的历史和分析自然推理研究的现有成果的基础上,提出了用以实现启发式自然推理系统HNDS的确定性推理算法。并设计了用作推理基本手段的假设机制。本系统采用知识库系统的软件结构,面向标准形式的命题逻辑和一阶谓词逻辑,对系统定理能给出清晰的类人证文过程。HNDS系统基于的推理算法理论上是合理的和完备的,这主要因为系统结合了自然推理与消解原理,并首创了量词逐层Skolem化的策略。     

肺心病早期无创性诊断专家系统

用PROLOG实现的分类专家系统,着重介绍了知识的获取、知识库的结构及其推理机制。系统用产生式规则表示知识,采用正向推理策略,较准确地模拟了专家的施治过程。     

知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

烧结过程异常状况诊断专家系统SPADES(Ⅱ) --关键技术

知识库构造和推理机设计是实现专家系统的关键技术.烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点.采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式.知识库的组织包括数据库、事实库、模型库和规则库.规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的元素,确定出现的异常类型;异常原因分析和操作决策采用正向推理.对于本系统中模糊规则的模糊性传递问题,采用基于确定因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法.SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理.     

基于案例推理的知识库系统设计

基于案例推理技术是近年出现的具有一定的代表性的推理技术,利用这种技术进行知识库系统设计可简化问题,提高效率。从基于案例推理机制入手,阐述了基于案例推理知识库系统的工作过程和原理,提出了系统设计的方法。     

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

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

船舶电气设备故障诊断专家系统建造策略

根据故障树模型,利用生产式表示法进行知识表示,采用反向推理、广度优先搜索策略及确定性推理的方法,借用关系数据库ACCESS实现知识库,以STEIN SHON机舱监视系统为例,建立故障诊断专家系统．该系统能实现单源故障推理、多源故障推理、故障解释、故障处理和历史故障记录功能．     

刀具基准模板智能选择专家系统中的控制策略设计

阀结合刀具智能设计中刀具基准模板及其领域知识的特点,提出一种"分类选择式"推理控制策略。该策略将刀具知识库基于刀具类别划分为若干子知识库,冲突消解策略采用以递归调用为核心的回推计数排序法,可降低系统建造难度,有效改善推理中易出现的"匹配冲突"、组合爆炸"、无穷递归"。该控制策略在刀具基准模板智能选择专家系统中得到验证,推理效果良好。     

基于本体的领域知识库构建及推理研究

文章基于本体、资源描述框架、本体描述语言OWL、描述逻辑，对领域知识库的构建及知识推理等方面进行了研究，阐述了基于本体的领域知识库构建的方法，并且介绍了常用软件领域知识库的构建实例，对基于描述逻辑的知识库推理进行了研究，并以实例说明其应用。     

数据库与知识库的数据转换接口的数学模型研究

本文提出智能网络结点－－智能工作站的重要组成部分,即知识库系统中关系数据库与知识库的接口功能实现的数学模型。该模型是在分析关系数据库的关系模型和基于逻辑模式的知识库模型的基础上提出的,并研究了在该模型的基础上的推理查询方法。该数学模型对数据库智能化及将关系数据库扩展成知识库提供了有效的研究途径。     

面向对象的复杂系统诊断知识表达与推理

基于面向对象的知识表达方法,建立了复杂系统诊断知识表达和组织模型,并讨论了诊断系统的推理行为.对应于复杂系统的结构元素的诊断基元是表达诊断知识的基本单元,构成知识库的原型知识库和系统知识库,分别对应于问题领域和具体诊断对象;诊断系统通过消息传递推理引导层间诊断,并基于“假设产生-假设建立”的推理完成基元的层内诊断.     

基于实例与知识的智能CAPP策略

提出了一种新的基于实例与知识的混合推理策略，它既可通过对已存在的实例零件的工艺进行变异设计来获得当前零件的工艺，也可根据工艺知识库中的知识进行创成设计，介绍了基于实例与知识的ＣＡＰＰ系统的总体结构。给出了实例与知识的表达方式，并详细讨论了基于实例和基于知识两种推理的实现过程。     

基于粗糙集的风湿性二尖瓣狭窄疾病诊断

在疾病诊断的专家系统中，知识库的建立是一直困扰系统建立的瓶颈问题．知识库的好坏不仅影响到后续推理过程，而且还对诊断的精度有着很大的影响。文章在粗糙集理论基础上，以风湿性二尖瓣狭窄知识库为例，使用基于粗糙集理论的规则提取技术，对病例资料数据库进行数据分析，与临床表现之间建立合理的推理关系，并结合医生的临床实践，最终形成一个比较完备的诊断知识库，为实际的推理、解释程序打下良好的基础。     

决策支持系统中的知识库系统的增量式开发

提出了一种新的知识库系统开发的模式——知识库系统的增量式开发模式，研究了增量式知识库系统的原理及其开发过程。并预测了知识库系统的发展趋势．     

可拓知识库系统及其应用

知识库系统是一种专门存储、管理大量知识的机构。文章以可拓学的理论和方法为指导,提出可拓知识表示法和可拓知识库系统的特点与构架。给出了可拓知识表示的形式化语义,其基本单元是知识物元;阐述了矛盾问题求解的形式表示,其核心是问题的物元模型,通过可拓算子把不相容问题转化为相容问题;相关方式推理是可拓知识库系统推理机的特点,是传统规则推理的推广。可拓知识库采用可拓知识表示方法,是传统知识库的一个超集;可拓知识库系统由目标库、条件库、公用知识库、分类知识库、推理机与知识库管理系统组成。     

面向埋弧焊的专家系统

将数据库技术融入到专家系统的开发中,提出了基于数据库的框架知识表示方法和基于数据库结构的埋弧焊知识库建立方法,开发了面向埋弧焊特定需求的专家系统,详细介绍了该埋弧焊专家系统的知识获取、知识库管理、咨询与推理原理及实现.系统运行表明,由于该专家系统引入了数据库技术,实现了知识与推理机制的统一,较好地解决了知识库的关键问题--维护与管理,便于系统的完善与升级,系统具有操作方便、功能实用、界面友好等特点.     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识 ,设计实现了一个名为 OKPS的专家系统开发平台 ,用于构造和使用专家系统 .系统由两部分组成 ,即知识获取和管理工具 ,以及面向对象推理机 .前者为知识工程师提供高效地建立、扩充和维护专家系统的工具 ,它采用面向对象知识表示方法 ,分层次地向知识工程师展示知识库的全部结构 ,采用可视化的手段辅助知识工程师构造知识库 ,同时还隐藏了知识库到数据库这一存贮映射过程的实现细节 ;后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制 .此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程     

基于ASP的网络化制造资源智能检索知识库模型设计

在对网络化制造资源知识表示进行研究的基础上,提出了从时间、质量、成本、服务、敏捷性、领先性、历史记录等多项指标来分类、描述、存储、管理制造资源知识。结合知识表示与推理、机器学习、数据挖掘、信息过滤、人机交互等多项技术构建了智能化检索系统知识库模型,并对该系统执行机制进行了相关介绍。重点对该知识库的结构模式,相关知识获取、以及推理过程等关键技术问题进行了描述和分析。     

计算机汉语理解系统

以地理知识为背景对人机对话作了探讨，研制了一个计算机汉语理解系统，结合实例对该系统的功能及工作过程进行了详细的分析，着重对词典、知识库及工作场的存储格式进行了探讨，该系统还使计算机具有一定的智能，具有学习和推理功能。