专家系统中基于粗集的知识获取、更新与推理

知识获取、知识更新和不确定性推理是设计专家系统的重要方面。根据粗集理论，提出了一种专家系统的结构模型，该系统在规则获取的基础上，利用系统运行的实例增量式地更新知识库中的规则及其参数，以改善系统的性能，利用知识库中的规则及数量参数进行不确定性推理，得出结论的可信度。     

基于T-S模糊推理优化KPI的应用

模糊系统是一种基于知识或基于规则的系统,它的核心就是由所谓的IF-THEN规则所组成的知识库.模糊推理就是针对给定的系统输入,综合运用知识库中的模糊推理规则,获得系统输出的过程.而T-S模糊模型的基本思想是将正常的模糊规则及其推理转换成一种数学表达形式.本文拟将绩效考核与模糊推理的优越性进行有效的结合,研究讨论出T-S模糊推理在绩效考核中的应用.以验证其收敛性及优越性.     

一种快速模糊推理系统

提出一种新的模糊推理系统，其模糊知识库具有紧致模糊规则库，即规则集为仅存储规则后的完全规则集，推理过程中可以根据当前输入信号值直接寻址被激励的模糊规则，从而只是有选择地执行被激励的规则，其优点是可以提高模糊推理速度，减少规则库存储容量，针对模糊芯片的VLSI实现，提出了可以根据输入信号值直接寻址被激励规则的电路。     

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

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

基于CLIPS的卫星任务规划专家系统设计

本文提出了基于CLIPS的卫星任务规划专家系统的设计方法,详细分析了系统的结构和功能,重点讨论了中文产生式系统的BNF范式、基于上下文的推理机制和集合运算符。中文产生式系统的BNF范式基于CLIPS标准BNF范式定义,并依据BNF范式进行规则表示和规则自定义获取;推理机采用上下文限制的规则控制策略,依据不同的上下文加载相关的事实和规则,提高推理机的运行效率;利用规则中的对象逻辑子式进行了集合运算符的设计,并对极值运算符、属性差值运算符和均值运算符等三类集合运算符进行了探讨。该系统解决了卫星任务规划中知识表示和知识获取问题,提高了卫星任务规划推理效率,为卫星任务规划人员提供有效的辅助决策功能。     

基于智能的大功率准分子激光器配气与能量的调控

激光器配气和能量调控系统为滞后时间变化的非线性系统, 很难建立准确的数学模型和确定最优解. 根据操作人员对激光器的实际手动控制数据, 提出了辨识模糊控制规则, 给出了基于知识 /推理规则的智能控制方案, 即在获取的知识库引导下, 实现快速响应和较高的控制精度. 该装置具有使用方便, 控制灵活, 误差小等特点, 经过实际使用验证, 工作稳定可靠, 具有较好的实用价值.     

Causal domain model driven knowledge acquisition for expert diagnosis system development

Despite the successful operation of expert diagnosis systems in various areas of human activity these systems still show several drawbacks. Expert diagnosis systems infer system faults from observable symptoms. These systems usually are based on production rules which reflect so called shallow knowledge of the problem domain. Though the explanation subsystem allows the program to explain its reasoning, deeper theoretical justifications of program's actions are usually needed. This may be one of the reasons why in recent years in knowledge engineering there has been a shift from rule-based systems to model-based systems. Model-based systems allow us to reason and to explain a system's physical structure, functions and behaviour, and thus, to achieve much better understanding of the system's operations, both in normal mode and under fault conditions. The domain knowledge captured in the knowledge base of the expert diagnosis system must include deep causal knowledge to ensure t he desired level of explanation. The objective of this paper is to develop a causal domain model driven approach to knowledge acquisition using an expert–acquisition system–knowledge base paradigm. The framework of structural modelling is used to execute systematic, partly formal model-based knowledge acquisition, the result of which is three structural models–one model of morphological structure and two kinds of models of functional structures. Hierarchy of frames are used for knowledge representation in topological knowledge base (TKB). A formal method to derive cause–consequence rules from the TKB is proposed. The set of cause–consequence rules reflects causal relationships between causes (faults) and sequences of consequences (changes of parameter values). The deep knowledge rule base consists of cause–consequence rules and provides better understanding of system's operation. This, in turn, gives the possibility to construct better explanation fa cilities for expert diagnosis system. The proposed method has been implemented in the automated structural modelling system ASMOS. The application areas of ASMOS are complex technical systems with physically heterogeneous elements.     

Management of imprecision and uncertainty for production activity control

