Abstract:
For encoded membership functions used to identify the atomic conditions defining the antecedents of fuzzy inferences, and also for the determination of the operands of the said antecedents, corresponding stores (6, 9) are configured for the storage of the already available values of these encoded membership functions and of the said operands. At the time of identification of a new value for the said quantities, a check is made (5, 7) to see whether this value is already present in the corresponding store (6, 9). If the outcome of this check is positive, in the case of encoded membership functions, the mechanism by which the encoded fuzzy inferences point to these functions is changed, so that the pointers of the encoded fuzzy inferences are redirected towards the membership functions which are already stored. In the case of the operands of the antecedents, the check of the corresponding back-up store (9) is carried out preferably on the basis of the corresponding calculation values, the calculation of a new operand being disabled when it is found that the corresponding calculation parameters are already present in the corresponding back-up store (9). The aforesaid store (9) is preferably configured as a stack to which new calculated operand values are written at the uppermost position, with the possibility of making values identified as already present shift back to this uppermost position.