A logical foundation for the case‐based reasoning cycle

Case‐based reasoning (CBR) has drawn considerable attention in artificial intelligence (AI) fields with many successful applications in systems such as e‐commerce and multiagent systems. For the moment, research and development of CBR basically follows the traditional process model of CBR, i.e., the R⁴ model and problem space model introduced in 1994 and 1996, respectively. However, there has been no logical analysis for this popular CBR model. This article will fill this gap by providing a unified logical foundation for the CBR cycle. The proposed approach is based on an integration of traditional mathematical logic, fuzzy logic, and similarity‐based reasoning. At the same time, we examine the CBR cycle from the knowledge‐based (KB) viewpoint. The proposed logical approach can facilitate research and development of CBR. © 2003 Wiley Periodicals, Inc.     

A Fuzzy Inference Network Model for Search Strategy Using Neural Logic Network

In this paper, a fuzzy inference network model for search strategy using neural logic network is presented. The model describes search strategy, and neural logic network is used to search. Fuzzy logic can bring about appropriate inference results by ignoring some information in the reasoning process. Neural logic networks are powerful tools for the reasoning process but not appropriate for the logical reasoning. To model human knowledge, besides the reasoning process capability, the logical reasoning capability is equally important. Another new neural network called neural logic network is able to do the logical reasoning. Because the fuzzy inference is a fuzzy logical reasoning, we construct a fuzzy inference network model based on the neural logic network, extending the existing rule inference network. And the traditional propagation rule is modified.     

The construction of a fuzzy inference network by extension of the rule inference network

Fuzzy logic can bring about inappropriate inferences as a result of ignoring some information in the reasoning process. Neural networks are powerful tools for pattern processing, but are not appropriate for the logical reasoning needed to model human knowledge. The use of a neural logic network derived from a modified neural network, however, makes logical reasoning possible. In this paper, we construct a fuzzy inference network by extending the rule–inference network based on an existing neural logic network. The propagation rule used in the existing rule–inference network is modified and applied. In order to determine the belief value of a proposition pertaining to the execution part of the fuzzy rules in a fuzzy inference network, the nodes connected to the proposition to be inferenced should be searched for. The search costs are compared and evaluated through application of sequential and priority searches for all the connected nodes.     

Boosting fuzzy rules in classification problems under single‐winner inference

In previous studies, we have shown that an Adaboost‐based fitness can be successfully combined with a Genetic Algorithm to iteratively learn fuzzy rules from examples in classification problems. Unfortunately, some restrictive constraints in the implementation of the logical connectives and the inference method were assumed. Alas, the knowledge bases Adaboost produces are only compatible with an inference based on the maximum sum of votes scheme, and they can only use the t‐norm product to model the “and” operator. This design is not optimal in terms of linguistic interpretability. Using the sum to aggregate votes allows many rules to be combined, when the class of an example is being decided. Because it can be difficult to isolate the contribution of individual rules to the knowledge base, fuzzy rules produced by Adaboost may be difficult to understand linguistically. In this point of view, single‐winner inference would be a better choice, but it implies dropping some nontrivial hypotheses. In this work we introduce our first results in the search for a boosting‐based genetic method able to learn weighted fuzzy rules that are compatible with this last inference method. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 1021–1034, 2007.     

Increasing fuzzy rules cooperation based on evolutionary adaptive inference systems

This article presents a study on the use of parametrized operators in the Inference System of linguistic fuzzy systems adapted by evolutionary algorithms, for achieving better cooperation among fuzzy rules. This approach produces a kind of rule cooperation by means of the inference system, increasing the accuracy of the fuzzy system without losing its interpretability. We study the different alternatives for introducing parameters in the Inference System and analyze their interpretation and how they affect the rest of the components of the fuzzy system. We take into account three applications in order to analyze their accuracy in practice. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 1035–1064, 2007.     

A unified logical model for CBR‐based e‐commerce systems

This article examines new issues resulting from applying case‐based reasoning (CBR) in e‐commerce and proposes a unified logical model for CBR‐based e‐commerce systems (CECS) that consists of three cycles and covers almost all activities of applying CBR in e‐commerce. This article also decomposes case adaptation into problem adaptation and solution adaptation, which not only improves the understanding of case adaptation in the traditional CBR, but also facilitates the refinement of activity of CBR in e‐commerce and intelligent support for e‐commerce. It then investigates CBR‐based product negotiation. This article thus gives insight into how to use CBR in e‐commerce and how to improve the understanding of CBR with its applications in e‐commerce from a logical viewpoint. © 2005 Wiley Periodicals, Inc. Int J Int Syst 20: 29–46, 2005.     

多变量模糊系统控制设计及其在并行混合电动汽车中的应用

利用矩阵半张量积方法研究了多变量模糊系统模糊逻辑控制器的设计,并得到了若干新的结果.首先给出了模糊规则新的表示形式,基于该表示形式,构造了模糊逻辑控制器的结构矩阵,将复杂的模糊推理转变成了简单的代数等式.然后当模糊控制规则不完全时,建立了最小入度控制算法;当模糊控制规则不一致时,给出了相应的处理方法.最后将得到的结果应用到并行混合电动汽车(PHEV)能量管理和控制策略的模糊控制器设计.     

