一个基于知识库及其自动推理机制的ICAI(化学)系统

设计并实现了一种新型的ＩＣＡＩ系统。该系统以自动推理技术为基础,利用化学知识库,不仅实现了ＩＣＡＩ的知识集散功能,还成功地实现了知识揭示功能,不同于常垢ＩＣＡＩ的单纯检索－播放作用,该系统还具有化学用语层次上的人－机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多多种智能功能。该系统还具有开放性,可以让用户在使用中调整系统的性能、补充存储的知识信息。该文比较了新型系统与流行的常规系     

一种基于任务分解的多知识库协同求解专家系统

针对特定领域的知识特点、知识表示方法及采用的推理模型,提出一种基于产生式规则的多知识库专家系统.该系统改进传统专家系统的框架设计,根据求解问题的类别划分将知识库分解成相应的子知识库,再将子知识库的知识规则按知识表示的深度加以分解,建立反映专家经验知识的浅层知识库和原理性知识的深层知识库.系统采用主推理机和从推理机二级推理方式,不同的子知识库采用相应的从推理机.从而任务单一,搜索范围减小,能快速形成待检目标集.主从推理机制与正反向推理结合,提高系统的推理效率.运用该系统模型建造的农业领域专家系统实例,运行效率得到改善,速度显著提高.     

基于深度学习的智能问答系统研究与设计

智能客户服务系统是在大规模知识处理的基础上开发的面向行业的应用程序,适用于大规模知识处理、自然语言理解、知识管理、自动问答系统和推理等技术行业。近年来,机器学习、强化学习、深度学习等技术的革命性发展,促进了问答系统的进一步发展。笔者设计了一个系统,该系统基于给定文档提取知识,并自动生成知识库,实现基本功能。     

基于本体的应急救援知识库构建及其应用

针对专家系统在应急救援领域应用中存在的知识表示及推理等问题,采用基于本体的知识表示方法与基于Jena的规则推理引擎,参考简单知识工程方法论与Jena规则语法建立一个高速公路应急救援本体与推理规则,实现本体知识库的推理。将该知识库应用于高速公路应急救援系统中,结果表明其具备解决实际问题的能力;有利于领域知识的共享与重用;促进了专家系统在高速公路应急救援领域的发展。     

面向汽车变速器设计知识库系统的研究与应用

为了降低汽车设计领域新产品研发成本,开发了以双离合变速器结构知识管理为主体的知识库系统.深入研究了系统的技术方案和知识库结构框架,并在国外成功的双离合变速器样机Benchmarking工作的基础上,形成了一个具有时成功机型知识数据的采集,分类、分析、录入、检索、推理功能的双离合变速器知识库系统,数据库功能与部分计算模型、设计程序及知识规则推理共建了知识库系统.通过实例实现对各种成功机型设计知识资源的合理利用,表明了其可行性和高效性.     

缺言推理系统GKD-DIS

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

书面汉语自动分词专家系统的实现

本文介绍了书面汉语自动分词专家系统的实现方法, 着重分析了该专家系统中知识库的组织与实现, 以及所用的推理机制与自动分词过程。最后给出了实验结果, 该结果表明自动分词专家系统的性能机为优异（其切分精度远远高于一般的自动分词系统）。     

一个基于不精确推理模型和双向推理机制的高档微机故障诊？…

该文简要介绍了采用ＰＤＣ ｐｒｏｌｏｇ语言开发的一个高档微机故障诊断专家系统。该系统基于一种新的不确定推理模型,采用正反双向推理机制综合进行高效推理,不仅提供了智能的知识获取工具,而且还具有对推理过程的解释和帮助机制。该系统将推理与知识库相分离,实现动态模块化的知识库管理与分层推理,并且具有清晰美观、便于操作的人机界面,可以方便地实现这两大故障类、八大故障部位进行有效合理的诊断。     

一个基于不精确推理模型和双向推理机制的高档微机故障诊断专家系统MCES-2

该文简要介绍了采用ＰＤＣｐｒｏｌｏｇ语言开发的一个高档微机故障诊断专家系统。该系统基于一种新的不确定推理模型,采用正反双向推理机制综合进行高效推理,不仅提供了智能的知识获取工具,而且还具有时推理过程的解释和帮助机制。该系统将推理机与知识库相分离,实现动态模块化的知识库管理与分层推理,并且具有清晰美观、便于操作的人机界面,可以方便地实现对两大故障类、八大故障部位进行有效合理的诊断。     

塞拉门故障诊断专家系统知识库设计与实现

根据塞拉门的故障特点,应用专家系统与数据结构的有关知识和面向对象的设计方法,论述了塞拉门故障诊断专家系统知识库的设计与实现过程;该知识库提出将设计知识与诊断知识结合,利用可靠性分析中FMEA表的分析结果来自动构建诊断知识库,采用了基于产品结构树的知识组织方法存储知识,提高了塞拉门系统故障诊断效率,为故障诊断专家系统的知识库设计提供了一种科学有效的方法.     

Informational Logic as a Tool for Automated Reasoning

A logical entropy-based Informational Logic is presented which provides new tools for probabilistic automated reasoning and knowledge representation. Applications in automated theorem proving are examined, and a decision theory for probabilistic theorems is proposed.     

Comparison of a Deductive Database with a Semantic Web reasoning engine

