Fuzzy description logics (DLs) are a family of logics which allow the representation of (and the reasoning within) structured knowledge affected by vagueness. Although a relatively important amount of work has been carried out in the last years, current fuzzy DLs still present several limitations. In this work we face two problems: the common restriction to Zadeh and Łukasiewicz fuzzy logics an...

Given k sorted arrays, the t-Threshold problem, which is motivated by indexed search engines, consists of finding the elements which are present in at least t of the arrays. We present a new deterministic algorithm for it and prove that, asymptotically in the sizes of the arrays, it is optimal in the alternation model used to study adaptive algorithms. We define the Opt-Threshold problem as fin...

In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and coll...

We give a polynomial upper bound on the size of set systems with restricted t-wise intersections modulo prime powers. Let t ≥ 2. Let p be a prime and q = p be a prime power. Let L = {l1, l2, . . . , ls} be a subset of {0, 1, 2, . . . , q − 1}. If F is a family of subsets of an n element set X such that |F1 ∩ · · · ∩ Ft| (mod q) ∈ L for any collection of t distinct sets from F and |F | (mod q) /...

the present paper introduces the notion of the complete fuzzy norm on a linear space. and, some relations between the fuzzy completeness and ordinary completeness on a linear space is considered, moreover a new form of fuzzy compact spaces, namely b-compact spaces and b-closed spaces are introduced. some characterizations of their properties are obtained.

‎Let $G$ be a finite group‎. ‎An element $gin G$ is called non-vanishing‎, ‎if for‎ ‎every irreducible complex character $chi$ of $G$‎, ‎$chi(g)neq 0$‎. ‎The bi-Cayley graph ${rm BCay}(G,T)$ of $G$ with respect to a subset $Tsubseteq G$‎, ‎is an undirected graph with‎ ‎vertex set $Gtimes{1,2}$ and edge set ${{(x,1),(tx,2)}mid xin G‎, ‎ tin T}$‎. ‎Let ${rm nv}(G)$ be the set‎ ‎of all non-vanishi...

in this paper, a new definition of fuzzy bounded sets and totallyfuzzy bounded sets is introduced and properties of such sets are studied. thena relation between totally fuzzy bounded sets and n-compactness is discussed.finally, a geometric characterization for fuzzy totally bounded sets in i- topologicalvector spaces is derived.

in this paper, a certain new connectedness of l-fuzzy subsets inl-topological spaces is introduced and studied by means of preclosed sets. itpreserves some fundamental properties of connected set in general topology.especially the famous k. fan’s theorem holds.