Intelligent Fril/SQL interrogator

The intelligent Fril/SQL interrogator is an object‐oriented and knowledge‐based support query system, which is implemented by the set of logic objects linking one another. These logic objects integrate SQL query, support logic programming language—Fril and Fril query together by processing them in sequence in slots of each logic object. This approach therefore takes advantage of both object‐oriented system and a logic programming‐based system. Fuzzy logic data mining and a machine learning tool kit built in the intelligent interrogator can automatically provide a knowledge base or rules to assist a human to analyze huge data sets or create intelligent controllers. Alternatively, users can write or edit the knowledge base or rules according to their requirements, so that the intelligent interrogator is also a support logic programming environment where users can write and run various Fril programs through these logic objects. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 279–302, 2007.     

SoHyFIS-Yager: A self-organizing Yager based Hybrid neural Fuzzy Inference System

The Hybrid neural Fuzzy Inference System (HyFIS) is a multilayer adaptive neural fuzzy system for building and optimizing fuzzy models using neural networks. In this paper, the fuzzy Yager inference scheme, which is able to emulate the human deductive reasoning logic, is integrated into the HyFIS model to provide it with a firm and intuitive logical reasoning and decision-making framework. In addition, a self-organizing gaussian Discrete Incremental Clustering (gDIC) technique is implemented in the network to automatically form fuzzy sets in the fuzzification phase. This clustering technique is no longer limited by the need to have prior knowledge about the number of clusters present in each input and output dimensions. The proposed self-organizing Yager based Hybrid neural Fuzzy Inference System (SoHyFIS-Yager) introduces the learning power of neural networks to fuzzy logic systems, while providing linguistic explanations of the fuzzy logic systems to the connectionist networks. Extensive simulations were conducted using the proposed model and its performance demonstrates its superiority as an effective neuro-fuzzy modeling technique.     

一种鲁棒性较强的神经元在模糊规则发生摄动时的有效控制

一种基于弱T-范数和弱S-范数的神经元,可以实现与、或和混合-并模糊逻辑运算,并且拥有较强的鲁棒性。将它所组成的神经网络运用到模糊推理系统中,不仅可以简化网络,实现模糊推理最基本的一致性要求,还可以控制在模糊推理过程中当规则发生摄动时对推理结果的影响程度。     

A hybrid fuzzy cognitive model based on weighted OWA operators and single‐antecedent rules

Conventional fuzzy cognitive maps (FCMs) can only represent monotonic or symmetric causal relationships and cannot simulate the AND/OR combinations of the antecedent nodes. The rule‐based fuzzy cognitive maps (RBFCMs) usually suffer from the well‐known combinatorial rule explosion problem. A hybrid fuzzy cognitive model based on weighted OWA operators and single‐antecedent rules is proposed to eliminate the drawbacks of the existing FCM models. Hybrid fuzzy cognitive maps (HFCMs) represent the causal relationships with single‐antecedent fuzzy rules and handle the various AND/OR relationships among the antecedent nodes with weighted OWA aggregation operators. Compared with conventional FCMs, HFCMs have more powerful cognitive capability. Compared with RBFCMs, HFCMs reduce the scale and complexity of the rule bases significantly and have better representation and inference performance. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 1189–1196, 2007.     

An Inference Microprocessor Design

This paper is concerned with the design of an inference microprocessor for production rule systems.Its implementation is based on both exact and inexact (fuzzy logic) reasoning,so it can be used for building various production rule systems.The methods of translating linguistically expressed rules into numerical representations are described and the hardware implementations are discussed.Finally, a parallel architecture for the inference microprocessor is presented.     

An experimental logic based on the fundamental deduction principle

Experimental logic can be viewed as a branch of logic dealing with the actual construction of useful deductive systems and their application to various scientific disciplines. In this paper we describe an experimental deductive system called the SYMbolic EVALuator (i.e. SYMEVAL) which is based on a rather simple, yet startling principle about deduction, namely that deduction is fundamentally a process of replacing expressions by logically equivalent expressions. This principle applies both to logical and domain-dependent axioms and rules. Unlike more well-known logical inference systems which do not satisfy this principle, herein is described a system of logical axioms and rules called the SYMMETRIC LOGIC which is based on this principle. Evidence for this principle is given by proving theorems and performing deduction in the areas of set theory, logic programming, natural language analysis, program verification, automatic complexity analysis, and inductive reasoning.     

Systemic approach to fuzzy logic formalization for approximate reasoning

