An inexact reasoning algorithm based on fuzzy rule matrix transformations

This paper presents an efficient algorithm for dealing with inexact reasoning where fuzzy production rules are used for knowledge representation. The finiteness of the algorithm is also analyzed by means of reachability trees.     

A fuzzy reasoning based diagnosis system for X control charts

This paper describes a new diagnosis system, which is based on fuzzy reasoning to monitor the performance of a discrete manufacturing process and to justify the possible causes. The diagnosis system consists chiefly of a knowledge bank and a reasoning mechanism. The knowledge bank provides knowledge of the membership functions of unnatural symptoms that are described by Nelson's rules on X control charts and knowledge of cause-symptom relations. We develop an approach called maximal similarity method (MSM) for knowledge acquisition to construct the fuzzy cause-symptom relation matrix. Through the knowledge bank, the diagnosis system can first determine the degrees of an observation fitting each unnatural symptom. Then, using the fuzzy cause-symptom relation matrix, we can diagnose the causes of process instability. In conclusion we provide a numerical example to illustrate the system.     

基于本体的分布式实例推理技术研究

为了克服单一实例库知识的局限性,实现分布式环境下多数据源的知识重用和共享,提出了一个分布式实例推理系统框架.系统通过本体服务器建立和维护实例库之间的本体知识,其中基本本体为知识的表示提供了全局约束和基础,实例推理服务器可以在基本本体框架下定义领域本体来灵活表达各自的领域知识,而本体目录则为知识的检索提供了向导.本体的引入解决了不同实例库之间知识的互理解和互操作性,能够有效地实现多实例库的协同推理.系统采用Web Service技术构建,是一个开放的系统框架,具有很强的可扩展性.     

Distributed scheduling with probabilistic and fuzzy classifications of processes

The classification of various types of processes is an important factor in large-scale distributed systems such as, grid and cloud platforms. Moreover, the coordination and control of distributed processes are research challenges in presence of unpredictable network partitioning and distributed semaphores. The process classification is important in order to allocate and schedule distributed processes enhancing overall resource utilization and throughput. The schedulers employ patterns of resource affinities of concurrent processes in order to make scheduling decisions affecting overall resource utilization in a system, where resource affinity patterns of a process may not be static. This paper proposes an estimation model and a classifier algorithm to queuing processes based on respective resource affinities. The kernel-level software architecture is designed to control scheduling of distributed processes based on classification for enhanced throughput. The classifier algorithm tracks the resource affinities of processes based on execution traces and the control algorithm performs process scheduling. Experimental results indicate that the classifier algorithm successfully manages process queues based on resource affinities of processes and, the control algorithm successfully monitors scheduler activation for a set of processes.     

面向Web服务的分布式本体系统

智能Web服务,即IWS(IntelligentWebServices)是网络计算模式不断发展创新的必然结果。而本体技术的引入是IWS发展的必然。为适应IWS对本体,尤其是本体分布性的新要求,该文提出了一个面向Web的分布式本体系统的模型———WODOS(WebOrientedDistributedOntologySystem),这个模型的特点是在Web的环境下,保证本体所必需的唯一性与一致性的前提下,对本体进行分布存储、引用、处理。该文讨论了这个模型的结构、机制和算法。     

A fuzzy system modeling algorithm for data analysis and approximate reasoning

In this paper a new fuzzy system modeling (FSM) algorithm is introduced as a data analysis and approximate reasoning tool. The performance of the proposed algorithm is tested in two different data sets and compared with some well-known algorithms from the literature. In the comparison two benchmark data sets from the literature, namely the automobile mpg (miles per gallon) prediction and Box and Jenkins gas-furnace data are used. The comparisons demonstrated that the proposed algorithm can be successfully applied in system modeling.     

Fuzzy arithmetic-based interpolative reasoning for nonlinear dynamic fuzzy systems

FAIR (fuzzy arithmetic-based interpolative reasoning)—a fuzzy reasoning scheme based on fuzzy arithmetic, is presented here. Linguistic rules of the Mamdani type, with fuzzy numbers as consequents, are used in an inference mechanism similar to that of a Takagi–Sugeno model. The inference result is a weighted sum of fuzzy numbers, calculated by means of the extension principle. Both fuzzy and crisp inputs and outputs can be used, and the chaining of rule bases is supported without increasing the spread of the output fuzzy sets in each step. This provides a setting for modeling dynamic fuzzy systems using fuzzy recursion. The matching in the rule antecedents is done by means of a compatibility measure that can be selected to suit the application at hand. Different compatibility measures can be used for different antecedent variables, and reasoning with sparse rule bases is supported. The application of FAIR to the modeling of a nonlinear dynamic system based on a combination of knowledge-driven and data-driven approaches is presented as an example.     

