工艺设计知识库的建造与维护

文中根据工艺设计知识的特点,构造了层次化的知识表达、组织与知识库模型,分析了工艺知识库不一致的表现形式,并给出了相应的一致性验证算法,提出了基于广义决策表的知识库完备性检查方法。     

基于数据库技术的气流干燥专家系统知识库的建立

针对专家系统中传统知识表示存在的数据修改比较困难．数据与程序之间缺乏独立性，满足不了多用户、多应用共享知识需求的缺陷，故在闪速熔炼气流干燥专家系统中采用数据库技术来实现知识库，提出了基于数据库的知识表示方式，设计了规则库的数据库结构和类结构，然后利用ADO技术实现了对数据库的添加、更新等功能，并应用于知识库，从而可不断地扩充知识库，体现了知识库的健壮性，有益于知识库维护的一致性和完整性。     

新闻知识图谱中知识融合量化评估研究

现阶段检验知识图谱融合程度的方法大多是基于句法检查和实例检验的人工方法,或对知识库中的逻辑规则进行推理,以此判断图谱是否具有完备性和一致性,但缺少对知识融合量化评估的具体方法。提出了一种基于幂律定律的量化评估方法,并用融合后的长江大保护新闻知识图谱节点数进行验证,发现随着节点相似度的升高,当前图谱节点的融合度增加,融合后节点数急剧下降,幂律模型拟合优度良好,调整决定系数均大于0.98。这一检验方法可为新闻知识图谱的融合度检验提供新的标准。     

mwKAT: A meta-tool-generated knowledge acquisition tool for multimedia workstations development

mwKAT is an interactive knowledge acquisition tool for acquiring domain knowledge about multimedia components. It constructs knowledge bases for a consulting system that produces the design specification for a multimedia workstation according to the user requirements.mwKAT is generated from and executed inGAS, a primitives-based generic knowledge acquisition meta-tool. It contains three acquisition primitives, namely, parameter proposing, constraint proposing, and fix proposing to construct an intermediate knowledge base represented by a dependency model. These primitives identify necessary domain knowledge and guide users to propose significant components, constraints, and fix methods into the dependency model.mwKAT also invokes knowledge verification and validation primitives to verify the completeness, consistency, compilability, and correctness of the intermediate knowledge base.     

An approach towards the verification of expert systems using numerical petri nets

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are high level nets that are necessary to effectively model production rules. the net model is then analysed by using a computer-aided tool to perform reachability analysis. an algorithm is given to generate the reachability set of the nets. This allows the verification of the correctness, consistency, and completeness of the knowledge base. Examples showing the use of this approach are given.     

VALIDATION OF FIRST-ORDER RULE-BASED SYSTEMS1

Knowledge base validation and knowledge base refinement aim to help the expert to improve an existing knowledge base. They deal with the final knowledge acquisition phase and rely on a quality measurement of an existing knowledge base. We present our approach to knowledge base refinement, which is based on results in the domain of knowledge base validation. Our approach is based on a general consistency definition of a knowledge base and on a study of causes of knowledge base inconsistency. Our approach relies significantly on a differentiation of sure and expert knowledge in the knowledge base. We have implemented a system that has two phases: one computational phase decides on the consistency of a knowledge base, and, if necessary, a second phase helps the expert to interactively update the knowledge base. We present some related work in the domain. We illustrate the use of our system with an example.     

基于相似性度量的氧化铝配料知识库在线维护

针对烧结法氧化铝优化配料专家系统知识库的结构特点,提出了一种基于相似性度量的专家知识库在线维护方法。构造规则的相似性度量函数,以此为基础进行规则不一致性判断,并遵循原有的知识组织策略在线实现规则的有序添加和修改,从而保证高效的专家推理,提出的方法已成功用于工业应用。     

专家系统评价技术研究

该文给出了专家系统评价的一个多面方法以及相应的一些准则,评价方法可分为三个阶段,首先是主观评价阶段,使用的是多属性效用评价法;其次是“黑盒”内部的技术评价阶段,针对知识库的一致性、完整性等给出了详细的判别准则;再次是经验性评价阶段。最后给出了综合测试和评估判据的多属性效用分析框架。     

SEMANTICAL AND ONTOLOGICAL CONSIDERATIONS IN TELOS: A LANGUAGE FOR KNOWLEDGE REPRESENTATION DIMITRIS PLEXOUSAKIS

This paper focuses on the semantics of Telos, a language for representing knowledge about information systems. Telos is intended to support the development of information systems, especially in the requirements modeling phase. An object-oriented representational framework is supported by Telos. Its features include aggregation, generalization, and classification, the treatment of attributes as first-class objects and the explicit representation of time. Telos also provides an assertion sublanguage for expressing deductive rules and integrity constraints. A possible-worlds semantics is defined for Telos knowledge bases. This semantics is intended to capture the peculiarities involved in the interpretation of temporal expressions. The integration of time has also inspired the treatment of existence in Telos. An ontology of objects based on the property of existence is proposed. In the spirit of KRYPTON, Telos knowledge bases are specified functionally, in terms of the operations provided for querying and updating them. This knowledge-level analysis will allow us to specify exactly what a knowledge base can be ASK-ed or TELL-ed about the domain of discourse. Soundness, consistency, and completeness results have also been proven to complete the specification of Telos knowledge bases. This formal account of the language provides a logical framework that can be used to verify the correctness of any proposed implementation of the system.