Fuzzy modus ponens (briefly, FMP) is the most fundamental form of fuzzy reasoning and has been extensively discussed by diverse researchers. The aim of the present paper is to propose a formalized form of FMP, called generalized modus ponens, in the fuzzy logic system L and solve it in L, and then provide its numerical version as a new algorithm for solving FMP. As a preparation, some related q...

Fuzzy inference method based approach to the forming of modular intellectual system of assessment the quality of communication services is proposed. Developed under this approach the basic fuzzy estimation model takes into account the recommendations of the International Telecommunication Union in respect of the operation of packet switching networks based on IPprotocol. To implement the main f...

One of the most popular methods of knowledge representation are the fuzzy rules. One of the ways of representation of fuzzy rules is the functional representation. From over eight decades a number of different fuzzy implications have been described, e.g. [5]-[9]. This leads to the following question: how to choose the proper function among basic fuzzy implications. This paper is a continuation ...

This paper deals with closure properties of models of fuzzy attribute implications. Fuzzy attribute implications are particular IF-THEN rules which can be interpreted in data tables with fuzzy attributes and/or ranked data tables over domains with similarity relations. We show that models of any set of fuzzy attribute implications form a fuzzy closure system with hedge. Conversely, we show that...

For a fast evaluation of fuzzy rule based systems (FRBS's) some special fuzzy hardware is available, but in most of the realized applications only standard hardware or specific non fuzzy ASICs are used. In this paper we discuss some of the reasons of this gap and give hints for a fast realization of FRBS's especially on digital standard processors. For the realiza tion a fast algorithm with an ...

A comparison is made of two approaches to approximate reasoning: Mamdani's interpolation method and the implication method. Both approaches are variants of Zadeh's compositional rule of inference. It is shown that the approaches are not equivalent. A correspondence between the approaches is established via the inverse of the implied fuzzy relation. The interpolation method has the lowest time-c...

The paper deals with fuzzy Horn logic (FHL) which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w. r. t. semantics over the unit interval [0, 1] with (residuated lattices given by) left-continuous t-norm and a residuated implication, provided tha...

Although the equivalence between fuzzy and neural systems is considered in various aspects depending on the context, the real implication however, of this equivalence is not explicitly addressed. As result of this, unless one is expert on both the fuzzy logic and neural network fields, there is no clear indication what circumstances prevail to implement any of them. The aim of this paper is to ...

This paper looks to introduce the reader to the idea of a fuzzy logic system and how this type of system differs from traditional propositional logic systems by way of summarizing the foundational ideas presented in Hájek’s Metamathematics of Fuzzy Logic. Because a fuzzy system has different laws from a standard propositional one, propositional logic operations such as conjunction and implicati...