基于领域自然语言理解的知识库管理系统

文中根据数学领域自然语言理解的特点,主要实现了一个基于领域自然语言理解的知识库管理系统,给出了概念知识库异常检测的基本内容、流程和方法.重点分析丁知识库的冗余性、不一致性等方面的内容,给出了相应的检测方法,应用于知识库的具体组织与实现,在一定程度上解决了知识库的冗余和一致性问题.目的是向中学数学智能辅导系统提供自然语言接口,建立领域知识库作为理解建模系统的输入.该系统在教学领域智能辅导系统中得到了较好的应用.     

知识库维护的结构操作语义方法

关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.     

多源数据融合的物联网安全知识推理方法

随着信息技术产业的发展和物联网设备数量的增长,物联网安全防御的难度与复杂度不断上升,针对物联网与供应链的重大安全事件时有发生,这些事件揭示了物联网供应链安全管理的复杂性.目前存在许多信息安全公开知识库可用于物联网安全威胁分析,但知识库的异构性使威胁评估十分困难.对多个信息安全知识库进行研究,将防御方所关注的安全知识来源与攻击者的战术、技术和攻击模式整合成一个统一的关系映射链接图知识库,并导入威胁情报,旨在利用已披露的威胁事件来提升物联网安全威胁要素评估能力.提出了一个物联网供应链风险分析本体RIoTSCO,并以此模型为基础设计了物联网安全下的推理规则,利用本体的表达能力建立物联网安全领域知识之间的语义关系,以解决多源知识的语义异质性问题.同时,在一个物联网环境示例中基于所提方法进行安全评估,自动化推理缓解措施以应对威胁事件,并描绘威胁事件所能波及到的上下游供应链情报全貌.     

一阶逻辑知识库的检测

本文提出的方法是以Loveland的MESON一阶逻辑定理证明过程为基础,用于一阶逻 辑规则知识库的冗余性和不一致性的检测.知识库的规则可包含非真、或及if-and-only-if 规则.系统以交互形式从正、反向推理研究知识库规则增加时的变化.     

基于多Agent的动态物流过程知识库系统

针对物流企业在动态物流过程管理中实时性、敏捷性的要求,提出了一个基于射频识别(RFID)、多Agent的实时过程知识库系统,并阐明了该知识库系统的工作机制.该系统能持续改善物流管理,实现物流过程的知识管理.     

基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.     

模糊描述逻辑知识库查询蕴涵的判定方法

大规模领域本体的快速发展对语义Web领域的数据访问提出了更高的要求,而基本的本体推理服务已不能满足数据密集型应用中处理复杂查询(主要是合取查询)的迫切需要.为此,大量的研究工作集中在本体和描述逻辑知识库合取查询算法的设计实现上,并开发出了很多知识库存储和查询的实用工具.近来模糊本体和模糊描述逻辑的研究,特别是它们在处理语义Web中模糊信息方面,得到了广泛关注.文中重点研究了模糊SH这一族极富表达能力的描述逻辑知识库的合取查询问题,提出了相应的基于推演表的算法,证明了算法对于f-SHOIQ的真子逻辑的可靠性、完备性和可终止性.证明了算法对于f-SHOIQ是可靠的,并分析了导致算法不可终止的原因.对于该问题的数据复杂度,证明了当查询中不存在传递角色时其严格的CONP上限.对于联合复杂度,汪明了算法关于知识库和查询大小的CO3NEXPTIME时间复杂度上限.     

知识库系统的逻辑基础

知识库系统以人工智能为基础结合数据库成为当代社会的一门新兴学科,它的核心是知识库,性能则取决于知识库中知识的质量(有效性、完备性、一致性、结构性)和使用知识的方式(推理),而推理算法是建立在逻辑基础之上的,着重论述了建立知识库的描述逻辑基础,以及对描述逻辑存在的不足之处进行了探讨。     

产生式知识库一致性和冗余性检查

本文介绍了目前应用较为广泛的产生式专家系统知识库的不一致和冗余的几种可能的规则或规则链形式,并给出了一致性和冗余性检查的技术和实现方法.这些技术和方法可以帮助知识工程师有效地建立和维护知识库,并为系统的自动知识获取提供了基础.     

基于Petri网的知识库维护方法的研究

Ｐｅｔｒｉ网作为建立系统模型，性能分析，模拟，系统调度，控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Ｐｅｔｒｉ网在知识库维护方面的应用，包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。     

一种基于Rough集的知识库冗余性化简研究

专家系统知识库的冗余性是影响系统运行效率和知识库维护的一个重要方面。针对一个具体的专家系统——平面几何智能解题系统，分析了关于知识库规则生成时效率低的问题，采用基于粗糙集的化简方法，简化了系统的知识库，减少了知识库的冗余性，提高了系统的效率。     

基于知识表示的联合问答模型

