A synthesis of fuzzy rule-based system verification

In this paper, we give a synthesis of methods proposed in literature that try to extend the verification of classical rule bases to the case of fuzzy knowledge modeling. Within this area of fuzzy V&V we identify two dual lines of thought respectively leading to static and dynamic anomaly detection methods. The major outcome of the confrontation between both approaches is that their results, stated in terms of necessary and/or sufficient conditions are difficult to reconcile. This paper addresses precisely this issue by presenting a theoretical framework which enables us to effectively evaluate the results of both static and dynamic verification theories.