Fuzzy Methods for Simplifying a Boolean Formula Inferred from Examples [chapter]

Bruno Apolloni, Dario Malchiodi, Christos Orovas, Anna Maria Zanaboni
2002 From Synapses to Rules  
In order to state a symbolic description of observed data we learn a minimal monotone DNF (Disjunctive Normal Form) formula consistent with them. Then, in the idea that a short formula -i.e. made up of few monomials, each represented by the product of few literals -is better understandable by the user than a longer one, we propose here an algorithm to simplify in this direction the formula learnt from examples. We obtain concise formulas by violating their consistency on a part of the observed
more » ... xamples in some regions of the sample space that we consider as fuzzy borders of the formulas. Special membership functions to these regions allow us to manage the balance between conciseness and description power of the final formula as an optimisation problem that is solved via a simulated annealing procedure on a set of artificially constructed benchmarks. 1.
doi:10.1007/978-1-4615-0705-5_7 fatcat:sd6depge2jaxzfpjv3ru6yhmku