This paper deals with the problem of rule interpolation and rule extrapolation for fuzzy and possibilistic systems. Such systems are used for representing and processing vague linguistic If-Then-rules, and they have been increasingly applied in the ®eld of control engineering, pattern recognition and expert systems. The methodology of rule interpolation is required for deducing plausible conclusions from sparse (incomplete) rule bases. For this purpose the well-known fuzzy inference mechanisms have to be extended or replaced by more general ones. The methods proposed so far in the literature for rule interpolation are mainly conceived for the application to fuzzy control and miss certain logical characteristics of an inference. First, a set of axioms is proposed in this paper. With this, a de®nition is given for the notion of interpolation, extrapolation, linear interpolation and linear extrapolation of fuzzy rules. The axioms include all the conditions that have been of interest in the previous attempts and others which either have logical characteristics or try to capture the linearity of the interpolation. A new method for linear interpolation and extrapolation of compact fuzzy quantities of the real line is suggested and analyzed in the spirit of the given de®nition. The method is extended to non-linear interpolation and extrapolation as well.

Hahn's embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn's theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative residuated chains which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented.

No abstract

No abstract