The term fuzzy logic is used in this paper to describe an imprecise logical system, FL, in which the truth-values are fuzzy subsets of the unit interval with linguistic labels such as true, false, not true, very true, quite true, not very true and not very false, etc. The truth-value set, , of FL is assumed to be generated by a context-free grammar, with a semantic rule providing a means of computing the meaning of each linguistic truth-value in (...) as a fuzzy subset of [0, 1].Since is not closed under the operations of negation, conjunction, disjunction and implication, the result of an operation on truth-values in requires, in general, a linguistic approximation by a truth-value in . As a consequence, the truth tables and the rules of inference in fuzzy logic are (i) inexact and (ii) dependent on the meaning associated with the primary truth-value true as well as the modifiers very, quite, more or less, etc. (shrink)

Although machine intelligence is increasingly employed in healthcare, the realm of decision-making in medical ethics remains largely unexplored from a technical perspective. We propose an approach based on fuzzy cognitive maps (FCMs), which builds on Beauchamp and Childress’ prima-facie principles. The FCM’s weights are optimized using a genetic algorithm to provide recommendations regarding the initiation, continuation, or withdrawal of medical treatment. The resulting model approximates the answers provided by our team of medical ethicists fairly well and offers a high (...) degree of interpretability. Possible applications of such a system include informal guidance on medical ethics dilemmas as well as educational purposes. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)

The notions of health, illness, and disease are fuzzy-theoretically analyzed. They present themselves as non-Aristotelian concepts violating basic principles of classical logic. A recursive scheme for defining the controversial notion of disease is proposed that also supports a concept of fuzzy disease. A sketch is given of the prototype resemblance theory of disease.

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by Galois connections is provided.

Intuitionistic fuzzy aggregation techniques -- Intuitionistic fuzzy clustering algorithms.

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies and satisfiable sentences as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.

Axiomatizations are presented for fuzzy logics characterized by uninorms continuous on the half-open real unit interval [0,1), generalizing the continuous t-norm based approach of Hájek. Basic uninorm logic BUL is defined and completeness is established with respect to algebras with lattice reduct [0,1] whose monoid operations are uninorms continuous on [0,1). Several extensions of BUL are also introduced. In particular, Cross ratio logic CRL, is shown to be complete with respect to one special uninorm. A Gentzen-style hypersequent calculus is (...) provided for CRL and used to establish co-NP completeness results for these logics. (shrink)

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.

The last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics. The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them. It concentrates on the propositional cases, and mentions the first-order systems more superficially. The main ideas, however, become clear already in this restricted setting.

In empiricism, there are only two answers for a question: black or white. Yet, subjective meanings of human behaviours and responses toward health and illness cannot be simply explained with black and white. Gray zones are needed because they are characterized by complexity and require a contextual understanding. In this paper, we present and suggest fuzzy logic as an example of theoretical bases that help transcend the conflicts between objectivity and subjectivity, respect gray zones between black and white answers (...) for questions, and provide a contextual understanding of complex nursing phenomenon. A historical review of fuzzy logic is followed by a definition of fuzzy logic. Then, fuzzy logic is discussed in terms of its compatibility with nursing epistemological views and philosophical thoughts. Fuzzy logic agrees with three categories of epistemological views of nursing, including correspondence, coherence and pragmatism. Fuzzy logic also agrees with four major philosophical thoughts in nursing, including postempiricism, pragmatism, feminism, and postmodernism. Based on the discussion, we propose that fuzzy logic be further explored, used and developed in research and practice in the nursing areas/situations/phenomena that are characterized by complexity, ambiguousness, and vagueness. (shrink)

The concept of fuzzy Galois connections is defined on fuzzy posets with Bělohlávek's fuzzy Galois connections as a special case. The properties of fuzzy Galois connections are investigated. Then the relations between fuzzy Galois connections and fuzzy closure operators, fuzzy interior operators are studied.

