Analogies play an important role in many reasoning tasks. In this paper, we survey a recently proposed modeling for an analogical proportion, i.e. a statement of the form “A is to B as C is to D”, and its diverse applications. The logical representation used for encoding such proportions takes both into account what the four situations have in common and how they differ. Thanks to the use of a ...

The genetic algorithm behaviour is determined by the exploitation and exploration relationship kept throughout the run. Adap-tive genetic algorithms have been built for inducing suitable exploitation/exploration relationships for avoiding the premature convergence problem. Some adaptive genetic algorithms are built using fuzzy logic techniques. In this paper, we summarize two types of such appr...

Most fuzzy systems including fuzzy decision support and fuzzy control systems provide out­ puts in the form of fuzzy sets that represent the inferred conclusions. Linguistic interpretation of such outputs often involves the use of linguistic approximation that assigns a linguistic label to a fuzzy set based on the predefined primary terms, linguistic modifiers and linguistic connectives. More g...

Ever since the first hybrid fuzzy rough set model was proposed in the early 1990’s, many researchers have focused on the definition of the lower and upper approximation of a fuzzy set by means of a fuzzy relation. In this paper, we review those proposals which generalize the logical connectives and quantifiers present in the rough set approximations by means of corresponding fuzzy logic operati...

For interval-valued fuzzy datasets, people have started to do research on interval-valued fuzzy rough sets and relevant models. However, these models could not be effectively applied to handle the real-valued datasets such as interval-valued fuzzy datasets as variable precision problems were not considered in interval-valued fuzzy rough sets. In this paper, fuzzy variable precision rough sets a...

Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...

In this paper, we study in-depth certain properties of interval-valued fuzzy sets and Atanassov’s intuitionistic fuzzy sets (A-IFSs). In particular, we study the manner in which to construct different interval-valued fuzzy connectives (or Atanassov’s intuitionistic fuzzy connectives) starting from an operator. We further study the law of contradiction and the law of excluded middle for these se...

Formal systems of fuzzy logic (including the well-known à Lukasiewicz and Gödel-Dummett infinite-valued logics) are well-established logical systems and respected members of the broad family of the so-called substructural logics closely related to the famous logic BCK. The study of fragments of logical systems is an important issue of research in any class of nonclassical logics. Here we study ...

Among various approaches to fuzzy logics, we have chosen two of them, which are built up in a similar way. Although starting from diierent basic logical connectives, they both use interpretations based on Frank t-norms. Diierent interpretations of the implication lead to diierent axiomatizations, but most logics studied here are complete. We compare the properties, advantages and disadvantages ...

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories has been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of manyvalued systems that can be regard...