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.

The present paper contains some technical results on a many-valued logic with truth values from the interval of real numbers [0; 1]. This logic, discussed originally in [1], latter in [2] and [3], was called the logic of fuzzy concepts. Our aim is to give an algebraic axiomatics for fuzzy propositional logic. For this purpose the variety of L-algebras with signature en- riched with a unary operation { involution is stud- ied. A one-to-one correspondence between congruences on an (...) LI-algebra and lters of a special kind is used to prove the representation theorem for LI-algebras. By this theorem every LI-algebra is isomorphic to a subdirect product of chains. The full characteristic of the subdirectly irreducible LI-algebras is given . It turns out that the variety of all L-algebras, as well as any of its subvarieties, is generated by its nite algebras. (shrink)

Power structures are obtained by lifting some mathematical structure (operations, relations, etc.) from an universe X to its power set ${\mathcal{P}(X)}$ . A similar construction provides fuzzy power structures: operations and fuzzy relations on X are extended to operations and fuzzy relations on the set ${\mathcal{F}(X)}$ of fuzzy subsets of X. In this paper we study how this construction preserves some properties of fuzzy sets and fuzzy relations (similarity, congruence, etc.). We define the (...) notions of good, very good, Hoare good and Smith good fuzzy relation and establish some connections between them, generalizing some results of Brink, Bošnjak and Madarász on power structures. (shrink)

Substructural logics are obtained from the sequent calculi for classical or intuitionistic logic by suitably restricting or deleting some or all of the structural rules (Restall, 2000; Ono, 1998). Recently, this field of research has come to encompass a number of logics - e.g. many fuzzy or paraconsistent logics - which had been originally introduced out of different, possibly semantical, motivations. A finer proof-theoretical analysis of such logics, in fact, revealed that it was possible to subsume them under the (...) previous definition (see e.g. Aguzzoli and Ciabattoni, 2000).Although proof systems for substructural logics are currently being investigated with remarkable success, their algebraic models do not seem equally satisfactory. In fact:(i) such structures are often very weak, i.e. they do not possess many interesting algebraic properties;(ii) as a consequence, their theories of ideals, congruences, and representation are as a rule scarcely developed, or even lacking.In this paper, we address these difficulties. (shrink)

We investigate some properties of two varieties of algebras arising from quantum computation - quasi-MV algebras and $\sqrt{^{\prime }}$ quasi-MV algebras - first introduced in \cite{Ledda et al. 2006}, \cite{Giuntini et al. 200+} and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of $\sqrt{^{\prime }}$ quasi-MV algebras; we give a representation of semisimple $\sqrt{^{\prime }}$ quasi-MV algebras in terms of algebras (...) of functions; finally, we describe the structure of free algebras with one generator in both varieties. (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)

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)

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)

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.

The term "fuzzy logic," as it is understood in this book, stands for all aspects of representing and manipulating knowledge based on the rejection of the most fundamental principle of classical logic---the principle of bivalence. According to this principle, each declarative sentence is required to be either true or false. In fuzzy logic, these classical truth values are not abandoned. However, additional, intermediate truth values between true and false are allowed, which are interpreted as degrees of truth. This (...) opens a new way of thinking---thinking in terms of degrees rather than absolutes. For example, it leads to the definition of a new kind of sets, referred to as fuzzy sets, in which membership is a matter of degree. The book examines the genesis and development of fuzzy logic. It surveys the prehistory of fuzzy logic and inspects circumstances that eventually lead to the emergence of fuzzy logic. The book explores in detail the development of propositional, predicate, and other calculi that admit degrees of truth, which are known as fuzzy logic in the narrow sense. Fuzzy logic in the broad sense, whose primary aim is to utilize degrees of truth for emulating common-sense human reasoning in natural language, is scrutinized as well. The book also examines principles for developing mathematics based on fuzzy logic and provides overviews of areas in which this has been done most effectively. It also presents a detailed survey of established and prospective applications of fuzzy logic in various areas of human affairs, and provides an assessment of the significance of fuzzy logic as a new paradigm. (shrink)

