osting by E Abstract Direct adaptive fuzzy controller is a class of adaptive fuzzy controllers which use fuzzy logic system (FLS) as controller. Interval type-2 fuzzy sets are able to model and minimize the numerical and linguistic uncertainties associated with the inputs and outputs of fuzzy logic controller (FLC). In this paper, a direct adaptive interval type-2 FLC is proposed for controllin...

This paper is a reply to the article entitled Elkan’s Theoretical Argument, Reconsidered by Prof. Enric Trillas and Prof. Claudi Alsina. I would like to express my thanks to Dr. Piero Bonissone for inviting me to write this paper and for showing me the article by Trillas and Alsina in advance of its publication. Ever since mathematical studies of fuzziness began with a 1965 paper entitled Fuzzy...

First, this paper gives the relative basic theory of dynamic fuzzy logic, and introduces the basic data types of dynamic fuzzy logic. Then we introduce the basic data types of dynamic fuzzy logic and the abstract syntax of dynamic fuzzy logic programming language. At last, this paper gives the categorical description of dynamic fuzzy logic programming language according to categorical theory, a...

In recent years, soft computing methods have generated a large research interest. The synthesis of the fuzzy logic and the evolutionary algorithms is one of these methods. A particular evolutionary algorithm (EA) is differential evolution (DE). As for any EA, DE algorithm also requires parameters tuning to achieve desirable performance. In this paper tuning the perturbation factor vector of DE ...

This paper presents the development of a fuzzy logic library using the dynamic simulation software SIMULINK under MATLAB environment. The developed library includes the main blocks: MIN (minimum operation), MAX (maximum operation), MFG (membership function generator), FUZ (fuzzifier to convert a crisp input into a fuzzy labels), F-RULES (fuzzy rules matrix), F-INF (Min-Max fuzzy inference), DEF...

The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...

Reasoning with propositional knowledge based on fuzzy neural logic" (1996). In this article, a new kind of reasoning for propositional knowledge, which is based on the fuzzy neural logic initialed by Teh, is introduced. A fundamental theorem is presented showing that any fuzzy neural logic network can be represented by operations: bounded sum, complement, and scalar product. Propositional calcu...

It is shown that it is possible to regard stochastic and fuzzy logics as being derived from two different constraints on a probability logic: statistical independence (stochastic) and logical implication (fuzzy). To contrast the merits of the two logics, some published data on a fuzzylogic controller is reanalysed using stochastic logic and it is shown that no significant difference results in ...