L.A. Zadeh, E.H. Mamdani, M. Mizumoto, et al., R.A. Aliev and A. Tserkovny have proposed methods for fuzzy reasoning in which antecedents and consequents involve fuzzy conditional propositions of the form “If x is A then y is B”, with A and B being fuzzy concepts (fuzzy sets). A formulation of fuzzy antecedent/consequent chains is one of the most important topics within a wide spectrum of problems in fuzzy sets in general and approximate reasoning, in particular. From the analysis of relevant research it becomes clear that for this purpose, a so-called fuzzy conditional inference rules comes as a viable alternative. In this study, we present a systemic approach toward fuzzy logic formalization for approximate reasoning. For this reason, we put together some comparative analysis of fuzzy reasoning methods in which antecedents contain a conditional proposition with fuzzy concepts and which are based on implication operators present in various types of fuzzy logic. We also show a process of a formation of the fuzzy logic regarded as an algebraic system closed under all its operations. We examine statistical characteristics of the proposed fuzzy logic. As the matter of practical interest, we construct a set of fuzzy conditional inference rules on the basis of the proposed fuzzy logic. Continuity and stability features of the formalized rules are investigated.     

基于组合逻辑的故障诊断方法

针对复杂系统故障传播和故障分析的模糊性和不确定性,首先,在逻辑Petri网和模糊Petri网的理论基础上,根据逻辑Petri网的传值不确定性以及模糊Petri网对模糊信息的表示和推理能力的特点,提出模糊逻辑Petri网的概念及推理规则,考虑不同故障源对故障的影响程度,将概率信息引入模糊逻辑Petri网,对故障源赋予置信度,使故障诊断过程更符合实际。其次,利用模糊逻辑Petri网对故障诊断系统进行建模,用模糊逻辑Petri网描述了系统故障状态组合的逻辑关系,并进一步简化了系统模型的表达形式,具有良好的封装性、重构性和可维护性,在一定程度上缓解了状态组合空间爆炸问题。针对故障的传播性,采用可达性分析方法对故障信息的传播路径进行模拟论证,提高了故障诊断效率。最后,通过离心式压缩机故障诊断过程实例分析,验证了该方法的有效性和可行性,提高了故障诊断过程的准确性和高效性。     

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

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

一个带有相似性关系的模糊逻辑

模糊集与模糊逻辑是处理模糊性与不确定性信息的重要数学工具，相似性关系是模糊集的一个基本概念。为了在模糊逻辑中集成相似性关系并考虑其模糊推理，提出了一个带有相似性关系的模糊逻辑，给出了其语法及语义描述，在模糊谓词逻辑情形下，讨论并证明了基于归结与调解方法的模糊推理的有关属性，考虑到许多定理证明器和问题解决系统均是基于否证法，证明了归结与调解方法对模糊谓词演算的反驳完备性定理。     

Clustering web search results using fuzzy ants

Algorithms for clustering Web search results have to be efficient and robust. Furthermore they must be able to cluster a data set without using any kind of a priori information, such as the required number of clusters. Clustering algorithms inspired by the behavior of real ants generally meet these requirements. In this article we propose a novel approach to ant‐based clustering, based on fuzzy logic. We show that it improves existing approaches and illustrates how our algorithm can be applied to the problem of Web search results clustering. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 455–474, 2007.     

Complex fuzzy logic

A novel framework for logical reasoning, termed complex fuzzy logic, is presented in this paper. Complex fuzzy logic is a generalization of traditional fuzzy logic, based on complex fuzzy sets. In complex fuzzy logic, inference rules are constructed and "fired" in a manner that closely parallels traditional fuzzy logic. The novelty of complex fuzzy logic is that the sets used in the reasoning process are complex fuzzy sets, characterized by complex-valued membership functions. The range of these membership functions is extended from the traditional fuzzy range of [0,1] to the unit circle in the complex plane, thus providing a method for describing membership in a set in terms of a complex number. Several mathematical properties of complex fuzzy sets, which serve as a basis for the derivation of complex fuzzy logic, are reviewed in this paper. These properties include basic set theoretic operations on complex fuzzy sets - namely complex fuzzy union and intersection, complex fuzzy relations and their composition, and a novel form of set aggregation - vector aggregation. Complex fuzzy logic is designed to maintain the advantages of traditional fuzzy logic, while benefiting from the properties of complex numbers and complex fuzzy sets. The introduction of complex-valued grades of membership to the realm of fuzzy logic generates a framework with unique mathematical properties, and considerable potential for further research and application.     

Local identification of prototypes for genetic learning of accurate TSK fuzzy rule‐based systems

This work presents the use of local fuzzy prototypes as a new idea to obtain accurate local semantics‐based Takagi–Sugeno–Kang (TSK) rules. This allow us to start from prototypes considering the interaction between input and output variables and taking into account the fuzzy nature of the TSK rules. To do so, a two‐stage evolutionary algorithm based on MOGUL (a methodology to obtain Genetic Fuzzy Rule‐Based Systems under the Iterative Rule Learning approach) has been developed to consider the interaction between input and output variables. The first stage performs a local identification of prototypes to obtain a set of initial local semantics‐based TSK rules, following the Iterative Rule Learning approach and based on an evolutionary generation process within MOGUL (taking as a base some initial linguistic fuzzy partitions). Because this generation method induces competition among the fuzzy rules, a postprocessing stage to improve the global system performance is needed. Two different processes are considered at this stage, a genetic niching‐based selection process to remove redundant rules and a genetic tuning process to refine the fuzzy model parameters. The proposal has been tested with two real‐world problems, achieving good results. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 909–941, 2007.