Sorted by DateClassified by Publication TypeClassified by Research Category

Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES

Tim Brys, Madalina M. Drugan, Peter A. N. Bosman, Martine De Cock, and Ann Nowé. Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES. In Genetic and Evolutionary Computation Conference (GECCO), pp. 1125–1132, 2013.
Best Paper Award in the combined IGEC, ESEP and BIO tracks.

Download

[PDF]1.3MB  

Abstract

Satisfiability in propositional logic is well researched and many approaches to checking and solving exist. In infinite-valued or fuzzy logics, however, there have only recently been attempts at developing methods for solving satisfiability. In this paper, we analyse the function landscape of different problem classes, focussing our analysis on plateaus. Based on this study, we develop Mixing CMA-ES (M-CMA-ES), an extension to CMA-ES that is well suited to solving problems with many large plateaus. We empirically show the relation between certain function landscape properties and M-CMA-ES performance.

BibTeX

@inproceedings{Brys2013GECCO,
author = {Tim Brys and Madalina M. Drugan and Peter A. N. Bosman and Martine De Cock and Ann Now\'e},
title = "Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES",
booktitle = {Genetic and Evolutionary Computation Conference (GECCO)},
year = {2013},
pages = {1125-1132},
abstract = {Satisfiability in propositional logic is well researched and many approaches to
 checking and solving exist. In infinite-valued or fuzzy logics, however, there have only
 recently been attempts at developing methods for solving satisfiability. In this paper, we
 analyse the function landscape of different problem classes, focussing our analysis on
 plateaus. Based on this study, we develop Mixing CMA-ES (M-CMA-ES), an extension
 to CMA-ES that is well suited to solving problems with many large plateaus. We
 empirically show the relation between certain function landscape properties and 
 M-CMA-ES performance.},
  wwwnote = {<span style="color: red; font-weight: bold">Best Paper Award</span> in the combined IGEC, ESEP and BIO tracks.}
}

Generated by bib2html.pl (written by Patrick Riley ) on Thu Mar 03, 2016 14:39:58