previous    up   next

Generalized Modus Ponens


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 tex2html_wrap_inline1358  '', close to the premise ``X is A'' can be observed to provide a conclusion ``Y is tex2html_wrap_inline1366 '' 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 tex2html_wrap_inline1358
Conclusion : Y is tex2html_wrap_inline1366

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:

equation197  

 

Remark: Assume tex2html_wrap_inline1396 the operator of the implication of Brouwer-Gödel and tex2html_wrap_inline1398 the combination operator, the formula (2) can be expressed by tex2html_wrap_inline1400 that we use now to simplify notations.




      previous    up   next     
  
 IRIT-UPS