The operational levels of production management, often called production activity control (PAC) or manufacturing process control, require increasing reaction capabilities in order to adapt the workshop management to the changes of its environment. It often implies giving more responsibilities to the low decision levels. However, the management of the corresponding degrees of freedom is generally unusual. In such a situation, decision support systems (DSSs) provide a way to reconcile the satisfaction of mid-level objectives and the reaction requirements. A conceptual model is described that provides a design framework for a PAC DSS. Since the available knowledge lies mainly in expertise, a DSS has been implemented using a knowledge-based system. The uncertainty and imprecision of the managed information led to the use of fuzzy logic as a modeling tool. Moreover, various inference semantics have been implemented in the expert rules because different kinds of reasoning have been identified. Two versions of the DSS are described and several examples of implemented reasoning processes are developed.     

General purpose inference engine for canonical graph models

The design and implementation of a General Purpose Inference Engine for canonical graph models that is both flexible and efficient is addressed. Conventional inference techniques (e.g. forward chaining, backward chaining and mixed strategies) are described, and new modes of flexibility through the provision of inexact matching between data and assertions/rules are explained. In GPIE, scanning/searching of the rules in the rule base is restricted to a minimum during execution, but at the expense of compilation of the rule set prior to execution. The generality of the rule set is transparent to the inference engine, thereby permitting reasoning at various levels. This research demonstrates that a graph-based inference engine offering flexible control structures and inxact matching can complement intermediate notations, such as conceptual graphs, offering the expressive power of a rich knowledge representation formalism. The availability of an extendible graph processor for building appropriate canonical graph models presents the exciting prospect of a general purpose reasoning engine.     

An expert system for design for robotic assembly

In recent years, due to the various advantages associated with automation and robotics, much work has been done in developing robotic systems for assembly operations. Since part design plays a major role in assembly, this paper deals with the design of parts for ease of robotic assembly. Considerable knowledge is available in the form of design for robotic assembly rules. In addition, a large amount of data is required for decisions regarding suitability of parts for robotic assembly. The implementation of design for robotic assembly rules would be much easier with the help of an expert system, which would guide the designer toward choosing the design alternative that can best facilitate ease of assembly from a robotic point of view.To this end, a prototype expert system for design for robotic assembly is developed and presented in this paper. The expert system was implemented as a production system, which consists of rules and Object-Attribute-Value (O-A-V) triplets to represent domain knowledge. In order to best utilize the domain specific knowledge, a state space search-based inference mechanism was employed. The implementation of the prototype system is illustrated with examples.     

基于模糊推理模型的水泥粉磨专家控制系统研究

针对水泥粉磨这一类难用准确的数学模型来描述以及常规模糊控制器的控制效果不理想等问题,通过将模糊控制技术与专家系统的有机融合,提出了基于模糊推理的贴近度决策方法,建立了模糊控制规则模型,解决了模糊推理的规则匹配问题,并给出了控制结论的化优化求解模型。实验结果表明该方法改善了负荷控制性能,提高了产品质量和磨机生产效率。     

医疗诊断专家系统推理机的设计与实现

专家系统是人工智能领域的重要分支,推理机是专家系统的重要组成部分。文中用关系数据库SQLServer2000设计诊断知识库,构造了一个医疗诊断专家系统,其推理机能够有效模拟医生的诊断思维。因此,它可以作为医生诊断疾病的一种辅助工具。根据疾病诊断的要求,仅对医疗诊断推理机的设计与实现方法进行了探讨,提出了一种基于正-反向推理的精确与不精确推理相结合的推理策略,并采用关系数据库和面向对象的技术来具体编程实现,从而提高了推理机的效率,获得了较好的推理效果。     

Building knowledge base management systems

Advanced applications in fields such as CAD, software engineering, real-time process control, corporate repositories and digital libraries require the construction, efficient access and management of large, shared knowledge bases. Such knowledge bases cannot be built using existing tools such as expert system shells, because these do not scale up, nor can they be built in terms of existing database technology, because such technology does not support the rich representational structure and inference mechanisms required for knowledge-based systems. This paper proposes a generic architecture for a knowledge base management system intended for such applications. The architecture assumes an object-oriented knowledge representation language with an assertional sublanguage used to express constraints and rules. It also provides for general-purpose deductive inference and special-purpose temporal reasoning. Results reported in the paper address several knowledge base management issues. For storage management, a new method is proposed for generating a logical schema for a given knowledge base. Query processing algorithms are offered for semantic and physical query optimization, along with an enhanced cost model for query cost estimation. On concurrency control, the paper describes a novel concurrency control policy which takes advantage of knowledge base structure and is shown to outperform two-phase locking for highly structured knowledge bases and update-intensive transactions. Finally, algorithms for compilation and efficient processing of constraints and rules during knowledge base operations are described. The paper describes original results, including novel data structures and algorithms, as well as preliminary performance evaluation data. Based on these results, we conclude that knowledge base management systems which can accommodate large knowledge bases are feasible. Edited by Gunter Schlageter and H.-J. Schek. Received May 19, 1994 / Revised May 26, 1995 / Accepted September 18, 1995     

Flexible control in expert systems for construction tasks