This study examined the extent to which the impact of green transformational leadership on employee green behavior through follower perceptions of value congruence. Path analyzing on data from 193 subordinate-leader dyads showed that followers’ value congruence with their leader mediated the effects of green transformational leadership on employee green behavior. Results also supported that green identity moderated the indirect effect of green transformational leadership on employee green behavior through value congruence, such that the indirect effect was more (...) positive when green identity was high than when it was low. These findings provided valuable contribution to green transformational leadership, value congruence and employee green behavior by exploring the relationship between them. Practical implications and directions for future research are also discussed. (shrink)

Following the research of Liedtka (1989), this paper examines the impact of her values congruence model on managers'' work attitudes and perceptions of ethical practices within their firms. A nationwide cross-section of managers (N=1,059) provides the sample for the study. Consonance or clarity about both personal value systems and organizational value systems were found to be more important and, in the absence of one or the other, clarity of personal values were shown to have a more positive impact than (...) organizational value clarity. (shrink)

This hands-on guide offers clear explanations of fuzzy logic along with practical uses and detailed examples. Written by an award-winning engineer and experienced author, Fuzzy Logic: Applications in Artificial Intelligence, Big Data, and Machine Learning is aimed at improving competence and skills in students and professionals alike. Inside, you will discover how to apply fuzzy logic and migrate to a new man-machine relationship in the context of pervasive digitization and big data across emerging technologies. The book lays (...) out real-world applications in intelligent energy systems with demand response, smart homes, electrification of transportation, supply chain efficiencies, smart cities, e-commerce, education, healthcare, and decarbonization. (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)

Objective: Theory and research suggest that the pursuit of personal goals that do not fit a person's affect-based implicit motives results in impaired emotional well-being, including increased symptoms of depression. The aim of this study was to evaluate an intervention designed to enhance motive-goal congruence and study its impact on well-being. Method: Seventy-four German students (mean age = 22.91, SD = 3.68; 64.9% female) without current psychopathology, randomly allocated to 3 groups: motivational feedback (FB; n = 25; participants learned (...) about the fit between their implicit motives and explicit goals), FB + congruence-enhancement training (CET; n = 22; participants also engaged in exercises to increase the fit between their implicit motives and goals), and a no-intervention control group (n = 27), were administered measures of implicit motives, personal goal commitments, happiness, depressive symptoms, and life satisfaction 3 weeks before (T1) and 6 weeks after (T2) treatment. Results: On two types of congruence measures derived from motive and goal assessments, treated participants showed increases in agentic (power and achievement) congruence, with improvements being most consistent in the FB+CET group. Treated participants also showed a trend-level depressive symptom reduction, but no changes on other well-being measures. Although increases in overall and agentic motivational congruence were associated with increases in affective well-being, treatment-based reduction of depressive symptoms was not mediated by treatment-based agentic congruence changes. Conclusion: These findings document that motivational congruence can be effectively enhanced, that changes in motivational congruence are associated with changes in affective well-being, and they suggest that individuals’ implicit motives should be considered when personal goals are discussed in the therapeutic process. (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.

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.

Masked priming experiments occasionally revealed surprising effects: Participants responded slower for congruent compared to incongruent primes. This negative congruency effect was ascribed to inhibition of prime-induced activation [Eimer, M., & Schlaghecken, F. . Response faciliation and inhibition in subliminal priming. Biological Psychology, 64, 7–26.] that sets in if the prime activation is sufficiently strong. The current study tests this assumption by implementing manipulations designed to vary the amount of prime-induced activation in three experiments. In Experiments 1 and 3, NCEs were (...) observed despite reduced prime-induced activation. Experiment 2 revealed no NCE with at least similar prime strength. Thus, the amount of prime activation did not predict whether or not NCEs occurred. The findings are discussed with regard to the inhibition account and the recently proposed account of mask-induced activation [cf. Lleras, A., & Enns, J. T. . Negative compatibility or object updating? A cautionary tale of mask-dependent priming. Journal of Experimental Psychology: General, 133, 475–493; Verleger, R., Jaskowski, P., Aydemir, A., van der Lubbe, R. H. J., & Groen, M. . Qualitative differences between conscious and nonconscious processing? On inverse priming induced by masked arrows. Journal of Experimental Psychology: General, 133, 494–515]. (shrink)

