For encoded membership functions used to identify atomic conditions defining
antecedents of fuzzy inferences, and also for determining operands of the antecedents,
corresponding stores are configured to store already available values of these
encoded membership functions and of the operands. At the time of identification
of a new value for the quantities, a check is made to see whether this value is
already present in the corresponding store. If the outcome of this check is positive
for encoded membership functions, pointers by which the encoded fuzzy inferences
point to these functions is changed, so that the pointers are redirected towards
the membership functions which are already stored. For operands of the antecedents,
the check of the corresponding back-up store is carried out preferably based on
the corresponding calculation values, the calculation of a new operand being disabled
when the corresponding calculation parameters are already present in the corresponding
back-up store.
