Fuzzy ontology representation using OWL 2

The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this issue by either extending current Semantic Web languages to cope with vagueness, or by providing a procedure to represent such information within current standard languages and tools. In this work, we follow the latter approach, by identifying the syntactic differences that a fuzzy ontology language has to cope with, and by proposing a concrete methodology to represent fuzzy ontologies using OWL 2 annotation properties. We also report on some prototypical implementations: a plug-in to edit fuzzy ontologies using OWL 2 annotations and some parsers that translate fuzzy ontologies represented using our methodology into the languages supported by some reasoners.     

Fuzzy points and local properties of fuzzy topological spaces

We prove that three theorems of C.K. Wong on local properties of fuzzy topology are wrong, thereby we discuss his notions of fuzzy point, C₁, separability, and local compactness.     

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics (PNL), we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.     

A normal form which preserves tautologies and contradictions in a class of fuzzy logics

Most of the normal forms for fuzzy logics are versions of conjunctive and disjunctive classical normal forms. Unfortunately, they do not always preserve tautologies and contradictions which is important, for example, for automated theorem provers based on refutation methods.De Morgan implicative systems are triples like the De Morgan systems, which consider fuzzy implications instead of t-conorms. These systems can be used to evaluate the formulas of a propositional language based on the logical connectives of negation, conjunction and implication. Therefore, they determine different fuzzy logics, called implicative De Morgan fuzzy logics.In this paper, we will introduce a normal form for implicative De Morgan systems and we will show that for implicative De Morgan fuzzy logics whose t-norms are strict, this normal form preserves contradictions as well as tautologies.     

Fuzzy topology on fuzzy sets: Product fuzzy topology and fuzzy topological groups

The notion of product fuzzy topology in the case of fuzzy topology on fuzzy sets is introduced and the product invariance of fuzzy Hausdorffness, compactness, connectedness are examined. The product fuzzy topology is used to define fuzzy group topology on a fuzzy subgroup of a group G and some properties of fuzzy topological groups are obtained.     

Fuzzy extensions of bargaining sets and their existence in cooperative fuzzy games

Recently, the concept of classical bargaining set given by Aumann and Maschler in 1964 has been extended to fuzzy bargaining set. In this paper, we give a modification to correct some weakness of this extension. We also extend the concept of the Mas-Colell's bargaining set (the other major type of bargaining sets) to its corresponding fuzzy bargaining set. Our main effort is to prove existence theorems for these two types of fuzzy bargaining sets. We will also give necessary and sufficient conditions for these bargaining sets to coincide with the Aubin Core in a continuous superadditive cooperative fuzzy game which has a crisp maximal coalition of maximum excess at each payoff vector. We show that both Aumann-Maschler and Mas-Colell fuzzy bargaining sets of a continuous convex cooperative fuzzy game coincide with its Aubin core.     

The reduction and fusion of fuzzy covering systems based on the evidence theory

This paper studies reduction of a fuzzy covering and fusion of multi-fuzzy covering systems based on the evidence theory and rough set theory. A novel pair of belief and plausibility functions is defined by employing a method of non-classical probability model and the approximation operators of a fuzzy covering. Then we study the reduction of a fuzzy covering based on the functions we presented. In the case of multiple information sources, we present a method of information fusion for multi-fuzzy covering systems, by which objects can be well classified in a fuzzy covering decision system. Finally, by using the method of maximum flow, we discuss under what conditions, fuzzy covering approximation operators can be induced by a fuzzy belief structure.     

Fuzzy expectation and energy states in fuzzy media

This paper is concerned with energy levels and the density of states in fuzzy crystals. The determination of eigenvalue spectrum, or the density of states, for a particle in a fuzzy crystal, is obtained by using the concepts developed in fuzzy statistics. Various analytical results are found, using the fuzzy expectation; these results can be applied to a variety of fields such as decision making under uncertainty, pattern analysis, and quantum mechanics.     

Methods of critical value reduction for type-2 fuzzy variables and their applications

A type-2 fuzzy variable is a map from a fuzzy possibility space to the real number space; it is an appropriate tool for describing type-2 fuzziness. This paper first presents three kinds of critical values (CVs) for a regular fuzzy variable (RFV), and proposes three novel methods of reduction for a type-2 fuzzy variable. Secondly, this paper applies the reduction methods to data envelopment analysis (DEA) models with type-2 fuzzy inputs and outputs, and develops a new class of generalized credibility DEA models. According to the properties of generalized credibility, when the inputs and outputs are mutually independent type-2 triangular fuzzy variables, we can turn the proposed fuzzy DEA model into its equivalent parametric programming problem, in which the parameters can be used to characterize the degree of uncertainty about type-2 fuzziness. For any given parameters, the parametric programming model becomes a linear programming one that can be solved using standard optimization solvers. Finally, one numerical example is provided to illustrate the modeling idea and the efficiency of the proposed DEA model.     

On fuzzy multi-valued functions, part 4: Fuzzy economic models

An application to fuzzy economic systems of the fuzzy multi-valued functions theory elaborated by both of us in our previous papers is presented. First, stationary and dynamic fuzzy economic models are defined. Next the optimality of fuzzy trajectories of these models is introduced and investigated.     

On fuzzy multi-valued functions Part 1: Introduction and general properties

In this paper a concept of fuzzy multi-valued function is introduced and other related objects are defined. Next their properties, that assume no topological structure, are presented.     

模糊半群上的模糊同余及其扩张

给出模糊半群上的模糊同余的概念，并进一步研究它的一些基本代数性质。同时研究带有模糊半群上的模糊同余扩张性质(FCEPF)的半群类，得到一个半群有模糊半群上的模糊同余扩张性质、有模糊同余扩张性质(FCEP)、有同余扩张性质(CEP)三个条件是等价的。     

First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties

This paper aims at being a systematic investigation of different completeness properties of first-order predicate logics with truth-constants based on a large class of left-continuous t-norms (mainly continuous and weak nilpotent minimum t-norms). We consider standard semantics over the real unit interval but also we explore alternative semantics based on the rational unit interval and on finite chains. We prove that expansions with truth-constants are conservative and we study their real, rational and finite chain completeness properties. Particularly interesting is the case of considering canonical real and rational semantics provided by the algebras where the truth-constants are interpreted as the numbers they actually name. Finally, we study completeness properties restricted to evaluated formulae of the kind , where φ has no additional truth-constants.     

Reduction of fuzzy strict order relations

Fuzzy strict order relations and the notion of their reduction are defined. A necessary and sufficient condition is obtained for the transitive closure of the reduction to coincide with the strict order itself. Some possible graph-theoretic significances of these results are discussed in the conclusion.     

Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: Completeness and decidability

In this paper, we consider branching time temporal logic CT L with epistemic modalities for knowledge (belief) and with awareness operators. These logics involve the discrete-time linear temporal logic operators “next” and “until” with the branching temporal logic operator “on all paths”. In addition, the temporal logic of knowledge (belief) contains an indexed set of unary modal operators “agent i knows” (“agent i believes”). In a language of these logics, there are awareness operators. For these logics, we present sequent calculi with a restricted cut rule. Thus, we get proof systems where proof-search becomes decidable. The soundness and completeness for these calculi are proved. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 3, pp. 328–340, July–September, 2007.