知识库系统

A comprehensive knowledge expression is put forward, a model of self-learning is established by adopting formula of Bayes, through which the threshold values of parameters and certainty factors can be revised automatically. Knowledge acquisition is the most important link for building blast furnace expert system.

高炉专家系统的知识库需要不断改进，为此，建立了高炉炉况规则的自学习模型，针对高炉炉况的判断规则，建立了高炉专家系统的实例学习、类比学习、知识库求精及知识库维护机制。

The GC of the expert inductive system depends mainly on the expert knowledge, which are usually represented as fuzzy production rules, inside the expert inductive system.

而泛化能力的好坏关键取决于专家推理系统内的专家知识库，知识库中的知识通常表现为模糊产生式规则，它的生成和优化是提高专家推理系统性能的关键。

In recent years,ontology is widely concerned and extensively applied in many fields of computer science,suchas digital library,software reuse,the process of isomerous information in web,and the semantic web,etc.

随着各种已有的和将要研制的知识库和知识系统的不断增多，人们希望已有的知识库能够在后面的知识系统中继续使用，也希望不同的知识系统能够共享某个共同的知识库[1]。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

There are some key technologies, such as knowledge library, ratiocinative mechanism, learning mechanism, expository mechanism, database and the inter-importing mechanism of neural network and expert system in this intelligent fault diagnosis system. The knowledge library, ratiocinative mechanism and learning mechanism all consist of neural network and expert system, and they should be treated separately.

本智能故障诊断系统有知识库、推理机制、学习机制、解释机制、数据库以及神经网络与专家系统的相互导入机制等关键技术，其中知识库、推理机制和学习机制都包括神经网络与专家系统两个部分，需分别对待。

The establishing process of knowledge base is the learning knowledge process in ANN, so the knowledge base can constantly rechange and enrich.

基于ANN的CAPP系统开发工具的知识库由知识抽取机和学习机共同作用生成，知识库的建立是在网络学习过程的基础上进行的，因而知识库可以不断创新、不断丰富。

Third, through carrying on the classification and the reorganization to knowledge in the KB, used affiliation and inherited quality of CD tree to carry on the knowledge representation, reduced the KB redundancy and simplified the KB and saved the storage space and enhanced system's efficiency.

通过对知识库中的知识进行分类和整理，利用概念从属树的从属关系和继承性进行知识表示，降低了知识库的冗余度，简化了知识库，节省了存储空间，提高了系统的效率。

This paper discusses the organizing principle of knowledge library in expert system and suggest that the Sequential File, Index File, Multichain File, Backcomposing File, Hash File, etc can be adopted to organize knowledge library and the corresponding program is designed in the Prolog Language.

论述了专家系统中知识库的组织原则，对在计算机上如何实现知识库的物理组织问题，提出可以采用顺序文件、索引文件、多重链接表文件、倒排文件及散列文件等方法来组织知识库。

To avoid the collision accidents of ships at sea, with the universalizing and application of computer, and the development and maturity of the technology of Expert System and Artificial Intelligent, this paper developed an intelligent collision avoidance expert system for navigation. The main research work centers on several aspects, which will be represented as below:By the navigation rules" understanding and analyzing, and by the navigation experience and navigation samples" collecting and trimming, we put forth and build a multi-unit and layering KB systematic structure, and implement the KBM. According to features of different knowledge, we adopt multifarious KR, such as: frame KR, production rule KR, procedure KR. We also build a multi-inference system, which based on analog inference, forward illation inference, conversion inference and meta-rule inference. At the same time, we develop each reasoning algorithm. For some problems in collision avoidance region during the building of the expert system, we put forth and build a set of models to solve them using neural network technology.

为了避免船舶间碰撞事故的发生，结合计算机技术在各类船舶中的普及与应用、专家系统技术及人工智能技术的发展、成熟，本文研制、开发了一种具有一定智能的航海避碰专家系统，主要内容包括以下几个方面：通过对航海规则的理解与分析，对航海经验、航海实例的搜集、整理，提出并建立起了航海避碰专家系统的多元分层知识库体系结构，并实现了知识库的管理；根据不同知识的特点，分别采用了框架、产生式规则、过程等多种知识表示方法；提出了一种基于类比推理、正向演绎推理、换位推理及元级推理等的多种推理机制，并建立起了相应的推理算法；引入神经网络技术，针对在建立专家系统过程中所遇到的有关避碰领域内的一些难题，提出并建立了相应解决问题的模型，其中包括：船舶类型的识别，会遇态势的分类及避碰危险的评估。

I Szpektor, H Tanev, I Dagan, B Coppola. Scaling web-based acquisition of entailment

本知识库系统仍无法处理问题中非名词性质的限制。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。