|
Local Search and Restart Strategies for Satisfiability Solving in Fuzzy Logics Host Publication: Genetic and Evolutionary Fuzzy Systems (GEFS), 2013 IEEE International Workshop on Authors: T. Brys, M. Drugan, P. A.n. Bosman, M. De Cock and A. Nowé Publication Year: 2013 Number of Pages: 8
Abstract: Satisfiability solving in fuzzy logics is a subject that has not been researched much, certainly compared to satisfiability in propositional logics. Yet, fuzzy logics are a powerful tool for modelling complex problems. Recently, we proposed an optimization approach to solving satisfiability in fuzzy logics and compared the standard Covariance Matrix Adaptation Evolution Strategy algorithm (CMA-ES) with an analytical solver on a set of benchmark problems. Especially on more finegrained problems did CMA-ES compare favourably to the analytical approach. In this paper, we evaluate two types of hillclimber in addition to CMA-ES, as well as restart strategies for these algorithms. Our results show that a population-based hillclimber outperforms CMA-ES on the harder problem class.
|
