On fuzzy-qualitative descriptions and entropy

This paper models the assessments of a group of experts when evaluating different magnitudes, features or objects by using linguistic descriptions. A new general representation of linguistic descriptions is provided by unifying ordinal and fuzzy perspectives. Fuzzy qualitative labels are proposed as a generalization of the concept of qualitative labels over a well-ordered set. A lattice structure is established in the set of fuzzy-qualitative labels to enable the introduction of fuzzy-qualitative descriptions as L-fuzzy sets. A theorem is given that characterizes finite fuzzy partitions using fuzzy-qualitative labels, the cores and supports of which are qualitative labels. This theorem leads to a mathematical justification for commonly-used fuzzy partitions of real intervals via trapezoidal fuzzy sets. The information of a fuzzy-qualitative label is defined using a measure of specificity, in order to introduce the entropy of fuzzy-qualitative descriptions. (C) 2016 Elsevier Inc. All rights reserved.Peer ReviewedPostprint (author's final draft

An introduction to DSmT

The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been, and still remains today, of primal importance for the development of reliable modern information systems involving artificial reasoning. In this introduction, we present a survey of our recent theory of plausible and paradoxical reasoning, known as Dezert-Smarandache Theory (DSmT), developed for dealing with imprecise, uncertain and conflicting sources of information. We focus our presentation on the foundations of DSmT and on its most important rules of combination, rather than on browsing specific applications of DSmT available in literature. Several simple examples are given throughout this presentation to show the efficiency and the generality of this new approach

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphology. Based on this observation, this paper proposes to define, at the abstract level of institutions, a pair of abstract dual and logical operators as morphological erosion and dilation. Standard quantifiers and modalities are then derived from these two abstract logical operators. These operators are studied both on sets of states and sets of models. To cope with the lack of explicit set of states in institutions, the proposed abstract logical dual operators are defined in an extension of institutions, the stratified institutions, which take into account the notion of open sentences, the satisfaction of which is parametrized by sets of states. A hint on the potential interest of the proposed framework for spatial reasoning is also provided.Comment: 36 page

An eclectic quadrant of rule based system verification: work grounded in verification of fuzzy rule bases.

In this paper, we used a research approach based on grounded theory in order to classify methods proposed in literature that try to extend the verification of classical rule bases to the case of fuzzy knowledge modeling. Within this area of verification we identify two dual lines of thought respectively leading to what is termed respectively static and dynamic anomaly detection methods. The major outcome of the confrontation of both approaches is that their results, most often stated in terms of necessary and/or sufficient conditions are difficult to reconcile. This paper addresses precisely this issue by the construction of a theoretical framework, which enables to effectively evaluate the results of both static and dynamic verification theories. Things essentially go wrong when in the quest for a good affinity, matching or similarity measure, one neglects to take into account the effect of the implication operator, an issue that rises above and beyond the fuzzy setting that initiated the research. The findings can easily be generalized to verification issues in any knowledge coding setting.Systems;