The multi-disciplinary interest in social responsibility on the part of individuals and organizations over the past 30 years has generated several descriptors of corporate social responsibility and employee social responsibility. These descriptors focus largely on socially responsible behavior and, in some cases, on socially responsible identity. Very few authors have combined the two concepts in researching social responsibility. This situation can lead to an oversimplification of the concept of CSR, thereby impeding the examination of congruence between employees and organizations (...) with regard to social responsibility. In this article, we connect two dimensions of social responsibility—identity and behavior—to build a Social Responsibility Matrix consisting of four patterns for classifying the social responsibility of employees and employers: Low Social Responsibility, Identity-based Social Responsibility, Behavior-based Social Responsibility, and Entwined Social Responsibility. The positioning of employers and employees on the same matrix is vital for assessing the level of congruence between employers and employees with regard to social responsibility and for discussing the possible outcomes for both parties. These identity and behavior-based patterns, determinants, and levels of congruence connecting employees and employers form the foundation for the multi-dimensional, dynamic ESR–CSR Congruence Model, as exemplified in a case study. This contribution enhances the existing literature and models of CSR, in addition to improving the understanding of employee–employer congruence, thereby broadening the array of possibilities for achieving positive organizational outcomes based on CSR. (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)

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.

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)

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)

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)

We investigated in two experiments whether selective attention processes modulate evaluative conditioning. Based on the fact that the typical stimuli in an EC paradigm involve an affect-laden unconditioned stimulus and a neutral conditioned stimulus, we started from the assumption that learning might depend in part upon selective attention to the US. Attention to the US was manipulated by including a variant of the Eriksen flanker task in the EC paradigm. Similarly to the original Flanker paradigm, we implemented a target-distracter logic (...) by introducing the CS as the task-relevant stimulus to which the participants had to respond and the US as a task-irrelevant distracter. Experiment 1 showed that CS–US congruence modulated EC if the CS had to be selected against the US. Specifically, EC was more pronounced for congruent CS–US pairs as compared to incongruent CS–US pairs. Experiment 2 disentangled CS–US congruence and CS–US compatibility and suggested that it is indeed CS–US stimulus congruence rather than CS–US response compatibility that modulates EC. (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)

Corporate social responsibility has grown on the corporate agenda and is at the heart of today’s corporate culture. While much research has examined CSR strategies and effects, the effects of post-crisis CSR communication have received relatively little academic attention. Therefore, this paper uses two experimental studies to examine several key contingency factors that influence consumers’ responses to post-crisis CSR initiatives. Results suggest that consumers demonstrate more favorable responses when a company launches a CSR initiative congruent with the crisis issue, or (...) when the crisis is the result of an accident rather than a transgression. Further, the congruence between the crisis issue and the pre-crisis CSR initiative moderates the consistency effects between pre- and post-crisis initiatives. Such findings should be understood by considering the mediating role of corporate CSR motives’ consumer attributions, which was evidenced in this study. This study theoretically contributes to an improved understanding of the underlying mechanism of the post-crisis CSR information process and managerially contributes to the strategic development of effective post-crisis CSR initiatives given a particular situation. (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. 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)

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 duality between congruence lattices of semilattices, and algebraic subsets of an algebraic lattice, is extended to include semilattices with operators. For a set G of operators on a semilattice S, we have \ \cong^{d} {{\rm S}_{p}}}\), where L is the ideal lattice of S, and H is a corresponding set of adjoint maps on L. This duality is used to find some representations of lattices as congruence lattices of semilattices with operators. It is also shown that these (...) congruence lattices satisfy the Jónsson–Kiefer property. (shrink)

