A new approach to define the similarity measure betweeninterval-valued fuzzy sets is presented. The proposed approach isbased on a weighted measure in which the normalized similaritiesbetween lower functions and also between upper functions arecombined by a weight parameter. The properties of this similaritymeasure are investigated. It is shown that, the proposed measurehas some advantages in c...

In this paper the concept of Zamfirescu single-valued maps is extend to multi-valued maps and then we study the fixed point properties. We show that the multi-valued Zamfirescu mapping has an iteration which converges to a fixed point and give a rate of convergence. Data dependence problems on multi-valued Zamfirescu mapping are studied.

Multi-Valued Symbolic Model-Checking: Fairness, Counter-Examples, Running Time Arie Gurfinkel Master of Science Graduate Department of Computer Science University of Toronto 2003 Multi-valued model-checking is an effective technique for reasoning about systems with incomplete or inconsistent information. In particular, it is well suited for reasoning about abstract, partial, and feature-based s...

Fuzzy valued measure ([7], [10], [3], [5]) is a natural generalization of a set valued measure ([6]). Infinite addition is defined ([12]) as a Zadeh’s extension principle of continuity. In [9], using an additive fuzzy valued measure, an integral of single valued function is defined and some basic properties are given. In this paper we proceed to investigate specific properties of integrals in f...

the aim of this study is to show that the measures derived from electrocardiogram (ecg) signals many a time perform better than the same measures obtained from heart rate (hr) signals. a comparison was made to investigate how far the nonlinear symbolic dynamics approach helps to characterize the nonlinear properties of ecg signals and hr signals, and thereby discriminate between normal and cong...

Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dynamic properties of systems where complete, agreed upon models of the system are not available. In this paper, we present an implementation of a symbolic model checker for multi-valued temporal logics. The model checker...