Fuzzy sets in approximate reasoning. II: Logical approaches (Q2641292)

[Part I is reviewed above (see Zbl 0722.03017).] This paper is devoted to deductive approaches dealing with knowledge bases made of a collection of symbolic expressions (e.g. logical formulas) to which numerical weights are attached. Then such a knowledge base can be viewed as a fuzzy set of formulae. An important distinction is made, in the interpretation of the weights, between degrees of truth and degrees of uncertainty; the former can be assumed to behave in a fully compositional way while the latter cannot. Rule-based inference systems where fuzzy set operations are used for propagating and combining ``certainty factors'', are briefly discussed.