The major point in [1] chapter 2 is the following claim: “Any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction.” So, in the case we wish to save Classical Logic we should change our Computational Model. As we see in chapter two, the mentioned contradiction is about and around the concept of time, as it is in the contradiction of modified version of paradox. It is natural to (...) try fabricating the paradox not by time but in some other linear ordering or the concept of space. Interestingly, the attempts to have similar contradiction by the other concepts like space and linear ordering, is failed. It is remarkable that, the paradox is considered either Epistemological or Logical traditionally, but by new considerations the new version of paradox should be considered as either Logical or Physical paradox. Hence, in order to change our Computational Model, it is natural to change the concept of time, but how? We start from some models that are different from the classical one but they are intuitively plausible. The idea of model is somewhat introduced by Brouwer and Husserl [3]. This model doesn’t refute the paradox, since the paradox and the associated contradiction would be repeated in this new model. The model is introduced in [2]. Here we give some more explanations. (shrink)

The history of Fuzziness in Italy is varied and scattered among a num- ber of research groups. As a matter of fact, “fuzziness” spread in Italy through a sort of spontaneous diffusion, and, also subsequently, no one felt the need to cre- ate some “national” common structure like an Association or similar things. Since a cohesive retelling would be next to impossible, a few members of the Italian fuzzy community have been asked to recount their experience and express their (...) hopes for the future. (shrink)

It seems clear that second order fuzziness (indeterminacy) is possible. There can be borderline cases of borderline cases. But how about third order cases? Is there no end of degrees of borderlinehood? I offer a somewhat strange little 'language game' that seems to suggest that the ascension ends with second order cases. (The 'game' is intended to be somewhat like a simplified version of color perception.).

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)

Contextual regularities, that is, objects’ tendency to appear with certain other objects, facilitate the processing of visual scenes and confer contextually incongruent objects with a special attentional status. This study was aimed at investigating the mechanisms underlying this attentional advantage using Binocular Rivalry . In two experiments, congruent and incongruent images were pitted against each other, yielding a version of BR in which two objects rival within a given scene. Incongruent objects predominated in awareness longer than congruent ones. This effect (...) stemmed from the fact that their dominance epochs lasted longer on the average than those of congruent objects, suggesting a difficulty to disengage attention from such objects. On the other hand, no support was found for the notion that incongruent objects also attract attention. (shrink)

This book brings together classic and recent papers in the philosophical and linguistic analysis of fuzzy grammar, gradience in meaning, word classes, and syntax. Issues such as how many grains make a heap, when a puddle becomes a pond, and so forth, have occupied thinkers since Aristotle and over the last two decades been the subject of increasing interest among linguists as well as in fields such as artificial intelligence and computational linguistics. The work is designed to be of (...) use to students in all these fields. It has a substantial introduction, is divided into thematic parts, contains annotated sections of further reading, and is fully indexed. (shrink)

This unique compendium presents a comprehensive and self-contained theory of material development under imperfect information and its applications. The book describes new approaches to synthesis and selection of materials with desirable characteristics. Such approaches provide the ability of systematic and computationally effective analysis in order to predict composition, structure and related properties of new materials. The volume will be a useful advanced textbook for graduate students. It is also suitable for academicians and practitioners who wish to have fundamental models in (...) new material synthesis and selection. (shrink)

This simulation study is a fuzzy model-based neural network control method. The basic idea is to consider the application of a special type of neural networks based on radial basis function, which belongs to a class of associative memory neural networks. The novelty of this approach is the use of an RBF neural network controller in a model reference adaptive control architecture, based on a one-step-ahead Takagi–Sugeno fuzzy model. The objective is to control the concentration in a continuous (...) stirred-tank reactor highly non-linear system and to assure its stability by limiting the temperature rise generated from the irreversible exothermic reaction. This contribution will help to reduce environmental impact of chemical waste. (shrink)

An algebra A is said to be congruence coherent if every subalgebra of A that contains a class of some congruence on A is a union of -classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, de Morgan algebras, p-algebras, double p-algebras, and double MS-algebras. Here we determine precisely when the property holds in the class of symmetric extended de Morgan algebras.

