Fuzzy constructive logic

We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 358, 2008, pp. 130–152.     

Fuzzy inequational logic

We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra. The logic deals with atomic predicate formulas of the form of inequalities between terms and formalizes their semantic entailment and provability in graded setting which allows to draw partially true conclusions from partially true assumptions. We follow the Pavelka approach and define general degrees of semantic entailment and provability using complete residuated lattices as structures of truth degrees. We prove the logic is Pavelka-style complete. Furthermore, we present a logic for reasoning about graded if–then rules which is obtained as particular case of the general result.     

Fuzzy equational logic

Presented is a completeness theorem for fuzzy equational logic with truth values in a complete residuated lattice: Given a fuzzy set Σ of identities and an identity p≈q, the degree to which p≈q syntactically follows (is provable) from Σ equals the degree to which p≈q semantically follows from Σ. Pavelka style generalization of well-known Birkhoff's theorem is therefore established. Received: 15 March 2000 / Revised version: 20 September 2000 Published online: 12 December 2001     

Fuzzy logic in measurements

Our main interest in this paper is to translate from “natural language” into “system theoretical language”. This is of course important since a statement in system theory can be analyzed mathematically or computationally. We assume that, in order to obtain a good translation, “system theoretical language” should have great power of expression. Thus we first propose a new frame of system theory, which includes the concepts of “measurement” as well as “state equation”. And we show that a certain statement in usual conversation, i.e., fuzzy modus ponens with the word “very”, can be translated into a statement in the new frame of system theory. Though our result is merely one example of the translation from “natural language” into “system theoretical language”, we believe that our method is fairly general.     

Fuzzy Horn logic II

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.     

Fuzzy Horn logic I

The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic.     

Fuzzy logic, continuity and effectiveness

 It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbert style. Moreover, it is proven that any truth-functional semantics whose connectives are interpreted in [0,1] by continuous functions is axiomatizable by a fuzzy deduction system (but not by an effective fuzzy deduction system, in general). Received: 15 February 2001 / Revised version: 31 May 2001 / Published online: 12 July 2002     

Fuzzy modelling through logic optimization

This study proposes a new logic-driven approach to the development of fuzzy models. We introduce a two-phase design process realizing adaptive logic processing in the form of structural and parametric optimization. By recognizing the fundamental links between binary (two-valued) and fuzzy (multi-valued) logic, effective structural learning is achieved through the use of well-established methods of Boolean minimization encountered in digital systems. This blueprint structure is then refined by adjusting connections of fuzzy neurons, helping to capture the numeric details of the target system’s behavior. The introduced structure along with the learning mechanisms helps achieve high accuracy and interpretability (transparency) of the resulting model.     

Fuzzy logic based intersection delay estimation

A fuzzy logic based delay estimation system is proposed and modelled. Conventional method of delay study involves solving static engineering equations in which only technical factors (traffic demand, roadway geometry, and signal control, etc.) are considered and the affect of nontechnical factors (such as weather or visibility) cannot be analyzed since they do not follow a predefined process. The fuzzy logic based delay estimation combines the complex technical and nontechnical factors and is adaptive to the changing driving environment. The rule base of the delay estimation system is constructed either following a mathematical model or from real-time traffic operational data. Simulation and field test of the fuzzy system have shown that fuzzy logic based modelling is a promising approach to improving intersection delay estimation.     

模糊逻辑系统公理真度分析

分别对Lukasiewicz逻辑系统中的公理在R0系统和G(o)del系统中的真度大小、R0系统逻辑系统中的公理在Lukasiewicz系统和中G(o)del系统的真度大小和G(o)del逻辑系统中的公理在R0系统和Lukasiewicz系统中的真度大小进行了计算和分析,从真度方面研究和分析了常用逻辑系统之间的关系.     

Fuzzy logic modifications of the Analytic Hierarchy Process

