高性能知识库构造环境

知识库系统(KBS)开发环境的特点是简便性和领域适应性。我们认为如果在KBS开发环境中既有抽象结均,又有多种集成工具,则该环境将会非常有效。本文介绍一个KBS 开发环境DECISION-E,它有一个适应应用领域KBS 的清晰、灵活的抽象结构,而且还有许多集成工具。这种结构使得DECISION-E能建立多种现实领域中的KBS,并使建立的KBS能较全面地反映应用领域的性质。集成工具将辅助设计者建立KBS,支持KBS 的问题求解并进行多种事务处理。在DECISIGN-E 中还采用了下面的一些特殊技术:不同层次的知识表达方法,多推理机,推理中断处理,基于全局黑板的分布式问题求解,基于知识的建模及数据抽象,演绎数据库管理方法。     

对用RDBMS建立专家数据库系统的研究

介绍了用RDBMS建立大型知识库系统（EDS）的一种策略,通过研究实践,通信RDBMS除了它已具有的数据库管理功能外,经过改进,它可以实现对知识的推理功能。为了证明这一点,以关系数据库的数据组成形式建立了知识库,并将其存储在数据仓库中。文中还研究设计了用RDBMS（INGRES）来执行人工智能产生式语言OPS5的推理策略,以使RDBMS成为管理专家数据库系统（EDS）的工具。     

知识库系统的逻辑基础

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

智能网智能工作站主机的多微机并行推理系统研究

