Resolution of finite fuzzy relation equations based on strong pseudo-t-norms

AbstractThis work studies the problem of solving a sup-T composite finite fuzzy relation equation, where T is an infinitely distributive strong pseudo-t-norm. A criterion for the equation to have a solution is given. It is proved that if the equation is solvable then its solution set is determined by the greatest solution and a finite number of minimal solutions. A necessary and sufficient condition for the equation to have a unique solution is obtained. Also an algorithm for finding the solution set of the equation is presented

A Posynomial Geometric Programming Restricted to a System of Fuzzy Relation Equations

AbstractA posynomial geometric optimization problem subjected to a system of max-min fuzzy relational equations (FRE) constraints is considered. The complete solution set of FRE is characterized by unique maximal solution and finite number of minimal solutions. A two stage procedure has been suggested to compute the optimal solution for the problem. Firstly all the minimal solutions of fuzzy relation equations are determined. Then a domain specific evolutionary algorithm (EA) is designed to solve the optimization problems obtained after considering the individual sub-feasible region formed with the help of unique maximum solution and each of the minimal solutions separately as the feasible domain with same objective function. A single optimal solution for the problem is determined after solving these optimization problems. The whole procedure is illustrated with a numerical example

A Divide-and-Conquer Approach for Solving Fuzzy Max-Archimedean t

A system of fuzzy relational equations with the max-Archimedean t-norm composition was considered. The relevant literature indicated that this problem can be reduced to the problem of finding all the irredundant coverings of a binary matrix. A divide-and-conquer approach is proposed to solve this problem and, subsequently, to solve the original problem. This approach was used to analyze the binary matrix and then decompose the matrix into several submatrices such that the irredundant coverings of the original matrix could be constructed using the irredundant coverings of each of these submatrices. This step was performed recursively for each of these submatrices to obtain the irredundant coverings. Finally, once all the irredundant coverings of the original matrix were found, they were easily converted into the minimal solutions of the fuzzy relational equations. Experiments on binary matrices, with the number of irredundant coverings ranging from 24 to 9680, were also performed. The results indicated that, for test matrices that could initially be partitioned into more than one submatrix, this approach reduced the execution time by more than three orders of magnitude. For the other test matrices, this approach was still useful because certain submatrices could be partitioned into more than one submatrix

Minimizing and maximizing a linear objective function under a fuzzy max⁡−∗\max -\ast relational equation and an inequality constraint

summary:This paper provides an extension of results connected with the problem of the optimization of a linear objective function subject to $\max-\ast$ fuzzy relational equations and an inequality constraint, where $\ast$ is an operation. This research is important because the knowledge and the algorithms presented in the paper can be used in various optimization processes. Previous articles describe an important problem of minimizing a linear objective function under a fuzzy $\max-\ast$ relational equation and an inequality constraint, where $\ast$ is the $t$-norm or mean. The authors present results that generalize this outcome, so the linear optimization problem can be used with any continuous increasing operation with a zero element where $\ast$ includes in particular the previously studied operations. Moreover, operation $\ast$ does not need to be a t-norm nor a pseudo-$t$-norm. Due to the fact that optimal solutions are constructed from the greatest and minimal solutions of a $\max-\ast$ relational equation or inequalities, this article presents a method to compute them. We note that the linear optimization problem is valid for both minimization and maximization problems. Therefore, for the optimization problem, we present results to find the largest and the smallest value of the objective function. To illustrate this problem a numerical example is provided

An exact algorithm for linear optimization problem subject to max-product fuzzy relational inequalities with fuzzy constraints

Fuzzy relational inequalities with fuzzy constraints (FRI-FC) are the generalized form of fuzzy relational inequalities (FRI) in which fuzzy inequality replaces ordinary inequality in the constraints. Fuzzy constraints enable us to attain optimal points (called super-optima) that are better solutions than those resulted from the resolution of the similar problems with ordinary inequality constraints. This paper considers the linear objective function optimization with respect to max-product FRI-FC problems. It is proved that there is a set of optimization problems equivalent to the primal problem. Based on the algebraic structure of the primal problem and its equivalent forms, some simplification operations are presented to convert the main problem into a more simplified one. Finally, by some appropriate mathematical manipulations, the main problem is transformed into an optimization model whose constraints are linear. The proposed linearization method not only provides a super-optimum (that is better solution than ordinary feasible optimal solutions) but also finds the best super-optimum for the main problem. The current approach is compared with our previous work and some well-known heuristic algorithms by applying them to random test problems in different sizes.Comment: 29 pages, 8 figures, 7 table

Neutrality and Many-Valued Logics

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasiewicz's, Goedel's, Product, and Post's logics). The informal sense of Archimedes' axiom is that anything can be measured by a ruler. Also logical multiple-validity without Archimedes' axiom consists in that the set of truth values is infinite and it is not well-founded and well-ordered. On the base of non-Archimedean valued logics, we construct non-Archimedean valued interval neutrosophic logic INL by which we can describe neutrality phenomena.Comment: 119 page

Fitting aggregation operators to data