Knowledge engineering is a discipline concerned with constructing and maintaining knowledge bases to store knowledge of various domains and using the knowledge by automated reasoning techniques to solve problems in domains that ordinarily require human logical reasoning. Therefore, the two key issues in knowledge engineering are how to construct and maintain knowledge bases, and how to reason out new knowledge from known knowledge effectively and efficiently. The objective of this paper is the comparison and evaluation of a Deductive Database system (ConceptBase) with a Semantic Web reasoning engine (Racer). For each system a knowledge base is implemented in such a way that a fair comparison can be achieved. Issues such as documentation, feasibility, expressiveness, complexity, distribution, performance and scalability are investigated in order to explore the advantages and shortcomings of each system.     

SYSTEMATIC KNOWLEDGE BASE DESIGN FOR MEDICAL DIAGNOSIS

Experienced diagnosticians draw on a rich variety of reasoning techniques, ranging from the association of symptoms and diseases to causal reasoning about disease mechanisms and first-principle analysis grounded in basic science. The entire range of diagnostic reasoning strategies is also necessary for a computer program to be truly proficient and robust. The development of such a program has been impeded by the inherent complexity of the domain and the consequent lack of an adequate methodology for knowledge organization and integration. We present a methodology for structuring medical knowledge and managing its complexity. We illustrate this methodology in the context of an experimental knowledge base in the domain of jaundice. We believe that this systematic knowledge base design will support the development of automated reasoning methods that span the entire range of reasoning techniques used by physicians.     

国家知识基础设施中的数学知识表示

数学知识表示是知识表示中的一个重要方面,是数学知识检索、自动定理机器证明、智能教学系统等的基础.根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题,并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法:一种是以一个逻辑语言上的公式为属性值域的描述逻辑;另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑.在前者的表示中,如果对公式不作任何限制,那么得到的知识库中的推理不是可算法化的;在后者的表示中,以描述逻辑描述的本体中的推理是可算法化的,而以本体为逻辑语言的一部分的一阶逻辑所表示的数学知识中的推理一般是不可算法化的.因此,在表示数学知识时,需要区分概念性的知识(本体中的知识)和非概念性的知识(用本体作为语言表示的知识).框架或者描述逻辑可以表示和有效地推理概念性知识,但如果将非概念性知识加入到框架或知识库中,就可能使得原来可以有效推理的框架所表示的知识库不存在有效的推理算法,甚至不存在推理算法.为此,建议在表示数学知识时,用框架或描述逻辑来表示概念性知识;然后,用这样表示的知识库作为逻辑语言的一部分,以表示非概念性知识.     

Autonomic self healing and recovery informed by environment knowledge

An important goal of autonomic computing is the development of computing systems that are capable of self healing with a minimum of human intervention. Typically, recovery from even a simple fault will require knowledge of the environment in which a computing system operates. To meet this need, we present an approach to self healing and recovery informed by environment knowledge that combines case based reasoning (CBR) and rule based reasoning. Specifically, CBR is used for fault diagnosis and rule based reasoning for fault remediation, recovery, and referral. We also show how automated information gathering from available sources in a computing system’s environment can increase problem solving efficiency and help to reduce the occurrence of service failures. Finally, we demonstrate the approach in an intelligent system for fault management in a local printer network.     

The intelligent CAI system for chemistry based on automated reasoning

A new type of intelligent CAI system for chemistry is developed in this paper based on automated reasoning with chemistry knowledge.The system has shown its ability to solve chemistry problems,to assist students and teachers in studies and instruction with the automated reasoning functions.Its open mode of the knowledge base and its unique style of the interface between the system and human provide more opportunities for the users to acquire living knowledge through active participation.The automated reasoning based on basic chemistry knowledge also opened a new approach to the information storage and management of the ICAI system for sciences.     

基于知识管理的 BIM 模型建筑设计合规性自动检查系统研究

建筑设计合规性自动检查对保证建筑信息模型(BIM)符合设计规范要求,增加规范 检查自动化程度具有重要意义。结合合规性检查理论与专家系统方法,提出了以BIM 模型为检 查对象的合规性自动检查系统框架,以规则知识与推理机制分开的方式实现合规性检查过程。 以《住宅设计规范》为例,对规范中的条文进行知识分析,总结出规范知识表达式,构建规则 库和规则库访问机制;建立了逻辑策略下推理机制,将规则库中的规则信息与BIM 信息进行推 理,输出检查结果;最后构建了合规性检查系统验证平台,通过BIM 模型实例完成模型数据提 取及规则推理的过程,实现了合规性检查的功能,验证了合规性检查方法框架。该方法在一定 程度上能够指导后续的合规性检查相关研究,有效提高BIM 模型的建筑设计合规性检查效率, 保证检查质量,促进建筑工程领域信息化的发展。     

Seven layers of knowledge representation and reasoning in supportof software development

The authors' experience in the Programmer's Apprentice project in applying knowledge representation and automated reasoning to support software development is summarized. A system, called Cake, is described that comprises seven layers of knowledge representation and reasoning facilities: truth maintenance, Boolean constraint propagation, equality, types, algebra, frames, and Plan Calculus. Sessions with two experimental software development tools implemented using Cake, the Requirements Apprentice and the Debugging Assistant, are also included