First order Gödel logic G∞, enriched with the projection operator 4—in contrast to other important t-norm based fuzzy logics, like Lukasiewicz and Product logic—is well known to be recursively axiomatizable. However, unlike in classical logic, testing (1-)unsatisfiability, i.e., checking whether a formula has no interpretation that assigns the designated truth value 1 to it, cannot be straightf...

We have been using fuzzy data mining techniques to extract patterns that represent normal behavior for intrusion detection. In this paper we describe a variety of modifications that we have made to the data mining algorithms in order to improve accuracy and efficiency. We use sets of fuzzy association rules that are mined from network audit data as models of " normal behavior. " To detect anoma...

This paper addresses the reliability analysis for a real-world apparel manufacturing system by using fuzzy mathematics. The studied apparel manufacturing system is a precise handicraft profession which involves a great amount of labor-intensive processes. To consider human performance, the apparel manufacturing system is constructed as a fuzzy multistate network, termed apparel manufacturing ne...

In many real life problems, the parameters used to characterize the uncertainty or vagueness or impreciseness in information are either triangular or trapezoidal fuzzy numbers. But it is not always possible to restrict the membership function to either triangular or trapezoidal form. In this paper, a new form of non-normal fuzzy number named as Heptagonal fuzzy number is introduced and its arit...

This paper presents a multi-objective fuzzy chance constrained capacitated transportation problem based on fuzzy goal programming problem with capacity restrictions on commodities which are shipped from different sources to different destinations. The capacity of each origin and the demand of each destination are considered random in nature with fuzzy normal stochastic parameters following norm...

This paper deals with the problem of testing hypothesis when both the hypotheses and the available data are fuzzy. First, four different kinds of fuzzy hypotheses are defined. Then, a procedure is developed for constructing the fuzzy point estimation based on fuzzy data. Also, the concept of fuzzy test statistic is defined based on the α-cuts of the fuzzy null hypothesis and the α-cuts of the c...

This paper deals with the problem of testing hypothesis when both the hypotheses and the available data are fuzzy. First, four different kinds of fuzzy hypotheses are defined. Then, a procedure is developed for constructing the fuzzy point estimation based on fuzzy data. Also, the concept of fuzzy test statistic is defined based on the α-cuts of the fuzzy null hypothesis and the α-cuts of the c...

First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...