Theoretical advances in modelling aggregation of information produced a wide range of aggregation operators, applicable to almost every practical problem. The most important classes of aggregation operators include triangular norms, uninorms, generalised means and OWA operators.With such a variety, an important practical problem has emerged: how to fit the parameters/ weights of these families of aggregation operators to observed data? How to estimate quantitatively whether a given class of operators is suitable as a model in a given practical setting? Aggregation operators are rather special classes of functions, and thus they require specialised regression techniques, which would enforce important theoretical properties, like commutativity or associativity. My presentation will address this issue in detail, and will discuss various regression methods applicable specifically to t-norms, uninorms and generalised means. I will also demonstrate software implementing these regression techniques, which would allow practitioners to paste their data and obtain optimal parameters of the chosen family of operators.<br /

Optimization and inference under fuzzy numerical constraints

Εκτεταμένη έρευνα έχει γίνει στους τομείς της Ικανοποίησης Περιορισμών με διακριτά (ακέραια) ή πραγματικά πεδία τιμών. Αυτή η έρευνα έχει οδηγήσει σε πολλαπλές σημασιολογικές περιγραφές, πλατφόρμες και συστήματα για την περιγραφή σχετικών προβλημάτων με επαρκείς βελτιστοποιήσεις. Παρά ταύτα, λόγω της ασαφούς φύσης πραγματικών προβλημάτων ή ελλιπούς μας γνώσης για αυτά, η σαφής μοντελοποίηση ενός προβλήματος ικανοποίησης περιορισμών δεν είναι πάντα ένα εύκολο ζήτημα ή ακόμα και η καλύτερη προσέγγιση. Επιπλέον, το πρόβλημα της μοντελοποίησης και επίλυσης ελλιπούς γνώσης είναι ακόμη δυσκολότερο. Επιπροσθέτως, πρακτικές απαιτήσεις μοντελοποίησης και μέθοδοι βελτιστοποίησης του χρόνου αναζήτησης απαιτούν συνήθως ειδικές πληροφορίες για το πεδίο εφαρμογής, καθιστώντας τη δημιουργία ενός γενικότερου πλαισίου βελτιστοποίησης ένα ιδιαίτερα δύσκολο πρόβλημα. Στα πλαίσια αυτής της εργασίας θα μελετήσουμε το πρόβλημα της μοντελοποίησης και αξιοποίησης σαφών, ελλιπών ή ασαφών περιορισμών, καθώς και πιθανές στρατηγικές βελτιστοποίησης. Καθώς τα παραδοσιακά προβλήματα ικανοποίησης περιορισμών λειτουργούν βάσει συγκεκριμένων και προκαθορισμένων κανόνων και σχέσεων, παρουσιάζει ενδιαφέρον η διερεύνηση στρατηγικών και βελτιστοποιήσεων που θα επιτρέπουν το συμπερασμό νέων ή/και αποδοτικότερων περιορισμών. Τέτοιοι επιπρόσθετοι κανόνες θα μπορούσαν να βελτιώσουν τη διαδικασία αναζήτησης μέσω της εφαρμογής αυστηρότερων περιορισμών και περιορισμού του χώρου αναζήτησης ή να προσφέρουν χρήσιμες πληροφορίες στον αναλυτή για τη φύση του προβλήματος που μοντελοποιεί.Extensive research has been done in the areas of Constraint Satisfaction with discrete/integer and real domain ranges. Multiple platforms and systems to deal with these kinds of domains have been developed and appropriately optimized. Nevertheless, due to the incomplete and possibly vague nature of real-life problems, modeling a crisp and adequately strict satisfaction problem may not always be easy or even appropriate. The problem of modeling incomplete knowledge or solving an incomplete/relaxed representation of a problem is a much harder issue to tackle. Additionally, practical modeling requirements and search optimizations require specific domain knowledge in order to be implemented, making the creation of a more generic optimization framework an even harder problem.In this thesis, we will study the problem of modeling and utilizing incomplete and fuzzy constraints, as well as possible optimization strategies. As constraint satisfaction problems usually contain hard-coded constraints based on specific problem and domain knowledge, we will investigate whether strategies and generic heuristics exist for inferring new constraint rules. Additional rules could optimize the search process by implementing stricter constraints and thus pruning the search space or even provide useful insight to the researcher concerning the nature of the investigated problem

The Construction of Type-2 Fuzzy Reasoning Relations for Type-2 Fuzzy Logic Systems

Type-2 fuzzy reasoning relations are the type-2 fuzzy relations obtained from a group of type-2 fuzzy reasonings by using extended t-(co)norm, which are essential for implementing type-2 fuzzy logic systems. In this paper an algorithm is provided for constructing type-2 fuzzy reasoning relations of SISO type-2 fuzzy logic systems. First, we give some properties of extended t-(co)norm and simplify the expression of type-2 fuzzy reasoning relations in accordance with different input subdomains under certain conditions. And then different techniques are discussed to solve the simplified expressions on the input subdomains by using the related methods on solving fuzzy relation equations. Besides, it is pointed out that the computation amount level of the proposed algorithm is the same as that of polynomials and the possibility of applying the proposed algorithm in the construction of type-2 fuzzy reasoning relations is illustrated on several examples. Finally, the calculation of an arbitrary extended continuous t-norm can be obtained as the special case of the proposed algorithm