This book is a collection of contributions written by philosophers and scientists active in different fields, such as mathematics, logics, social sciences, computer sciences and linguistics. They comment on and discuss various parts of and subjects and propositions introduced in the Handbook of Analytical Philosophy of Medicine from Kadem Sadegh-Zadeh, published by Springer in 2012. This volume reports on the fruitful exchange and debate that arose in the fuzzy community upon the publication of the Handbook. This was not only (...) very much appreciated by the community but also seen as a critical starting point for beginning a new discussion. The results of this discussion, which involved many different perspectives from science and the humanities and was warmly encouraged by Kadem Sadegh-Zadeh himself, are accurately reported in this volume, which is intended to be a critical companion to Kadem Sadegh-Zadeh ́s handbook. Rudolf Seising is currently an adjunct researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain) and a college lecturer at the Faculty of History and Arts, at the Ludwig Maximilians University of Munich (Germany). Marco Elio Tabacchi is currently the Scientific Director of the Italian National Research & Survey Organization Demopolis, and a research assistant in the Soft Computing Group at University of Palermo (Italy). (shrink)

This paper deals with good fuzzy preorders on fuzzy power structures. It is shown that a fuzzy preorder R on an algebra ${(X,\mathbb{F})}$ is compatible if and only if it is Hoare good, if and only if it is Smyth good.

In this paper, we introduce the notions of -fuzzy filters and -fuzzy Boolean filters in R0-algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R0-algebras is an -fuzzy Boolean filter if and only if it is an -fuzzy implicative filter. Finally, we consider the concepts of implication-based fuzzy Boolean filters of R0-algebras.

A clear account of the principles of fuzzy logic-based design, from a computer/electronics engineering perspective. This pedagogical work incorporates current fuzzy logic techniques, emphasizing hardware/software design for fuzzy systems and fuzzy logic development tools.

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and (...) show why it is helpful to consider the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. These, provides a new interpretation of Quantum Mechanics.More exactly what we see here is "Particle-Fuzzy time" interpretation of quantum Mechanics, in contrast to some other interpretations of Quantum Mechanics like " Wave-Particle" interpretation. At the end, we propound a question about the possible solution of a paradox in Physics, the contradiction between General Relativity and Quantum Mechanics. (shrink)

A novel fuzzy control scheme with adaptation algorithms is developed for robot manipulators’ system. At the beginning, one adjustable parameter is introduced in the fuzzy logic system, the robot manipulators system with uncertain nonlinear terms as the master device and a reference model dynamic system as the slave robot system. To overcome the limitations such as online learning computation burden and logic structure in conventional fuzzy logic systems, a parameter should be used in fuzzy logic system, (...) which composes fuzzy logic system with updated parameter laws, and can be formed for a new fashioned adaptation algorithms controller. The error closed-loop dynamical system can be stabilized based on Lyapunov analysis, the number of online learning computation burdens can be reduced greatly, and the different kinds of fuzzy logic systems with fuzzy rules or without any fuzzy rules are also suited. Finally, effectiveness of the proposed approach has been shown in simulation example. (shrink)

Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.

Medical knowledge as well as clinical practice are characterized by inescapable uncertainty. There are many reasons this is the case, but foremost among them is that almost everything in medicine is inevitably vague, be it something linguistic such as the term “illness”, or something extra-linguistic such as the condition referred to as illness. If we ask ourselves, then, what the term “illness” means exactly, on the one hand; and how we may precisely delimit the condition illness, on the other; we (...) shall realize that to answer these and similar questions requires specific methods that enable us to adequately cope with vagueness. As we shall see below, fuzzy logic provides us with just such methods. (shrink)

This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic (...) structures corresponding to the systems are then defined, and completeness results are provided. We next consider fuzzy systems satisfying new relevance principles introduced by Yang. We show that the weakening-free uninorm systems and some extensions and neighbors of R satisfy the new relevance principles. (shrink)

