<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>F. Camastra); angelo.ciaramella@uniparthenope.it (A. Ciaramella);
salvatore.sposato@studenti.uniparthenope.it (S. Sposato); antonino.staiano@uniparthenope.it (A. Staiano)
~ https://sites.google.com/view/francesco-camastra/home (F. Camastra);
https://sites.google.com/view/ciss-angelociaramella/home (A. Ciaramella);
https://sites.google.com/site/antoninosta/ (A. Staiano)</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>A Fuzzy Rule Base Minimization Perspective in XAI</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>F. Camastra</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>A. Ciaramella</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>S. Sposato</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>A. Staiano</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Department of Science and Technology, University of Naples Parthenope, Centro Direzionale Isola C4</institution>
          ,
          <addr-line>I-80143, Napoli</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2021</year>
      </pub-date>
      <volume>000</volume>
      <fpage>0</fpage>
      <lpage>0003</lpage>
      <abstract>
        <p>Fuzzy rule-based systems are raising great interest in the last years in eXpalianable Artificial Intelligence. These systems represents knowledge easily understood by humans but they are not interpretable per se. They, in fact, must remain simple and understandable, and the rule base must be compactness. In this work a fuzzy rule base minimization approach based on rough sets theory and a greedy algorithm is proposed. The reduction of the fuzzy rules makes the rule base simpler, and thus easier to produce explainable inference systems (e.g., decision support systems and recommenders). Encouraging results are obtained validating and comparing the methodology on data of UCI benchmark.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Fuzzy rule base</kwd>
        <kwd>Explainable Artificial Intelligence</kwd>
        <kwd>Rough sets</kwd>
        <kwd>Greedy algorithms</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        obtain FRBSs that represent knowledge easily understood by humans. Among others, the rule
base compactness or the semantic comprehensibility of the fuzzy partitions must be stressed
[
        <xref ref-type="bibr" rid="ref6 ref7">7, 6</xref>
        ]. Moreover, the EFSs must be properly designed to obtain the desired trade-of between
accuracy and explainability for the problem at hand. In this work we introduce a fuzzy rule
base minimization approach based on rough sets theory and a greedy based approach.
      </p>
      <p>The paper is organized as follows. In Section 2 we present the proposed methodology and
the used methods. Furthermore, in Section 3 the results of experiments on benchmark data are
presented. Finally, the authors draw conclusions in Section 4.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Reducing Rules Approach</title>
      <p>
        The problem of finding the useless attributes for the correct classification is intractable when
the number of attributes is large and algorithms that provide suboptimal approximated
solutions must be explored. The Reducing Rules and Conditions (RRC) algorithm provides a greedy
approximated solution to the problem of identifying and deleting in a set of fuzzy rules the
attributes that are irrelevant for the correct classification. RRC approach is composed by five
steps as described in Figure 1. In order to evaluate a rule pattern in the algorithm search, a
property, i.e., eficiency , is associated to each rule pattern (see [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] for details). In particular, the
eficiency definition reflects the main goal of RRC algorithm, i.e., searching for each consequent
the rule patterns with the smallest antecedent length that cover the largest number of rules,
having, at the same time, the minimal overlap with the other consequents.
      </p>
      <sec id="sec-2-1">
        <title>2.1. Building decision tables from fuzzy rules</title>
        <p>In this stage each rule of the a fuzzy knowledge base, ℱ is represented into a decision system
model, labeling antecedents and consequents of the fuzzy rule as the condition and decision
attributes, respectively. Firstly, a label is associated to each pair (Linguistic Variable, Value) and
then, each pair in fuzzy rules is replaced with the respective labels (e.g., High → H).</p>
      </sec>
      <sec id="sec-2-2">
        <title>2.2. Sorting attributes by their significance</title>
        <p>
          In this phase, the relevance for each attribute (i.e., for each fuzzy relation) is computed. To this
purpose the attributes relevance is measured by its significance by using rough sets theory [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ].
Given two sets of attributes  and , the significance of an attribute  [
          <xref ref-type="bibr" rid="ref10">10</xref>
          ], denoted by  , is
