![]() |
![]() |
![]() ![]() ![]() |
In Boolean logic, with the rule ``IF X is A THEN Y is B'', the proposition X is A has to be observed to consider the proposition Y is B.
In fuzzy logic, a proposition ``X
is
'', close to the premise ``X is A'' can be observed
to provide a conclusion ``Y is
'' close to the conclusion ``Y is B '' [7].
A simple fuzzy inference can be represented as:
Rule | : IF | X is A THEN | Y is B | |
Fact | : | X is ![]() |
||
Conclusion | : | Y is ![]() |
To infer such a fuzzy inference we use a mechanism called generalized modus ponens. Here, we use one based on the fuzzy implication of Brouwer-Gödel [6] expressed by:
![]() |
Remark: Assume
the operator of the implication of Brouwer-Gödel and
the combination operator, the formula (2)
can be expressed by
that we use now to simplify notations.