一、引言计算机智能网络(IN)的研究始于80年代初期,是计算机网络研究的一个新领域。目前IN可分为A型B型和C型三类,其中Al型IN是在现有计算机网络(CIN)基础上,引入人工智能技术,利用现有资源,通过智能工作站(IW)联网,构成可提供“操作智能化”和“服务智能化”兼备的IN。中日国际合作开发研究的“智能型计算机信息网系统”就是典型的Al型IN。智能工作站IW是构成Al型IN的核心。它主要由知识库系统(KBS)、多微机并行推理系统(MMPIS构成的主机和智能接口三个部分组成。本文给出一种IW的多微机并行推理系统硬件实现方案。二、IW的多微机并行推理系统的硬件结构     

大容量知识的组织质量标准及实现技术

在知识库系统中,良好的知识组织结构既能有效地改善系统的运行效率,又能方便知识库的管理、维护、共享和理解。知识组织研究是知识库系统(KBS)的重要课题之一,随着 KBS 研究和应用的发展,已经历了几个不同的阶段。在初始阶段,由于知识库能够全部地驻于内存,人们强调的是如何改进动态的知识组织结构,提高知识的查询、匹配和触发等效率;近期,大容量知识的提出,内、外存并存的组织结构已成为研究的难点。人们对知识形式的结构化,非结     

一个用于化工过程故障诊断的知识基系统

本文开发研制了一个用于化工过程故障诊断的实时专家系统 CPFD.该系统由动态数据库、知识库、推理机构和人一机界面等部分组成,知识库由带有确定性因子的产生式规则组成,推理机构(即故障诊断问题求解机构)采用不确定性推理、最佳深度优先控制策略与正反向混合搜索策略.该诊断系统已成功地应用于某大型工业催化裂化装置.     

MLS DBMS中的多实例问题分析及解决方法

1.引言 MLS DBMS(多级安全数据库管理系统)采用MAC(强制访问控制)阻止高安全级的数据未经授权被泄露给低安全级的用户,推理(Inference)是对MAC策略的一种威胁:低安全级的用户能从低安全级的数据结合相关知识等推理出高安全级别的信息。提高某些处于推理链中的关键数据元素的安全级并不能完全     

缺言推理系统GKD-DIS

如何使知识库具有自动推理和维护的功能,已成为知识库能够达到有效和实用所面临的一个关键问题。本文首先提出了一种基于缺言推理的知识库自动推理和维护的方法,然后介绍了根据此方法,我们在VAX-11/780上使用GKD-Prolog作为工具实现的一个知识库推理和维护系统。     

基于数据库的专家系统在校园网故障诊断中的应用

为了减少网络工作人员的工作量 ,将数据库和人工智能技术结合起来 ,构建了用于校园网故障诊断的专家系统。该系统采用产生式知识表示方法 ,运用DBMS管理知识库 ,推理机采用深度优先搜索方式的正向推理     

专家系统在钢铁质量检验判定中的应用研究

运用专家系统功能及结构和知识推理控制策略,对钢铁质量检验判定专家系统的建立包括知识库的建立、推理过程和解释机制等进行深入的探讨与研究。     

基于知识库的电力变压器故障诊断专家系统

针对电力变压器故障机理复杂多样的特征,提出了基于知识库为核心的电力变压器故障诊断专家系统,建立了以油中溶解气体分析(DGA)知识库、绝缘系统检测知识库及油中微水含量检测知识库三个知识库信息融合的故障确诊策略;其中,针对油中溶解气体分析知识库中知识量大的特征,使用规则置信度对一条故障信息可匹配多条规则知识的情况进行冲突消减;根据电力变压器故障种类概率呈现中间大两头小的特点,建立动态知识库模型以存入变压器近期故障,推理机进行推理时首先扫描动态知识库。在建立数据库的各个数据表时,通过设定主键和外键约束以使推理机推理更高效;实验结果表明,该专家系统在检测变压器故障时表现出了较高的准确率和较高的诊断速率。     

专家系统在钢铁质量检验判定中的应用研究

运用专家系统功能度结构和知识推理控制策略，对钢铁质量检验判定专家系统的建立包括知识库的建立、推理过程和解释机制等进行深入的探讨与研究。     

基于G2的电子战仿真技术研究

现代电子战(EW)作战系统规模日趋庞大,作战环境也日趋复杂,对用计算机进行EW仿真提出了更高要求.如何将面向对象建模、人工智能等技术应用到EW仿真中是当前研究的重点之一.文中运用面向对象建模方法建立EW作战系统的实体模型和行为模型,并与描述EW电磁环境的数学模型一起构成仿真模型库.然后以仿真模型库为基础,利用智能系统平台的知识表达和实时推理能力,建立了仿真规则知识库并以专家系统产生式推理的方式实现规则驱动的仿真运行.这种基于面向对象、知识推理的仿真已应用于EW作战系统的效能评估,并为战法研究、策略评估等更高层次的EW仿真提供了有力的手段.     

基于模糊描述逻辑的模糊XML模型的表示与推理

通过分析描述逻辑与XML之间的关系,该文进一步研究了基于模糊描述逻辑的模糊XML模型的表示与推理.首先提出了模糊XML模型(包括模糊XML文档和模糊DTD)的形式化定义.然后针对模糊XML模型的特点和推理需求,提出了一种新的模糊描述逻辑f一ALCQwf-reg,给出了它的语法、语义、知识库以及推理算法.在此基础上,研究...     

模糊面向对象数据模型的描述逻辑表示与推理

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻辑之间建立对应关系;然后,针对FOOD模型的特点和推理需求,介绍了模糊描述逻辑f-ALCIQ.在此基础上,研究了基于f-ALCIQ的FOOD模型的表示与推理,包括:实现了从FOOD模型到f-ALCIQ知识库在结构层和实例层上的转化,即实现了从FOOD模型到f-ALCIQ TBox的转化,以及从FOOD模型相应的数据库实例到f-ALCIQ ABox的转化;进而,基于转化得到的f-ALCIQ知识库,研究了如何利用f-ALCIQ的推理机制对FOOD模型的推理问题(一致性、包含性和冗余性等)进行推理;最后,设计并实现了基于f-ALCIQ的模糊描述逻辑推理机(FRsQ推理机),实现了对FOOD模型和f-ALCIQ模糊概念知识的自动推理.     

一个CAD数据库管理系统的设计与实现

建造CAD DBMS的一个简便、可行的方法就是扩充和改进商用DBMS,GOODDBMS是一个CAD DBMS,它建立在INGRES之上,利用面向对象的概念对它进行了扩充,同时,还联接了图形系统GKS,实现了图形功能。     

描述逻辑εL循环术语集的混合推理

循环术语集是描述逻辑长期以来的研究难点,它最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,在Baader和Brandt的基础上进一步研究了描述逻辑εL循环术语集的混合推理问题.给出了εL的混合循环知识库的语法和语义(包括不动点语义和描述语义).针对εL循环术语集混合推理的需要.提出了TBox-完全的概念,并重新定义了描述图(包括语法描述图和语义描述图).使用描述图之间的模拟关系和TBox-完全概念给出了最大不动点语义和描述语义下εL混合循环知识库的实例检测推理算法,证明了推理算法的正确性,并给出了推理算法的复杂性定理.     

一个实用型智能化元搜索引擎的设计与实现

SMS(Smart Meta Searcher)是一个高效的元搜索引擎系统,它采用检索实例知识库对用户的检索意图进行推理,同时给出一套独特的星级排行评价策略,通过用户行为分析技术为用户提供个性化信息检索服务.此外,还探讨了该搜索引擎在个性化、智能化、专业化和多媒体搜索等发展方向上所作的工作.     

基于描述逻辑的模糊ER模型的表示与推理

重点分析了将ER模型分别转化为描述逻辑ALNUI知识库和DLR知识库的不同之处.在深入研究了描述逻辑DLR的基础之上,对DLR进行了模糊化扩展,提出了一种新的模糊描述逻辑FDLR(fuzzyDLR).定义了FDLR的语法结构、语义解释以及知识库的形式,研究了如何将模糊ER模型转化为FDLR的知识库.通过一个转化实例例证了FDLR能够很好地对模糊ER模型进行表示,并利用FDLR的推理机制研究了模糊ER模型的自动推理问题,同时给出了上述转化和推理问题的正确性证明.     

某型飞机导弹发射通道故障诊断专家系统设计

针对某型飞机导弹发射通道故障定位周期长和排除效率低的问题,综合应用故障树分析法和专家系统分析法,设计并开发了某型飞机导弹发射通道故障诊断专家系统;该系统按照故障树结构建立故障知识库,采用基于规则推理(Rule-Based Reasoning,简称RBR)的推理策略进行故障原因的推理与诊断;通过外场和内场使用表明,该系统提高了导弹发射通道的故障诊断效率,减轻了部队维护人员的排故强度。