Conservative agriculture practice adoption literature advocates that adoption is caused by many factors comprising cognitive, social, economic, personal, and CAP-related factors. Evaluating the adoption of CAPs as the outcome is complex and challenging with regression-based models as the systemic interdependencies of the factors offer diverse or varying results. Farmer production and environmental orientations as cognitive stances are notable interpreters of CAP adoption. The appetite level for risk-taking, innovativeness, and trust facilitates the adoption of CAPs. However, a causal-predictive technique should be (...) used to investigate the adoption of CAP. Hence, this study engages in a configuration approach using a fuzzy-set qualitative comparative analysis to analyze the patterns of different types of farmers' orientations, personal level of trust on extension services, and innovativeness risk-taking attitude on the intention to adopt CAPs. The analysis is based on the 155-farmer data collected employing a structured interview from Pakistan. The results suggest that a higher level of environment orientation and innovativeness is sufficient to increase the intention to adopt CAPs. Moreover, a higher intention to adopt CAPs is achieved with a lower production orientation, a higher personal level of innovativeness, and a risk-taking attitude of the farmer. The innovativeness can help to develop the intention to adopt the CAPs among the environment and production-oriented farmers. Causal solutions offer a unique understanding that the farmers' environment and production orientation can combine to suggest inclined to adopt CAPs by having an attitude of innovativeness and risk-taking. The causal solutions achieved significant predictive validity in the holdout samples. Policy and farmer-level suggestions were made to raise the intention to adopt CAPs among the farmers. (shrink)

In this paper, notions of fuzzy closure system and fuzzy closure L—system on L—ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

In many applications we have a set of objects together with their properties. Since the available information is usually incomplete and/or imprecise, the true knowledge about subsets of objects can be determined approximately only. In this paper, we discuss a fuzzy generalisation of two pairs of relation-based operators suitable for fuzzy set approximations, which have been recently investigated by Düntsch and Gediga. Double residuated lattices, introduced by Orlowska and Radzikowska, are taken as basic algebraic structures. Main properties of (...) these operators are presented. (shrink)

It has been a vexing question in recent years whether concepts are fuzzy. In this paper several views on the fuzziness of concepts are pointed out to have stemmed from dubious concepts of fuzziness. The underlying notions of the roles feasibly played byprototype, set, andprobability in modeling concepts strongly suggest that the controversy originates from a vague relation between intuitive and mathematical ideas in the cognitive sciences. It is argued that the application of fuzzy sets cannot resolve this (...) vagueness since they are one sided,viz., defined on sets. An alternative definition based on classes (in the sense of axiomatic set theory) is proposed. (shrink)

Structural completeness properties are investigated for a range of popular t-norm based fuzzy logics—including Łukasiewicz Logic, Gödel Logic, Product Logic, and Hájek's Basic Logic—and their fragments. General methods are defined and used to establish these properties or exhibit their failure, solving a number of open problems.

The paper deals with fuzzy Horn logic 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 left-continuous t-norm and a residuated implication, provided that only certain fuzzy sets of formulas are considered. The model classes of fuzzy structures of FHL are characterized by closure (...) properties. We also give comments on related topics proposed by N. Weaver. (shrink)

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant $\overline{0}$ , namely $\neg \varphi$ is $\varphi \to \overline{0}$. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that $\neg$ is an involutive negation. (...) However, for t-norms without non-trivial zero divisors, $\neg$ is Gödel negation. In this paper we investigate the residuated fuzzy logics arising from continuous t-norms without non-trivial zero divisors and extended with an involutive negation. (shrink)

In this book we study the concepts of Fuzzy Cognitive Maps and their Neutrosophic analogue, the Neutrosophic Cognitive Maps.

In this paper, by using the notion of fuzzy points and equality algebras, the notions of fuzzy point equality algebra, equality-subalgebra, and ideal were established. Some characterizations of fuzzy subalgebras were provided by using such concepts. We defined the concepts of \((\in, \in)\) and \((\in, \in\! \vee \, {q})\)-fuzzy ideals of equality algebras, discussed some properties, and found some equivalent definitions of them. In addition, we investigated the relation between different kinds of \((\alpha,\beta)\)-fuzzy subalgebras and (...) \((\alpha,\beta)\)-fuzzy ideals on equality algebras. Also, by using the notion of \((\in, \in)\)-fuzzy ideal, we defined two equivalence relations on equality algebras and we introduced an order on classes of \(X\), and we proved that the set of all classes of \(X\) by these order is a poset. (shrink)

