Using generalized modus ponens, we examine the values of the inferred conclusion, depending on the used implication and on the correspondence between the premise of the rule and the observed fact. The conclusion is obtained using t-norm t(x, y) = max((1 + lambda)(x + y - 1) - lambda xy, 0), lambda greater than or equal to - 1. (C) 1998 Elsevier Science B.V. References: 23
展开▼