Affiliations: School of Computing, University of Portsmouth, Buckingham Building, Portsmouth, UK | School of Engineering, University of Portsmouth, Angleasea Building, Portsmouth, UK | Institute of Information and Communication Technologies, Bulgarian Academy of Sciences, Sofia, Bulgaria
Note: [] Corresponding author. Dr Alexander Gegov, School of Computing, University of Portsmouth, Buckingham Building, Portsmouth PO1 3HE, UK. Tel.: +44 23 9284 6381; E-mail: alexander.gegov@port.ac.uk
Abstract: This paper proposes a complexity management methodology for fuzzy systems with feedback rule bases. The methodology is based on formal methods for presentation, manipulation and transformation of fuzzy rule bases. First, Boolean matrices are used for formal presentation of rule bases. Then, binary merging operations are used for formal manipulation of rule bases. Finally, repetitive merging operations are used for formal transformation of rule bases. The formal methods facilitate the understanding and modelling of fuzzy systems in terms of interacting subsystems. In particular, the methods reduce the qualitative complexity in fuzzy systems by improving the transparency of the rule bases.