基于改进型模糊聚类的模糊系统建模方法

结合减法聚类和模糊C均值聚类,提出了一种改进型聚类算法,加快了收敛速度．利用改进后的算法对模糊系统输入或输出的样本集聚类,对聚类结果采用Trust-Region法拟合高斯型和S型函数,以实现模糊系统输入、输出空间的划分和隶属度函数参数的确定．结合MATLAB的模糊和曲线拟合工具箱,详述了如何在标准算法上进行改进和模糊系统建模．通过对IRIS标准数据聚类实验以及在解决机械加工误差复映问题上的应用,验证了改进后算法和建模方法的有效性．     

An approach to fuzzy default reasoning for function approximation

This paper discusses fuzzy reasoning for approximately realizing nonlinear functions by a small number of fuzzy if-then rules with different specificity levels. Our fuzzy rule base is a mixture of general and specific rules, which overlap with each other in the input space. General rules work as default rules in our fuzzy rule base. First, we briefly describe existing approaches to the handling of default rules in the framework of possibility theory. Next, we show that standard interpolation-based fuzzy reasoning leads to counterintuitive results when general rules include specific rules with different consequents. Then, we demonstrate that intuitively acceptable results are obtained from a non-standard inclusion-based fuzzy reasoning method. Our approach is based on the preference for more specific rules, which is a commonly used idea in the field of default reasoning. When a general rule includes a specific rule and they are both compatible with an input vector, the weight of the general rule is discounted in fuzzy reasoning. We also discuss the case where general rules do not perfectly but partially include specific rules. Then we propose a genetics-based machine learning (GBML) algorithm for extracting a small number of fuzzy if-then rules with different specificity levels from numerical data using our inclusion-based fuzzy reasoning method. Finally, we describe how our approach can be applied to the approximate realization of fuzzy number-valued nonlinear functions     

电厂锅炉燃烧过程集散控制系统

由ＰＣ－２８６微机和ＳＴＤ工控机组成二级计算机监控系统，采用模糊自寻优算法，对锅炉燃烧过程实施了控制与管理。实际应用表明：系统设计合理，运行可靠，效果良好，具有推广价值。     

基于案例推理的谈判支持系统的研究

通过对谈判案例的表达、检索、复用、评价、适配和学习的研究,基于案例推理的谈判支持系统解决了谈判者谈判相关知识缺乏的问题;在谈判案例表达方法中提出了属性分类方法;采用改进的最近相邻法进行谈判案例适配,以获得更相近的谈判历史案例;通过对基于案例推理的谈判机制分析,构建了基于案例推理谈判支持系统的体系结构,并详细设计了谈判系统的功能.最后,通过一个采购谈判方案验证了基于案例推理谈判支持系统的实用性.     

A fuzzy case based reasoning approach to value engineering

This paper is intended to assist the experts during the creativity phase of value engineering through utilizing the past experiences and avoid them in a specific domain from repeating the same experience. To this purpose, a general fuzzy case based reasoning (CBR) system is developed. Our system benefits from a fuzzy clustering model for fuzzy data to facilitate case retrieval and reduce the time complexity. The inherent analogical nature of a case-based reasoning (CBR) model and its integration with fuzzy theory would facilitate access to more precise and systematically classified information during a VE workshop. In order to test the performance of the proposed system, it is applied to suburban highway design data extracted from National Cooperative Highway Research Program (NCHRP) Report 282.     

Triple I method of fuzzy reasoning

The theory of the triple I method with total inference rules of fuzzy reasoning is investigated by using Zadeh's implication operator R_z. The computational formulae for both fuzzy modus ponens (FMP) and fuzzy modus tollens (FMT) are obtained. The reversibility properties for FMP and FMT are analyzed and the reversibility criteria are given. We also investigated the generalized problem of the triple I method and obtained the formulae for the -triple I FMP and the -triple I FMT.     

Distributed reasoning with ontologies and rules in order-sorted logic programming

Integrating ontologies and rules on the Semantic Web enables software agents to interoperate between them; however, this leads to two problems. First, reasoning services in SWRL (a combination of OWL and RuleML) are not decidable. Second, no studies have focused on distributed reasoning services for integrating ontologies and rules in multiple knowledge bases. In order to address these problems, we consider distributed reasoning services for ontologies and rules with decidable and effective computation. In this paper, we describe multiple order-sorted logic programming that transfers rigid properties from knowledge bases. Our order-sorted logic contains types (rigid sorts), non-rigid sorts, and unary predicates that distinctly express essential sorts, non-essential sorts, and non-sortal properties. We formalize the order-sorted Horn-clause calculus for such properties in a single knowledge base. This calculus is extended by embedding rigid-property derivation for multiple knowledge bases, each of which can transfer rigid-property information from other knowledge bases. In order to enable the reasoning to be effective and decidable, we design a query-answering system that combines order-sorted linear resolution and rigid-property resolution as top-down algorithms.     