defined as follows:
( ) =  ( ) −  −{ }( )
(1)
where the parameter  ( ), that always takes values between 0 and 1, represents the fraction
of the objects that can be classified correctly [
          <xref ref-type="bibr" rid="ref9">9</xref>
          ]. It is worthwhile to remark that the so-defined
significance is relative since it depends both on  and  sets.
        </p>
      </sec>
      <sec id="sec-2-3">
        <title>2.3. Building prefix tree</title>
        <p>The construction of the prefix tree takes processing one rule at a time. In particular, for each
attribute, a node is generated, which becomes the child of the node of the previous attribute
and the parent of the node of the next attribute. The first attribute, becomes the child node of
the root tree, which, not having any attribute, is an empty node. The tree has the property that
all the descendants of a node shares the prefix associated with the node. This implies that two
rules with the same initial condition share the same node associated with that condition.</p>
      </sec>
      <sec id="sec-2-4">
        <title>2.4. Rule pattern searching</title>
        <p>
          The search algorithm uses the prefix tree, constructed in the previous stage, as a decision tree
and carries out a left-to-right depth-first search (DFS) visit of the tree for each decision [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ]. For
each iteration, a reduction of the complete tree is computed and then, the search algorithm is
performed. The number of iterations is fixed by a parameter. The reduction of the complete tree
is obtained simply by randomly discarding some attributes from decision table and constructing,
consequently pruned prefix tree.
        </p>
      </sec>
      <sec id="sec-2-5">
        <title>2.5. Sorting rule patterns and building the minimum set of rules</title>
        <p>The final result of rule pattern searching is a list of candidate rule patterns which is usually
oversized compared with the initial knowledge base. Therefore, in these stage it is extracted
only a subset of candidate rule patterns, that can cover all the decisions produced by the initial
knowledge base and, at the same time, minimize the number of rules and conditions. The set of
ifrst rule patterns that cover all the decisions produced by the initial knowledge base.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Experimental Results</title>
      <p>The proposed algorithm has been validated on two UCI benchmarks, i.e., mushroom [12],
breastcancer [13] 1, and was compared with Ripper [14], Part [15], Lem2 [16] algorithms. Benchmark
characteristics are summarized in Table 1. The performance of the algorithms have been
measured in terms of number of rules extracted, Coverage, Accuracy2. In Tables 2 and 3 we
describe the results obtained on mushroom and breast cancer benchmarks, respectively. We
observe that the proposed methodology permits to obtain a low number of rules and attributes
maintaining high accuracy and coverage.</p>
      <p>benchmark</p>
      <p>Mushroom
Breast-Cancer
number of rules
8214
286
number of attributes
178728
2574
1informations about the other benchmarks can be found on http:∖∖
archive.ics.uci.edu/ml/datasets.php</p>
      <p>2Coverage: percentage of the rules of initial knowledge base that are covered by the set of rules generated by
compressing algorithm; Accuracy: percentage of the correct classification of the set of the rules generated by the
compressing algorithm.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusion</title>
      <p>In this work a fuzzy rule base minimization approach based on rough sets theory and a greedy
algorithm has been introduced. Rough sets theory has been used for ordering significance of
the attributes and greedy approach for building a prefix tree used as a decision tree carrying
out left-to-right depth-first search visit. The proposed approach is validated and compared
on UCI benchmarks resulting encouraging results. In the next future the authors will focus
on the theoretic background of the methodology (e.g., eficiency measures and optimal path
demonstration). Further experiments and comparisons will be conducted on diferent data and
for addressing the explainability of the obtained fuzzy rules.</p>
    </sec>
    <sec id="sec-5">
      <title>Acknowledgments</title>
      <p>Part of work was developed by Salvatore Sposato during M. Sc. in Applied Computer Science at
University of Naples Parthenope.
[12] J. Schlimmer, Concept Acquisition through representation adjustment, Technical Report,</p>
      <p>University of California, Irvine, PhD Thesis, 1987.
[13] R. Michalski, I. Mozetic, J. Hong, J. N. Lavrac, The multi-purpose incremental learning
system aq15 and its testing application to three medical domains, in: Proceedings of the
Fifth National Conference on Artificial Intelligence, Morgan Kaufman, 1986, pp. 1041–1045.
[14] W. Cohen, Fast efective rule induction, in: Machine Learning Proceedings 1995, Morgan</p>
      <p>Kaufman, 1995, pp. 115–123.
[15] E. Frank, I. Witten, Generating accurate rulesets without global optimization, in: 1998</p>
      <p>Working Papers, University of Waikato, Department of Computer Science, 1998, pp. 1–15.
[16] J. Grzymala-Busse, Lers-a system for learning from examples based on rough sets, in:
Intelligent Decision Support: Handbook of Applications and Advances of the Rough Sets
Theory, Dordrecht: Springer Netherlands, 1992, pp. 3–18.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>C.</given-names>
            <surname>Mencar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Alonso</surname>
          </string-name>
          ,
          <article-title>Paving the way to explainable artificial intelligence with fuzzy modeling</article-title>
          , volume
          <volume>24</volume>
          ,
          <year>2018</year>
          , pp.
          <fpage>215</fpage>
          -
          <lpage>227</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>A.</given-names>
            <surname>Fernandez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Herrera</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Cordon</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>del</article-title>
          <string-name>
            <surname>Jesus</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Marcelloni</surname>
          </string-name>
          ,
          <article-title>Evolutionary fuzzy systems for explainable artificial intelligence: Why, when, what for, and</article-title>
          where to?,
          <source>IEEE Computational intelligence magazine 14</source>
          (
          <year>2019</year>
          )
          <fpage>69</fpage>
          -
          <lpage>81</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>A.</given-names>
            <surname>Knapič</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Malhi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Saluja</surname>
          </string-name>
          ,
          <string-name>
            <surname>K.</surname>
          </string-name>
          <article-title>Främling, xplainable artificial intelligence for human decision-support system in medical domain</article-title>
          ,
          <source>arXiv</source>
          (
          <year>2021</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>A.</given-names>
            <surname>Ciaramella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Tagliaferri</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Pedrycz</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Di</surname>
          </string-name>
          <string-name>
            <surname>Nola</surname>
          </string-name>
          ,
          <article-title>Fuzzy relational neural network</article-title>
          ,
          <source>International Journal of Approximate Reasoning</source>
          <volume>41</volume>
          (
          <year>2006</year>
          )
          <fpage>146</fpage>
          -
          <lpage>163</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>F.</given-names>
            <surname>Camastra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Ciaramella</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Giovannelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Lener</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Rastelli</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Staiano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Staiano</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Starace</surname>
          </string-name>
          ,
          <article-title>A fuzzy decision system for genetically modified plant environmental risk assessment using mamdani inference</article-title>
          ,
          <source>Expert Systems with Applications</source>
          <volume>42</volume>
          (
          <year>2015</year>
          )
          <fpage>1710</fpage>
          -
          <lpage>1716</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>J. M.</given-names>
            <surname>Mendel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P. P.</given-names>
            <surname>Bonissone</surname>
          </string-name>
          ,
          <article-title>Critical thinking about explainable ai (xai) for rule-based fuzzy systems</article-title>
          ,
          <source>IEEE Transactions on Fuzzy Systems</source>
          <volume>14</volume>
          (
          <year>2019</year>
          )
          <fpage>69</fpage>
          -
          <lpage>81</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>L.</given-names>
            <surname>Jara</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>González</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Pérez</surname>
          </string-name>
          ,
          <article-title>A preliminary study to apply the quine mccluskey algorithm for fuzzy rule base minimization</article-title>
          ,
          <year>2020</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>6</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>T.</given-names>
            <surname>Hastie</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Tibshirani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Friedman</surname>
          </string-name>
          ,
          <source>The Elements of Statistical Learning</source>
          , Springer, New York,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Pawlak</surname>
          </string-name>
          , Rough sets,
          <source>Theoretical Aspects of Reasoning about Data</source>
          , Kluwer Academic Publishers,
          <year>1991</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Modrzejewski</surname>
          </string-name>
          ,
          <article-title>Feature selection using rough sets theory</article-title>
          ,
          <source>in: Machine Learning: ECML-93</source>
          , Springer,
          <year>1993</year>
          , pp.
          <fpage>213</fpage>
          -
          <lpage>226</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>T.</given-names>
            <surname>Cormen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Leiserson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Rivest</surname>
          </string-name>
          , Introduction to Algorithms, MIT Press,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>