The Analytic Hierarchy Process (AHP) is a measurement methodology based on pair-wise comparisons that relies on judgment to derive priority scales. During its implementation, one constructs hierarchies, then makes judgments or performs measurements on pairs of elements with respect to a criterion to derive preference scales, which are then synthesized throughout the structure to select the preferred alternative.One of the areas where the AHP finds application is in the subjective phases of risk assessment (RA), where it is used to structure and prioritize diverse risk factors, including the judgments of experts. Since fuzzy logic (FL) has been shown to be an effective tool for accommodating human experts and their communication of linguistic variables, there has been research aimed at modeling the fuzziness in the AHP (FAHP), and recently the focus of some of that modeling has been with respect to RA.The literature discusses more than one FAHP model, which raises the question as to which are the prominent models and what are their characteristics. In response to this question, we examine three of the most influential FAHP models. The article proceeds as follows. It begins with a brief overview of the AHP and its limitations when confronted with a fuzzy environment. This is followed by a discussion of FL modifications of the AHP. A RA-based likelihood score example is used throughout. The article ends with a commentary on the findings.     

Fuzzy logic in commercial expert systems — Results and prospects

This paper surveys the use of fuzzy methods in commercial applications of the technology of expert systems and in commercial products which aim to support such applications. It attempts to evaluate the utility of such an approach to uncertainty management compared to other well known methods of handling uncertainty in expert systems. Starting from this base it attempts an evaluation of the prospects for fuzzy expert systems in the medium term. As a survey it attempts to list applications and commercial products as comprehensively as is practical and includes an extensive bibliography on the topic.     

Fuzzy logic for auditory evoked response monitoring and control of depth of anaesthesia

This paper describes a self-organizing fuzzy model of patients undergoing surgery which was created from 10 clinical trials with off-line analysis during maintenance of anaesthesia using the drug propofol. The effects of patient sensitivity and surgical disturbances are also represented in this patient model. Hence, this model can be considered to be a qualitative pharmacologically related model for propofol during the anaesthetic maintenance stage. Furthermore, a closed-loop simulation has been designed to validate the patient model and compare the performance of a self-organizing fuzzy logic controller algorithm against a clinically derived linguistic controller. The successful results obtained provide proof-of-concept and encouragement to perform on-line clinical trials using fuzzy logic-based monitoring and control in operating theatre in the near future.     

Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic

Viewing fuzzy set theory as a model of SET with respect to a given multiple-valued logic we establish the Dedekind-MacNeille completion of a partially ordered L-valued set. Contrary to other constructions in fuzzy set theory the completion is unique up to an order isomorphism. Specializing this situation to the set of all crisp rational numbers we obtain in a unique way the fuzzy Dedekind real numbers.     

Fuzzy logic control of electrodynamic levitation devices coupled to dynamic finite volume method analysis

Electrodynamic levitation devices, which utilizing eddy currents induced in the levitated item to produce the repulsive force, are being involved in many engineering applications due to its fast response. This kind of repulsion is particularly used in electromagnetic launcher, electromagnetic brake and other applications. To analyze and improve the dynamic behavior and performances of such devices, the conventional way is using the finite element method (FEM), due to its ability of using adaptive mesh to handle complex geometries. Nevertheless, it has a serious limitation in efficiency for large number of variables which is reflected by the high cost in terms of computational properties. During the past few years, the finite volume method FVM formulations have gained attention inside the electromagnetic community. The method has been proved its effectiveness in the solution of different kinds of problems, such as in magnetostatic field computation and eddy current nondestructive testing. The FVM method is particularly attractive thanks to its small required storage memory and reduced CPU time. In this paper an FVM model is developed to analyze the dynamic characteristic of the motion of the electrodynamic levitation device TEAM Workshop Problem 28. The dynamic characteristic of the motion is obtained by solving the electromagnetic equation coupled to the mechanical one. The repulsive force applied to the levitated plate of TEAM Workshop Problem 28, is computed by the interaction between eddy current induced in the plate and the magnetic flux density. A comparison between experimental and numerical results is carried out to show the efficiency of the developed model. What’s more, based on the developed FVM model, a fuzzy logic controller FLC is designed and implemented to control the position of the levitated item.     

Spatiality and classical logic

In this short note we show that any proof of a general spatiality theorem for inductively generated formal topologies requires full classical logic. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim