基于框架的知识库管理系统

框架系统作为知识表达的最有效方法之一,以其独特的知识结构化风格在知识工程技术中日益受到人们的青睐。本文用Prolog逻辑程序设计语言的表处理技术实现了框架系统,设计出一个基于框架的可自定义并可多途径自行维护的知识库管理系统。     

Prolog语言与关系型数据库

本文对 Prolog 语言与关系型数据库进行了比较,分析了两者之间的相似之处和主要差异,指出采用 Prolog 语言与关系型数据库相结合构造知识库存在的种种问题,在此基础上探讨了研究知识库的新途径。     

智能通信网推理机制的研究

为了在语义网的构架中实现元数据的交互.针对一种特定的语义网——智能通信网,研究其推理机制.分析OWL DL语言的描述能力,在其蕴含的知识基础上建立Prolog推理规则,通过Visual Prolog逻辑编程实现了智能通信网的自动推理,并用实例验证该推理系统可完成知识库中元数据的交互,达到人机交互协同工作的要求.最后通过实验检测说明智能通信网推理系统与普通万维网相比,查准率更高.     

智能通信网推理机制的研究

为了在语义网的构架中实现元数据的交互.针对一种特定的语义网——智能通信网,研究其推理机制.分析OWL DL语言的描述能力,在其蕴含的知识基础上建立Prolog推理规则,通过Visual Prolog逻辑编程实现了智能通信网的自动推理,并用实例验证该推理系统可完成知识库中元数据的交互,达到人机交互协同工作的要求.最后通过实验检测说明智能通信网推理系统与普通万维网相比,查准率更高.     

ESORR-1的知识库结构及不确定性推理方法

本文在分析了单线铁路技术改造方案决策领域知识结构的基础上,提出了一种组合式的知识表示方法,并进一步对优化知识库技术进行了探讨.此外,还在D/S证据理论的基础上,通过建立一种基于区间表示的不确定推理方法,较好地把存在于该领域中的不确定性进行了综合处理.该系统的知识库和不确定性推理方法已在IBM-PC微机上用Turbo Prolog(2.0)开发完成.     

知识基工艺设计专家系统

系统使用Visual Prolog语言，基于知识进行计算机辅助工艺设计。在系统中采用零件特征与加工特性相结合的方法描述零件；分层和分类收集存放知识，知识基与推理机分离，用户可以打开知识库根据要求修改知识；推理机制采用反向推理，进行合一算法自动生成工艺规程。     

CAI专家系统在给排水工程教学上的应用

本文简要介绍了CAI专家系统的构建过程、Prolog语言的规则语言范式,推理过程以及控制策略,并以建筑给排水为例,讨论了知识库的构建。     

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

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

基于J2EE的知识库管理系统

知识库管理系统可以对组织内部的信息、数据、文件等所有称之为"知识"的进行系统的管理,达到提高组织效率的目的。本文设计了一个知识库管理系统,该系统的目的是可以让不同权限的用户来存储、获得及管理知识。系统基于JSP技术及SQLSERVER实现,目前该系统已在A高校成功运行,应用在学生学期项目、企业合作项目及毕业项目的管理方面。     

Prolog语言与Gdel语言中元程序设计方法的研究

元程序设计是许多逻辑程序语言具有的重要特点,它可以有效地实现程序自解释自调节功能,研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义.Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能.本文通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,具体分析了Prolog语言与Gdel语言元解释程序的构造方法以及部分求值功能实现.     

数据库设计专家系统自然语言接口研究

该文应用人工智能技术对数据库设计专家系统的自然语言接口设计作了初步探索。作为实例,为数据库设计专家系统(ERGTORS)设计了一个具有有限英语子集的自然语言接口,并在IBM-PC上用Turbo Prolog实现。     

基于PowerBuilder的自学习规则型选择流域单位线专家系统

为了解决传统的使用单位线法中过于简化的问题，提出了一种用专家系统自动选择单位线的新方法。研究了流域降雨特性与单位线关系，对自学习规则型选择流域单位线专家系统（SCUHES）的知识库、推理机、自学习规则算法及学习机等方面进行了研究，结合专家和运行人员的经验，以PowerBuilder(PB)为开发工具，创建了选择流域单位线专家系统，最后给出了ES在防洪决策支持系统（简称FcDSS)中的应用结果。     

CAD的智能化

本文提出Turbo CAD与Turbo prolog的组合应用,在用Turbo CAD绘出所需图形的基础上,通过Turbo prolog的逻辑推理,实现CAD智能化。阐述CAD智能化的原理,并通过实例说明其应用。     

Visual Prolog的回溯机制分析

回溯机制是逻辑程序设计的重要设施。回溯本身是一种获得目标所有可能解的良好方法。在考察Visual Prolog回溯机制作用原理的基础上，通过若干实例，详细阐述了回溯机制所遵循的4个基本原则，即自顶向下逐层搜索原则、从左到右顺序扫描原则、规则匹配原则、事实匹配原则，给出了回溯机制的循环实现方法，深入分析了回溯过程可能发生的各种情况，从而揭示出回溯机制的本质特性和应用机理。结论指出回溯机制具有副作用，需要利用截断机制、失败谓词等对搜索过程进行仔细控制。     

截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。     

飞行器故障诊断专家系统中的知识联想

在建立某飞行器故障诊断专家系统时,针对诊断知识的特点,提出了一种用相似匹配进行知识联想的方法。实际系统在可视化工程环境（ＨＰ ＶＥＥ）下开发完成,应用于某飞行器故障诊断时,能通过联想产生实用的诊断规则,对缺少诊断知识的故障症状进行尝试性推理。     

一种基于构件技术和数据库的专家系统框架

在综合分析了目前开发专家系统常用的几种技术和用构件技术开发软件系统的特点的基础上，提出了一个以构件技术和数据库技术相结合的构建专家系统的解决方案．该方案将知识以关系数据库的形式表示，采用专家系统的推理机方法实现对结果分析，给出了用构件技术构建基于数据库的专家系统的框架，使专家系统的构建变得方便快捷和更切合需要．最后给出了一个检测分析专家系统的实例．     

用于分层强化学习的最小k-聚类算法

在学习过程中自动发现有用的Subgoal,对于分层强化学习有着重要的意义。文章提出了一种最小k-聚类算法,该算法能通过对在线获取的少量路径数据进行聚类的方法,抽取出有用的Subgoal;实验表明,该算法能有效地发现所有符合要求的Subgoal,较多样性密度算法和FD算法有更强的Subgoal发现能力。     

塑料注射成型过程工艺参数设置专家系统

对专家系统和用于实现专家系统的Prolog语言及其编译环境Visual Prolog作了简述。并应用Prolog语言实现了注射成型过程工艺参数设置的专家系统ES-IMPPS（Injection Molding Process Parameters’Setting），并将此专家系统在Visual Prolog中运行，通过设计的实例表明：用Prolog语言编写的此专家系统，符合注塑过程工艺参数的设定要求，而且运行速度快，程序容易理解。     

基于知识图谱的查询语句重写机制及方法

随着语义Web技术和知识图谱的出现,目前查询模式大多要求查询结果与用户查询进行语义级匹配,简单的查询处理过程已经不能满足用户的查询需求.为此,对知识图谱查询涉及的重写技术和实现方法进行了研究,在定义SPARQL(SPARQL Protocol and RDF Query Language)查询模式的重写规则集合基础上,...