(c) A multivalued logz'c in which truth values are in the interval (O, 1 J and the valuation of a disjunction is the maximum of the disjuncts, whilst that of a conjunction zs the minimum of the conjuncts. This narrow definition encompasses the population stereotype of a 'fuzzy logic' [4-9]. It is interesting that most infinitely-v~ued MVLs [13] have min/max connectives for conjunction/disjuncti...

In this paper a two-layer content-based image retrieval model will be described. The model has a prefilter indexing function, based on a possible class hierarchy of the images to be stored. Based on this hierarchical indexing some typified queries can be introduced. The δ distance function, used in the queries can be defined by a fuzzy algorithm based on the cut operation and the fuzzy logical ...

Multi-adjoint logic programs generalise monotonic and residuated logic programs [2] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. As our approach has continuous fixpoint semantics, in this work, a procedural semantics is given for the paradigm of multi-adjoint logic programming and a completeness result is proved. Some ap...

This paper presents a hybrid method to construct concise and comprehensible fuzzy rules from training data. The construction procedure consists of a genetic algorithm, which determines the rulebase, and a gradient based optimization for the tuning of the membership functions. An approximation of the well-known Lukasiewicz logic is used to describe both the fuzzy connectives and the memberships,...

Decision-making procedure based on fuzzy relational composition may require that the involved connectives are not idempotent to handle signi cant information properly. Yet, non-idempotence may result in meaningless inference when the universes of discourse are dense. Here we propose a novel kind of connective and a formal de nition of relational composition for dense universes of discourse whic...

For two propositional fuzzy logics, we present analytic proof calculi, based on relational hypersequents. The logic considered first, called Mà L, is based on the finite ordinal sums of à Lukasiewicz t-norms. In addition to the usual connectives – the conjunction ̄, the implication →, and the constant 0 –, we use a further unary connective interpreted by the function associating with each truth...

We present a procedure for the construction of multi-valued t-norms and t-conorms. Our procedure makes use of a pair of single-valued t-norms and the respective dual t-conorms and produces interval-valued t-norms u and t-conorms t. In this manner we combine desirable characteristics of different t-norms and t-conorms; if we use the t-norm ∧ and t-conorm ∨, then (X,u,t) is a superlattice, i.e. t...

Optimism or pessimism of investors is one of the important characteristics that determine the investment behavior in financial markets. In this paper, we propose a model of investor optimism based on a fuzzy connective. The advantage of the proposed approach is that the influence of different levels of optimism can be studied by varying a single parameter. We implement our model in an artificia...

In a previous paper, we proposed an axiomatic model for measuring self-contradiction in the framework of Atanassov fuzzy sets. This way, contradiction measures that are semicontinuous and completely semicontinuous, from both below and above, were defined. Although some examples were given, the problem of finding families of functions satisfying the different axioms remained open. The purpose of...