This paper examines a novel notion of causality, namely, fuzzy-set-theoretic causality. Over the last decade, a number of conceptual models of causality, in the language of fuzzy-set theory, have appeared in the scientific literature and have been applied to empirical research. They have circulated widely from one scientific discipline to another, weaving a unifying thread through them. However, they have received no philosophical attention. In this paper, I will discuss the value and limitations of this type of model (...) and will read into its application several dimensions of philosophical significance. (shrink)

S.Haack has defended the idea that in fuzzy logic it cannot be affirmed that the true values of a statement are themselves blurry. This article analyzes Haack position in the light of some current approaches of classic philosophy of logic, and from the cognitive point of view of philosophy of logic, especially from the theory of concepts. Under the said approaches, the thesis on non-gradation of truth appears significantly weakened.

. Fuzzy systems and artificial neural networks, as important components of soft-computation, can be applied together to model uncertainty. A composite block of the fuzzy system and the ANN shares a mutually beneficial association resulting in enhanced performance with smaller networks. It makes them suitable for application with time-varying multi-input multi-output channel modeling enabling such a system to track minute variations in propagation conditions. Here we propose a fuzzy neural system using a fuzzy time delay fully (...) recurrent neural network that has the capability to tackle time-varying inputs in fuzzified form and is used to model MIMO channels. The inference engine is constituted by novel FTDFRNN blocks which determine the decision boundaries and tracks in-phase and quadrature components of input signals encompassing stochastic behavior of the MIMO channel. The system shows significant improvement in performance compared to statistical and ANN approaches in terms of faster processing time, lower bit error rate margins and better precision while carrying out symbol recovery of transmitted data through severely faded MIMO channels. (shrink)

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then (...) rules which make use of human knowledge and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

This paper proposes a novel adaptive fuzzy super-twisting sliding mode control scheme for microgyroscopes with unknown model uncertainties and external disturbances. Firstly, an adaptive algorithm is used to estimate the unknown parameters and angular velocity of microgyroscopes. Secondly, in order to improve the performance of the system and the superiority of the super-twisting algorithm, this paper utilizes the universal approximation characteristic of the fuzzy system to approach the gain of the super-twisting sliding mode controller and identify the gain (...) of the controller online, realizing the adaptive adjustment of the controller parameters. Simulation results verify the superiority and the effectiveness of the proposed approach, compared with adaptive super-twisting sliding mode control without fuzzy approximation; the proposed method is more effective. (shrink)

In a legal expert system based on CBR (Case-Based Reasoning), legal statute rules are interpreted on the basis of precedents. This interpretation, because of its vagueness and uncertainty of the interpretation cannot be handled with the means used for crisp cases. In our legal expert system, on the basis of the facts of precedents, the statute rule is interpreted as a form of case rule, the application of which involves the concepts of membership and vagueness. The case rule is stored (...) in a data base by means of fuzzy frames. The inference based on a case rule is made by fuzzy YES and fuzzy NO, and the degree of similarity of cases. The system proposed here will be used for legal education; its main area of application is contract, especially in relation to the United Nations Convention on Contracts for the International Sale of Goods (CISG). (shrink)

Standard models of adolescent risk taking posit that the cognitive abilities of adolescents and adults are equivalent, and that increases in risk taking that occur during adolescence are the result of socio emotional differences in impulsivity, sensation seeking, and lack of self-control. Fuzzy-trace theory incorporates these socio emotional differences. However, it predicts that there are also cognitive differences between adolescents and adults, specifically that there are developmental increases in gist-based intuition that reflects understanding. Gist understanding, as opposed to verbatim-based (...) analysis, generally has been hypothesized to have a protective effect on risk taking in adolescence. Gist understanding is also an essential element of informed consent regarding risks in medical decision- making. Evidence thus supports the argument that adolescents’ status as mature minors should be treated as an exception rather than a presumption, because accuracy in verbatim analysis is not mature gist understanding. Use of the exception should be accompanied by medical experts’ input on the bottom-line gist of risks involved in treatment. (shrink)

