An algorithm of calculation of lower solutions of fuzzy relational equations.
This paper deals with the problem of the determination of lower solutions of fuzzy relational equations. An algorithm of calculation of such a solution is presented.
An approach to solve a fuzzy bi-objective multi-index fixed charge transportation problem
In this paper, we propose a novel approach for solving a fuzzy bi-objective multi-index fixed-charge transportation problem where the aim is to minimize two objectives: the total transportation cost and transportation time. The parameters of the problem, such as fixed cost, variable cost, and transportation time are represented as fuzzy numbers. To extract crisp values from these parameters, a linear ranking function is used. The proposed approach initially separates the main problem into sub-problems....
An extension method for t-norms on subintervals to t-norms on bounded lattices
In this paper, a construction method on a bounded lattice obtained from a given t-norm on a subinterval of the bounded lattice is presented. The supremum distributivity of the constructed t-norm by the mentioned method is investigated under some special conditions. It is shown by an example that the extended t-norm on from the t-norm on a subinterval of need not be a supremum-distributive t-norm. Moreover, some relationships between the mentioned construction method and the other construction...
An extension of the ordering based on nullnorms
In this paper, we generally study an order induced by nullnorms on bounded lattices. We investigate monotonicity property of nullnorms on bounded lattices with respect to the -partial order. Also, we introduce the set of incomparable elements with respect to the F-partial order for any nullnorm on a bounded lattice. Finally, we investigate the relationship between the order induced by a nullnorm and the distributivity property for nullnorms.
An inquiry-based method for Choquet integral-based aggregation of interface usability parameters
The concept of usability of man-machine interfaces is usually judged in terms of a number of aspects or attributes that are known to be subject to some rough correlations, and that are in many cases given different importance, depending on the context of use of the application. In consequence, the automation of judgment processes regarding the overall usability of concrete interfaces requires the design of aggregation operators that are capable of modeling approximate or ill-defined interactions...
An investigation on the -fold IVRL-filters in triangle algebras
The present study aimed to introduce -fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of -fold (positive) implicative IVRL-extended filters and -fold (positive) implicative triangle algebras were defined. Afterwards, several characterizations of the algebras were presented, and the correlations between the -fold IVRL-extended filters, -fold (positive) implicative algebras, and the Gödel triangle algebra were discussed.
Automatic risk control based on FSA methodology adaptation for safety assessment in intelligent buildings
The main area which Formal Safety Assessment (FSA) methodology was created for is maritime safety. Its model presents quantitative risk estimation and takes detailed information about accident characteristics into account. Nowadays, it is broadly used in shipping navigation around the world. It has already been shown that FSA can be widely used for the assessment of pilotage safety. On the basis of analysis and conclusion on the FSA approach, this paper attempts to show that the adaptation of this...
Axiomatizability in fuzzy logic
BL-algebras and quantum structures
BL-algebras of basic fuzzy logic.
BL-algebras [Hajek] rise as Lindenbaum algebras from certain logical axioms familiar in fuzzy logic framework. BL-algebras are studied by means of deductive systems and co-annihilators. Duals of many theorems known to hold in MV-algebra theory remain valid for BL-algebras, too.
Boolean part of BL-algebras
Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures
BUDI: Architecture for Fuzzy Search in Documental Repositories.
Cauchy-like functional equation based on a class of uninorms
Commuting is an important property in any two-step information merging procedure where the results should not depend on the order in which the single steps are performed. In the case of bisymmetric aggregation operators with the neutral elements, Saminger, Mesiar and Dubois, already reduced characterization of commuting -ary operators to resolving the unary distributive functional equations. And then the full characterizations of these equations are obtained under the assumption that the unary...
Characterization of binary operations on the unit interval satisfying the generalized modus ponens inference rule.
Classes of fuzzy filters of residuated lattice ordered monoids
The logical foundations of processes handling uncertainty in information use some classes of algebras as algebraic semantics. Bounded residuated lattice ordered monoids (monoids) are common generalizations of -algebras, i.e., algebras of the propositional basic fuzzy logic, and Heyting algebras, i.e., algebras of the propositional intuitionistic logic. From the point of view of uncertain information, sets of provable formulas in inference systems could be described by fuzzy filters of the corresponding...
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics
A degree of probabilistic dependence is introduced in the classical logic using the Frank family of -norms known from fuzzy logics. In the quantum logic a degree of quantum dependence is added corresponding to the level of noncompatibility. Further, in the case of the fuzzy logic with -states, (resp. -states) the consideration turned out to be fully analogous to (resp. considerably different from) the classical situation.
Construction methods for implications on bounded lattices
In this paper, the ordinal sum construction methods of implications on bounded lattices are studied. Necessary and sufficient conditions of an ordinal sum for obtaining an implication are presented. New ordinal sum construction methods on bounded lattices which generate implications are discussed. Some basic properties of ordinal sum implications are studied.
Construction methods for uni-nullnorms and null-uninorms on bounded lattice
In this paper, two construction methods have been proposed for uni-nullnorms on any bounded lattices. The difference between these two construction methods and the difference from the existing construction methods have been demonstrated and supported by an example. Moreover, the relationship between our construction methods and the existing construction methods for uninorms and nullnorms on bounded lattices are investigated. The charactertics of null-uninorms on bounded lattice are given and a...
Construction of uninorms on bounded lattices
In this paper, we propose the general methods, yielding uninorms on the bounded lattice , with some additional constraints on for a fixed neutral element based on underlying an arbitrary triangular norm on and an arbitrary triangular conorm on . And, some illustrative examples are added for clarity.