Sparse distributed fuzzy inference systems

The sparse distributed architecture described would be shown to function effectively as a fuzzy inference system giving essentially the same results as conventional techniques. However, whereas the conventional model reaches a glass ceiling as the order of target systems increases due to computer architectural limitations, this design is able to surpass this limit. It uses the same principles of max–min composition to solve inference problems, and comprises fuzzy sets that can encode a level of linguistic expression typical of such systems. It however expresses fuzzy sets differently, and performs the required computation in a manner suitable to the alternative representation. It may seem a rather complicated solution for low order problems (which it is) with the situation reversing itself for high order problems, the conventional solution being complicated if not impossible and the new architecture simple. The limitation, errors and performance of the new method when compared to the conventional method is documented and quantified by software written to model the two representations considered.     

基于MATLAB的模糊自整定PID参数控制器的设计与仿真

针对在复杂系统中实现自整定参数的PID控制问题,介绍了一种基于模糊控制原理的PID参数自整定控制器的设计,并把MATLAB中的FuzzyToolbox和SIMULINK有机结合起来,方便的实现了该模糊自整定PID参数控制系统的计算机仿真。     

A fuzzy expert system shell using both exact and inexact reasoning

This paper presents a comprehensive expert system shell which can deal with both exact and inexact reasoning. A prototype of this proposed shell, code named as SYSTEM Z-IIe, has been implemented successfully. It is a rule-based system which employs fuzzy logic and numbers for its reasoning. Two basic inexact concepts, fuzziness and uncertainty, are both used and distinct from each other clearly in the system. Moreover, these two concepts have been built into two levels for inexact reasoning, i.e. the level of the rules and facts, and the level of the values of the objects of these rules and facts. Other features of Z-IIe include multiple fuzzy propositions in rules and dual fact input mechanisms. It also allows any combinations of fuzzy and normal terms and uncertainties. Fuzzy numeric comparison logic control is also available for the rules and facts. Its natural language interface which uses English with restricted syntax improves the efficiency of knowledge engineering. Z-IIe is also coupled to a Database Management System for supplying facts from existing databases if appropriate. All these features can be combined to build very powerful expert systems and are illustrated by an example.     

Dynamic switching based fuzzy control strategy for a class of distributed parameter system

In this work, a dynamic switching based fuzzy controller combined with spectral method is proposed to control a class of nonlinear distributed parameter systems (DPSs). Spectral method can transform infinite-dimensional DPS into finite ordinary differential equations (ODEs). A dynamic switching based fuzzy controller is constructed to track reference values for the multi-inputs multi-outputs (MIMO) ODEs. Only a traditional fuzzy logic system (FLS) and a rule base are used in the controller, and membership functions (MFs) for different ODEs are adjusted by scaling factors. Analytical models of the dynamic switching based fuzzy controller are deduced to design the scaling factors and analyze stability of the control system. In order to obtain a good control performance, particle swarm optimization (PSO) is adopted to design the scaling factors. Moreover, stability of fuzzy control system is analyzed by using the analytical models, definition of the stability and Lyapunov stability theory. Finally, a nonlinear rod catalytic reaction process is used as an illustrated example for demonstration. The simulation results show that performance of proposed dynamic switching based fuzzy control strategy is better than a multi-variable fuzzy logic controller.     

Fuzzy interpolative reasoning for sparse fuzzy rule-based systems based on the ranking values of fuzzy sets

Fuzzy interpolative reasoning is an important research topic of sparse fuzzy rule-based systems. In recent years, some methods have been presented for dealing with fuzzy interpolative reasoning. However, the involving fuzzy sets appearing in the antecedents of fuzzy rules of the existing fuzzy interpolative reasoning methods must be normal and non-overlapping. Moreover, the reasoning conclusions of the existing fuzzy interpolative reasoning methods sometimes become abnormal fuzzy sets. In this paper, in order to overcome the drawbacks of the existing fuzzy interpolative reasoning methods, we present a new fuzzy interpolative reasoning method for sparse fuzzy rule-based systems based on the ranking values of fuzzy sets. The proposed fuzzy interpolative reasoning method can handle the situation of non-normal and overlapping fuzzy sets appearing in the antecedents of fuzzy rules. It can overcome the drawbacks of the existing fuzzy interpolative reasoning methods in sparse fuzzy rule-based systems.