基于知识库的问答系统旨在通过解析用户的自然语言问句直接在知识库中提取出答案.目前,大多数知识库问答模型都遵循实体检测和关系识别这两个步骤,但是此类方法忽略了知识库本身所蕴含的结构信息以及这两个步骤之间的联系.文中提出了一种基于知识表示的联合问答模型.首先应用知识表示模型将知识库中的实体与关系映射到低维的向量空间,然后通过神经网络将问句也嵌入相同的向量空间,同时检测出问句中的实体,并在此向量空间内度量知识库三元组与问句的语义相似度,从而实现将知识库嵌入和多任务学习引入知识库问答.实验结果表明,所提模型可以极大地提高训练速度,在实体检测和关系识别任务上的准确率达到了主流水平,证明了知识库嵌入及多任务学习可以提升知识库问答任务的性能.     

扩充逻辑程序设计的R－演算──知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驳，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论．     

基于本体化知识模型的知识库构建模式研究

在研究了知识模型及知识库相关理论和技术的基础上,结合本体论,提出了一种基于本体的知识模型,并从领域知识、推理/方法知识和任务知识三个角度给出了本体化知识模型基于BNF范式的表达式;基于所建立的本体化知识模型,在对知识进行可拓性分析的基础上,提出了一种知识库结构模式,对于知识模型与知识库的匹配问题进行了讨论,并在理论研究的基础上,给出了利用SQLServer数据库系统建立的知识库示例。     

知识库系统的逻辑基础

针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,义能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.     

扩充逻辑程序设计的R—演算—知识库维护的操作方法

本文首先介绍了知识库维护过程中诸如知识库序列、新规则、用户反驳以及重构等概念；然后给出了一个扩充逻辑程序设计的框架，在这一框架下，每个逻辑程序等价于一个知识库；进一步定义了一个转换系统，称为扩充逻辑程序设计的Ｒ－演算，对一个给定的知识库和用户反驱，此演算可以导出知识库的最佳修正；同时证明了该演算的可靠性和完备性；另外，对本文的工作与其他相关工作进行了比较；最后，给出了本文的结论。     

面向生物医学实体链接的联合式学习方法

生物医学文本蕴含着丰富的探索价值,其为生物医学工作者进行研究提供了宝贵的领域知识.充分且高效地利用海量的生物医学文献,并从中发现重要的隐藏信息、获取专业领域知识,对生物医学研究具有重要的意义.生物医学实体链接是对生物医学文本中的命名实体进行识别,并将表示该实体的某些字符串映射到生物医学领域知识库中对应概念.生物医学实体链接任务通常面临两个主要的挑战：(1)自然语言描述的歧义性.(2)自然语言文本与生物医学知识库的异构性.传统的方法基于特征选择或规则发现,依赖于手动选择特征或定义规则,处理分阶段模型中也可能出现误差传播.因此,本工作提出了一种深度学习和知识库相结合的实体链接方法,通过深度挖掘自然语言文本的隐藏特征,及其与知识库概念图间结构的相似性,将生物医学实体识别与实体-概念对齐两个任务进行联合式处理.该方法旨在通过标准的生物医学知识库,自动获取生物医学实体的语义信息,挖掘生物医学实体之间的语义关系.实验表明,该方法在实体识别与对齐方面取得了较好的效果,显著提高了任务的精确性,在实体链接核心任务上取得了超过10%的性能提升.     

行业信息化知识库系统知识库设计

行业信息化知识库(KBI)有别于一般的知识库和专家系统,所以根据需求,采用了知识本体的知识表示形式,为了更合理的建设知识库,通过对行业信息化知识的行业结构分析,构建了知识模型,并依据知识表示形式以及构建的知识模型,设计了行业信息化知识库系统的知识库.该知识库是针对战略物资行业的,提出了知识库系统的总体结构,把知识库和数据库相结合,进行了知识库结构的逐步设计.     

重点行业知识库构建与管理实现技术

重点行业信息化知识库是一类结构复杂、功能繁多的知识库系统.知识库结构设计以及检索技术的实现决定着知识库功能与性能.基于本体与行业信息化知识体系,对行业信息化知识库结构设计与知识检索等知识库关键技术进行了研究.基于对象数据模型分析进行了知识库设计,基于匹配算法实现了知识构件匹配.结合北京市重点行业知识构库建实现了相关技术,并通过原型系统验证了知识管理技术的有效性.     

基于知识库系统的中文智能搜索引擎

随着信息技术的发展和信息量的增长,传统的搜索引擎技术日益不能满足用户信息查询的需要.目前.搜索引擎技术与人工智能(AI)技术的结合已经成为网络信息搜索的关键技术与核心思想.一种基于知识库系统的智能搜索引擎技术已成为当前研究的热点.主要介绍基于知识库系统的中文智能搜索引擎及其实现技术,以及中文智能搜索引擎的主要发展方向.