Search results for "rete"
showing 10 items of 3470 documents
A note on Taskinen's counterexamples on the problem of topologies of Grothendieck
1989
By the work of Taskinen (see [4, 5]), we know that there is a Fréchet space E such that Lb(E, l2) is not a (DF)-space. Moreover there is a Fréchet–Montel space F such that is not (DF). In this second example, the duality theorem of Buchwalter (cf. [2, §45.3]) can be applied to obtain that and hence is a (gDF)-space (cf. [1, Ch. 12 or 3, Ch. 8]). The (gDF)-spaces were introduced by several authors to extend the (DF)-spaces of Grothendieck and to provide an adequate frame to consider strict topologies.
Fuzzy functions: a fuzzy extension of the category SET and some related categories
2000
<p>In research Works where fuzzy sets are used, mostly certain usual functions are taken as morphisms. On the other hand, the aim of this paper is to fuzzify the concept of a function itself. Namely, a certain class of L-relations F : X x Y -&gt; L is distinguished which could be considered as fuzzy functions from an L-valued set (X,Ex) to an L-valued set (Y,Ey). We study basic properties of these functions, consider some properties of the corresponding category of L-valued sets and fuzzy functions as well as briefly describe some categories related to algebra and topology with fuzzy functions in the role of morphisms.</p>
On a Category of Extensional Fuzzy Rough Approximation L-valued Spaces
2016
We establish extensionality of some upper and lower fuzzy rough approximation operators on an L-valued set. Taking as the ground basic properties of these operators, we introduce the concept of an (extensional) fuzzy rough approximation L-valued space. We apply fuzzy functions satisfying certain continuity-type conditions, as morphisms between such spaces, and in the result obtain a category \(\mathcal{FRA}{} \mathbf{SPA}(L)\) of fuzzy rough approximation L-valued spaces. An interpretation of fuzzy rough approximation L-valued spaces as L-fuzzy (di)topological spaces is presented and applied for constructing examples in category \(\mathcal{FRA}{} \mathbf{SPA}(L)\).
Decomposable Measures and Measures of Information for Crisp and Fuzzy Sets
1983
Abstract There exist bijections between the decomposable informations of Kampe de Feriet and Forte (1967a) and the decomposable measures of Weber (1982). Using integrals for Archimedean decomposable operations, introduced by Weber (1982), informations and measures of this type are extended from crisp to fuzzy sets. For ∨-decomposable measures, Sugeno’s (1974) integral is used. For ∧-decomposable informations, Nguyen’s (1977) construction and a modification are discussed.
Common fixed points for discontinuous mappings in fuzzy metric spaces
2008
In this paper we prove some common fixed point theorems for fuzzy contraction respect to a mapping, which satisfies a condition of weak compatibility. We deduce also fixed point results for fuzzy contractive mappings in the sense of Gregori and Sapena.
A common fixed point theorem for two weakly compatible pairs in G-metric spaces using the property E.A
2013
In view of the fact that the fixed point theory provides an efficient tool in many fields of pure and applied sciences, we use the notion of the property E.A to prove a common fixed point theorem for weakly compatible mappings. The presented results are applied to obtain the solution of an integral equation and the bounded solution of a functional equation arising in dynamic programming.
On block pumpable languages
2016
Ehrenfeucht, Parikh and Rozenberg gave an interesting characterisation of the regular languages called the block pumping property. When requiring this property only with respect to members of the language but not with respect to nonmembers, one gets the notion of block pumpable languages. It is shown that these block pumpable are a more general concept than regular languages and that they are an interesting notion of their own: they are closed under intersection, union and homomorphism by transducers; they admit multiple pumping; they have either polynomial or exponential growth.
Algebraic Structures of Rough Sets in Representative Approximation Spaces
2003
Abstract In this paper a generalized notion of an approximation space is considered. By an approximation space we mean an ordered pair (U, C ), where U is a finite nonempty set and C is a covering of U. According to connections between rough sets and concepts we define two types of approximation operations. Hence we obtain two families of rough sets. We show that these families form lattices in special types of representative approximation spaces. The operations on rough sets defined in the above lattices are analogous to classical operations on sets.
On Coloring Unit Disk Graphs
1998
In this paper the coloring problem for unit disk (UD) graphs is considered. UD graphs are the intersection graphs of equal-sized disks in the plane. Colorings of UD graphs arise in the study of channel assignment problems in broadcast networks. Improving on a result of Clark et al. [2] it is shown that the coloring problem for UD graphs remains NP-complete for any fixed number of colors k≥ 3 . Furthermore, a new 3-approximation algorithm for the problem is presented which is based on network flow and matching techniques.
Branch and bound for the cutwidth minimization problem
2013
The cutwidth minimization problem consists of finding a linear arrangement of the vertices of a graph where the maximum number of cuts between the edges of the graph and a line separating consecutive vertices is minimized. We first review previous approaches for special classes of graphs, followed by lower bounds and then a linear integer formulation for the general problem. We then propose a branch-and-bound algorithm based on different lower bounds on the cutwidth of partial solutions. Additionally, we introduce a Greedy Randomized Adaptive Search Procedure (GRASP) heuristic to obtain good initial solutions. The combination of the branch-and-bound and GRASP methods results in optimal solu…