Published in

2013 IEEE Congress on Evolutionary Computation

DOI: 10.1109/cec.2013.6557684

Links

Tools

Export citation

Search in Google Scholar

Meta-Evolutionary Algorithms and Recombination Operators for Satisfiability Solving in Fuzzy Logics

Proceedings article published in 2013 by Tim Brys, Madalina M. Drugan ORCID, Ann Nowé
This paper is available in a repository.
This paper is available in a repository.

Full text: Download

Green circle
Preprint: archiving allowed
Green circle
Postprint: archiving allowed
Red circle
Published version: archiving forbidden
Data provided by SHERPA/RoMEO

Abstract

In this work, we develop a new paradigm, called Meta-Evolutionary Algorithms, motivated by the challenging, continuous problems encountered in the domain of satisfiability in fuzzy logics (SAT∞). In Meta-Evolutionary Algorithms, the individuals in a population are optimization algorithms them-selves. Mutation at the meta-population level is handled by performing an optimization step in each optimization algorithm, and recombination at the meta-population level is handled by exchanging information between different algorithms. We analyse different recombination operators and empirically show that simple Meta-Evolutionary Algorithms are able to outperform CMA-ES on a set of SAT∞ benchmark problems.