In most expert systems for constructional tasks, the knowledge base consists of a set of facts or object definitions and a set of rules. These rules contain knowledge about correct or ideal solutions as well as knowledge on how to control the construction process. In this paper, we present an approach that avoids this type of rules and thus the disadvantages caused by them.We propose a static knowledge base consisting of a set of object definitions interconnected by is-a and part-of links. This conceptual hierarchy declaratively defines a taxonomy of domain objects and the aggregation of components to composite objects. Thus, the conceptual hierarchy describes the set of all admissible solutions to a constructional problem. Interdependencies between objects are represented by constraints. A solution is a syntactically complete and correct instantiation of the conceptual hierarchy.No control knowledge is included in the conceptual hierarchy. Instead, the control mechanism will use the conceptual hierarchy as a guideline. Thus it is possible to determine in which respects a current partial solution is incomplete simply by syntactical comparison with the conceptual hierarchy. The control architecture proposed here has the following characteristics: separation of control and object knowledge, declarative representation of control knowledge, and explicit control decisions in the problem solving process. Thus, a flexible control mechanism can be realized that supports interactive construction, integration of case-based approaches and simulation methods.This control method is part of an expert system kernel for planning and configuration tasks in technical domains. This kernel has been developed at the University of Hamburg and is currently applied to several domains.     

低环境负荷水泥配料专家系统的设计与实现

低环境负荷水泥配料专家系统是专家系统技术在水泥工程上的应用。本文重点讨论了低环境负荷水泥配料专家系统中知识获取和表示、推理机等专家系统的核心技术。在知识表示上，采用了产生式、语义网络、框架多种方式相结合的表示方法；在推理机的实现过程中，采用正向推理和逆向推理策略。     

A Recency Inference Engine for Connectionist Knowledge Bases

Knowledge-based neural networks (KBNNs) can be used as expert system knowledge bases. This approach shifts the interests in using connectionist knowledge bases for inferencing in an interactive fashion and giving reasonable justifications for their conclusions. The primary goal of this article is to present a good inference and control mechanism for such knowledge bases. For this purpose, the article develops a stand alone inference engine that uses a connectionist knowledge base, seeks to reduce the amount of data requested in order to reach a conclusion, and explains how a particular conclusion was reached. The inference engine was evaluated on illustrative example applications. Results obtained demonstrate that in spite of its simplicity the presented technique is superior to other techniques over sparse input knowledge bases.     

Defeat among arguments: a system of defeasible inference

This paper presents a system of nonmonotonic reasoning with defeasible rules. The advantage of such a system is that many multiple extension problems can be solved without additional explicit knowledge; ordering competing extensions can be done in a natural and defeasible way, via syntactic considerations. The objectives closely resemble Poole's objectives.
But the logic is different from Poole's. The most important difference is that this system allows the kind of chaining that many other nonmonotonic systems allow. Also, the form in which the inference system is presented is quite unusual. It mimics an established system of inductive logic, and it treats defeat in the way of the epistemologist-philosophers.
The contributions are both of content and of form: (content) the kinds of defeat that are considered, and (form) the way in which defeat is treated in the rules of inference.     

基于可拓规则的故障诊断专家系统推理机的研究

针对传统产生式规则在知识表示、匹配冲突等方面存在的局限,提出了一种将可拓规则用于故障诊断专家系统推理机的方法;该方法重点研究了可拓规则的匹配原理和可拓推理机算法思想,提出了匹配度计算方法并用来计算故障条件与规则前件的匹配度;根据研究表明,利用可拓规则进行推理,不仅在知识表示上比传统产生式规则推理有所提高,而且还解决了传统专家系统容易出现匹配冲突等问题;最后以AMU故障推理为例,说明可拓推理机具有推理速度快、效率高等优点,取得了较好的推理效果.     

Modeling of process parameter selection with mathematical logic for process planning

Process planning is the systematic determination of detailed methods by which workpieces or parts can be manufactured economically and competitively from initial stages to finished stages. One of the key problems of computer-aided process planning (CAPP), however, is the complexity of process knowledge representation of process planning and the diversity of manufacturing background. Process knowledge representation and inference mechanism of process parameter selection is one of the most important issues in the research on CAPP. A proper methodology for modeling inference mechanism of process parameter selection, hence, is essential for selection of process parameters in process planning. The paper presents an atomic inference engine model of process parameter selection in process planning using mathematical logic. The methodology of modeling the inference mechanism of process parameter selection is proposed with backward chaining of mathematical logic that is a form of goal-directed reasoning. An illustrative case has been analyzed using the proposed approach to demonstrate its potential application in the real manufacturing environment, by combining with a practical application of a hole-making in a industrially relevant workpiece. The outcomes of this work provide a process reasoning mechanism for process parameter selection in process planning and thus alleviate automated process reasoning problems in process planning.