Local search and restart strategies for satisfiability solving in fuzzy logics

T. Brys; M.M. Drugan; M. De Cock; P.A.N. Bosman; A. Nowe

doi:10.1109/GEFS.2013.6601055

Local search and restart strategies for satisfiability solving in fuzzy logics

T. Brys
, M.M. Drugan
, M. De Cock
, P.A.N. Bosman
, A. Nowe

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore
Place of Publication	Piscataway
Publisher	Institute of Electrical and Electronics Engineers
Pages	52-59
DOIs	https://doi.org/10.1109/GEFS.2013.6601055
Publication status	Published - 2013
Externally published	Yes

Access to Document

10.1109/GEFS.2013.6601055

Cite this

Brys, T., Drugan, M. M., De Cock, M., Bosman, P. A. N., & Nowe, A. (2013). Local search and restart strategies for satisfiability solving in fuzzy logics. In 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore (pp. 52-59). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/GEFS.2013.6601055

@inproceedings{78d802e647f24827a9e5bcd482602004,

title = "Local search and restart strategies for satisfiability solving in fuzzy logics",

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.",

author = "T. Brys and M.M. Drugan and \{De Cock\}, M. and P.A.N. Bosman and A. Nowe",

year = "2013",

doi = "10.1109/GEFS.2013.6601055",

language = "English",

pages = "52--59",

booktitle = "2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Brys, T, Drugan, MM, De Cock, M, Bosman, PAN & Nowe, A 2013, Local search and restart strategies for satisfiability solving in fuzzy logics. in 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore . Institute of Electrical and Electronics Engineers, Piscataway, pp. 52-59. https://doi.org/10.1109/GEFS.2013.6601055

Local search and restart strategies for satisfiability solving in fuzzy logics. / Brys, T.; Drugan, M.M.; De Cock, M. et al.
2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore . Piscataway: Institute of Electrical and Electronics Engineers, 2013. p. 52-59.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Local search and restart strategies for satisfiability solving in fuzzy logics

AU - Brys, T.

AU - Drugan, M.M.

AU - De Cock, M.

AU - Bosman, P.A.N.

AU - Nowe, A.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1109/GEFS.2013.6601055

DO - 10.1109/GEFS.2013.6601055

M3 - Conference contribution

SP - 52

EP - 59

BT - 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS), 16-19 April 2013, Singapore

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Local search and restart strategies for satisfiability solving in fuzzy logics

Abstract

Access to Document

Fingerprint

Cite this