Morality can hardly perform a function, which is discussed in this chapter, unless it offers directives that not only can but frequently do differ from those of self-interest itself. The idea of potential congruence asserts that the relation between morality and the interests of the individual agent is characterized by a high degree of mutual accommodation, so that the frequency and severity of conflict between these two perspectives is significantly reduced. Conflicts are nevertheless possible in principle, but the extent (...) to which they arise in practice is not fixed or immutable. Instead, the frequency of conflict depends to a considerable degree on the character of the prevailing social and political institutions. Achieving convergence between morality and self-interest is in part a social and political task. The account of the “priority” of morality developed by Thomas Scanlon in his book What We Owe to Each Other is similar in a number of respects to this chapter's account of potential congruence. (shrink)

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.

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)

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)

We continue the research of the relation $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ on the set $\beta \mathbb {N}$ of ultrafilters on $\mathbb {N}$, defined as an extension of the divisibility relation. It is a quasiorder, so we see it as an order on the set of $=_{\sim }$ -equivalence classes, where $\mathcal {F}=_{\sim }\mathcal {G}$ means that $\mathcal {F}$ and $\mathcal {G}$ are mutually $\hspace {1mm}\widetilde {\mid }$ -divisible. Here we introduce a new tool: a relation of congruence modulo (...) an ultrafilter. We first recall the congruence of ultrafilters modulo an integer and show that $=_{\sim }$ -equivalent ultrafilters do not necessarily have the same residue modulo $m\in \mathbb {N}$. Then we generalize this relation to congruence modulo an ultrafilter in a natural way. After that, using iterated nonstandard extensions, we introduce a stronger relation, which has nicer properties with respect to addition and multiplication of ultrafilters. Finally, we introduce a strengthening of $\hspace {1mm}\widetilde {\mid }\hspace {1mm}$ and show that it also behaves well with respect to the congruence relation. (shrink)

We introduce a new theorem in social choice theory built on a path integral approach which will show that, under some reasonable conditions, there is a unique way to aggregate individual preferences based on fuzzy sets into a social preference based on probabilities, and that this way is invariant under any permutation of alternatives. We then apply this theorem to the case of democratic decision making with data of the behaviour and voting preferences of voting agents and show that (...) there is a tradeoff between fairness and efficiency and that no voting system can achieve both simultaneously. (shrink)

This exploratory study examines awareness of the other party''s instrumental, terminal, and work values by members of supervisor and employee dyads. Subjective estimates of value congruence, provided by either member of the dyad, correlated with actual value congruence scores determine conscious awareness levels in all cases. Results demonstrate supervisory awareness of employee terminal values, but not work values or instrumental values, even though these latter value types probably possess the greatest relevance to achieving organizational goals. Further, employees possess (...) awareness of supervisor work values but not instrumental or terminal values. These findings challenge traditional assumptions underlying the functionalism position on organizational culture that appears in the literature most frequently read by practicing managers. (shrink)

It is proposed to analyze fuzzy concepts and relations between them in the frame of triplet concept modeling. Fuzzy concepts are introduced by means of the so-called fuzzification of dichotomous concepts. The cognitive and psychological aspects of concept possession are separated and studied.

The concept of supermatrix for social scientists was first introduced by Paul Horst. The main purpose of his book was to introduce this concept to social scientists, students, teachers and research workers who lacked mathematical training. This book introduces the concept of fuzzy super matrices and operations on them. The author has provided only those operations on fuzzy supermatrices that are essential for developing super fuzzy multi expert models. This book will be highly useful to social scientists (...) who wish to work with multi expert models. (shrink)

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)

This is the first part of a two-part paper in which I conclude the process, initiated elsewhere, of tracking objective conditions of vagueness of representation from language to pictures, from philosophy to imaging science, from vagueness to approximation, from representation to reasoning, with a focus on the application of fuzzy set theory and its challenges.