I discuss the attitude of Jewish law sources from the 2nd–:5th centuries to the imprecision of measurement. I review a problem that the Talmud refers to, somewhat obscurely, as impossible reduction. This problem arises when a legal rule specifies an object by referring to a maximized measurement function, e.g., when a rule applies to the largest part of a divided whole, or to the first incidence that occurs, etc. A problem that is often mentioned is whether there might be hypothetical (...) situations involving more than one maximal value of the relevant measurement and, given such situations, what is the pertinent legal rule. Presumption of simultaneous occurrences or equally measured values are also a source of embarrassment to modern legal systems, in situations exemplified in the paper, where law determines a preference based on measured values. I contend that the Talmudic sources discussing the problem of impossible reduction were guided by primitive insights compatible with fuzzy logic presentation of the inevitable uncertainty involved in measurement. I maintain that fuzzy models of data are compatible with a positivistic epistemology, which refuses to assume any precision in the extra-conscious world that may not be captured by observation and measurement. I therefore propose this view as the preferred interpretation of the Talmudic notion of impossible reduction. Attributing a fuzzy world view to the Talmudic authorities is meant not only to increase our understanding of the Talmud but, in so doing, also to demonstrate that fuzzy notions are entrenched in our practical reasoning. If Talmudic sages did indeed conceive the results of measurements in terms of fuzzy numbers, then equality between the results of measurements had to be more complicated than crisp equations. The problem of impossible reduction could lie in fuzzy sets with an empty core or whose membership functions were only partly congruent. Reduction is impossible may thus be reconstructed as there is no core to the intersection of two measures. I describe Dirichlet maps for fuzzy measurements of distance as a rough partition of the universe, where for any region A there may be a non-empty set of - _A, where the problem of impossible reduction applies. This model may easily be combined with probabilistic extention. The possibility of adopting practical decision standards based on -cuts is discussed in this context. I propose to characterize the uncertainty that was presumably capped by the old sages as U- uncertainty, defined, for a non-empty fuzzy set A on the set of real numbers, whose -cuts are intervals of real numbers, as U = 1/h 0 h log [1+]d, where h is the largest membership value obtained by any element of A and is the measure of the -cut of A defined by the Lebesge integral of its characteristic function. (shrink)

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. (shrink)

Let M be an MV-algebra and ΩM be the set of all σ -valuations from M into the MV-unit interval. This paper focuses on the characterization of MV-algebras using σ -valuations of MV-algebras and proves that a σ -complete MV-algebra is σ -regular, which means that a ≤ b if and only if v ≤ v for any v ∈ ΩM. Then one can introduce in a natural way a fuzzy topology δ on ΩM. The representation theorem forMV-algebras is (...) established by means of fuzzy topology. Some properties of fuzzy topology δ and its cut topology U are investigated. (shrink)

Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0.1]. In this paper, we introduce Uninorm logic UL as Multiplicative additive intuitionistic linear logic MAILL extended with the prelinearity axiom ((A → B) ∧ t) ∨ ((B → A) ∧ t). Axiomatic extensions of UL include known fuzzy logics such as Monoidal t-norm logic MTL and Gödel logic G, and new weakening-free logics. Algebraic semantics for these (...) logics are provided by subvarieties of (representable) pointed bounded commutative residuated lattices. Gentzen systems admitting cut-elimination are given in the framework of hypersequents. Completeness with respect to algebras with lattice reduct [0, 1] is established for UL and several extensions using a two-part strategy. First, completeness is proved for the logic extended with Takeuti and Titani's density rule. A syntactic elimination of the rule is then given using a hypersequent calculus. As an algebraic corollary, it follows that certain varieties of residuated lattices are generated by their members with lattice reduct [0, 1]. (shrink)

Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective not is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL 3) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.

Fuzzy amplitude densities are employed to obtain probability distributions for measurements that are not perfectly accurate. The resulting quantum probability theory is motivated by the path integral formalism for quantum mechanics. Measurements that are covariant relative to a symmetry group are considered. It is shown that the theory includes traditional as well as stochastic quantum mechanics.

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.

The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to (...) understand the true nature and source of the problem. Two possible sources are discussed: the problem stems from the very nature of vagueness—from the defining features of vague predicates; or the problem stems from the way in which the meanings of predicates are determined—by the usage of speakers together with facts about their environment and so on. I argue that the latter is the true source of the problem, and on this basis that fuzzy plurivaluationism is the correct solution. (shrink)

Shared conceptualization, in the sense we take it here, is as recent a notion as the Semantic Web, but its relevance for a large variety of fields requires efficient methods of extraction and representation for both quantitative and qualitative data. This notion is particularly relevant for the investigation into, and construction of, semantic structures such as knowledge bases and taxonomies, but given the required large, often inaccurate, corpora available for search we can get only approximations. We see fuzzy description (...) logic as an adequate medium for the representation of human semantic knowledge and propose a means to couple it with fuzzy semantic networks via the propositional Łukasiewicz fuzzy logic such that these suffice for decidability for queries over a semantic-knowledge base such as “to what degree of sharedness does it entail the instantiation C(a) for some concept C” or “what are the roles R that connect the individuals a and b to degree of sharedness ε.” . (shrink)

Given a set of objects characterized by a number of attributes, hidden patterns can be discovered in them for the grouping of similar objects into clusters. If each of these clusters can be considered as exemplifying a certain concept, then the problem concerned can be referred to as a concept discovery problem. This concept discovery problem can be solved to some extent by existing data clustering techniques. However, they may not be applicable when the concept involved is vague in nature (...) or when the attributes characterizing the objects can be qualitative, quantitative, and fuzzy at the same time. To discover such concepts from objects with such characteristics, we propose a Genetic-Algorithm-based technique. By encoding a specific object grouping in a chromosome and a fitness measure to evaluate the cluster quality, the proposed technique is able to discover meaningful fuzzy clusters and assign membership degrees to objects that do not fully exemplify a certain concept. For evaluation, we tested the proposed technique with simulated and real data and the results are found to be very promising. (shrink)

. Prediction of crop yield is significant in order to accurately meet market requirements and proper administration of agricultural activities directed towards enhancement in yield. Several parameters such as weather, pests, biophysical and physio morphological features merit their consideration while determining the yield. However, these parameters are uncertain in their nature, thus making the determined amount of yield to be approximate. It is exactly here that the fuzzy logic comes into play. This paper elaborates an attempt to develop (...) class='Hi'>fuzzy inference systems for crop yield prediction. Physio morphological features of Sorghum were considered. A huge database of physio morphological features such as days of 50 percent flowering, dead heart percentage, plant height, panicle length, panicle weight and number of primaries and the corresponding yield were considered for the development of the model. In order to find out the sensitivity of parameters, one-to-one, two-to-one and three-to-one combinations of input and output were considered. The results have clearly shown that panicle length contributes for the yield as the lone parameter with almost one-to-one matching between predicted yield and actual value while panicle length and panicle weight in combination seemed to play a decisive role in contributing for the yield with the prediction accuracy reflected by very low RMS value. (shrink)

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for (...) modal algebras to the n -valued case via fuzzy topology. We emphasize that fuzzy topological spaces naturally arise as spectrums of algebras of many-valued logics. (shrink)

This is the final part of a three-part essay on fuzziness in medieval literary language. Each part corresponds broadly to Clifford Geertz's trifold instances of blur as involving “face-to-face interaction” (“life as game”), “collective intensities” (“life as stage”), and “imaginative forms” (“life as text”). Part 3 considers what Geertz might mean by describing text as a “dangerously unfocused term,” through discussing how bilingualism is negotiated in poetry. Three areas of vagueness are explored: the linguistic boundaries in a bilingual poem, the (...) definition of a poem in the trilingual culture of insular medieval writing, and the relationship between literary and ordinary language. Examples are taken from a fifteenth-century bilingual carol, an early fourteenth-century trilingual poem, a bilingual sermon, a passage of love-writing discovered in the midst of a fifteenth-century legal roll, and finally a pair of French poems about the death of the English commander, Thomas Montagu, fourth earl of Salisbury, at the English siege of Orléans in 1428, contrasted with some English translations of poems by Charles d'Orléans. The essay argues that blurriness in medieval bilingualism gives us a fresh way of approaching primary questions about poetry and the literary. (shrink)