Solving Satisfiability in Fuzzy Logics by Mixing CMA-ES

被引：0

作者：

Brys, Tim ^{[1
]}

Drugan, Madalina M. ^{[1
]}

Bosman, Peter A. N. ^{[2
]}

De Cock, Martine ^{[3
]}

Nowe, Ann ^{[1
]}

机构：

[1] VUB, Artificial Intelligence Lab, Pl Laan 2, B-1050 Brussels, Belgium

[2] CWI, NL-1090GB Amsterdam, Netherlands

[3] Univ Ghent, Dept Appl Math, Dept Comp Sci & Stat, B-9000 Ghent, Belgium

来源：

GECCO'13: PROCEEDINGS OF THE 2013 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE | 2013年

关键词：

CMA-ES; Fuzzy Satisfiability; Mixing;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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 propose new benchmark problems and 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.

引用

页码：1125 / 1132

页数：8

共 50 条

[31] Exploring optimal topology of thermal cloaks by CMA-ES
Fujii, Garuda
Akimoto, Youhei
Takahashi, Masayuki
APPLIED PHYSICS LETTERS, 2018, 112 (06)
[32] CMA-ES with Optimal Covariance Update and Storage Complexity
Krause, Oswin
Arbones, Didac R.
Igel, Christian
ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 29 (NIPS 2016), 2016, 29
[33] Improving CMA-ES by Random Evaluation on the Minor Eigenspace
Au, Chun-Kit
Leung, Ho-Fung
2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2010,
[34] Effect of the Mean Vector Learning Rate in CMA-ES
Miyazawa, Hidekazu
Akimoto, Youhei
PROCEEDINGS OF THE 2017 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'17), 2017, : 721 - 728
[35] CMA-ES for One-Class Constraint Synthesis
Karmelita, Marcin
Pawlak, Tomasz P.
GECCO'20: PROCEEDINGS OF THE 2020 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2020, : 859 - 867
[36] Handling bound constraints in CMA-ES: An experimental study
Biedrzycki, Rafal
SWARM AND EVOLUTIONARY COMPUTATION, 2020, 52
[37] A (1+1)-CMA-ES for Constrained Optimisation
Arnold, Dirk V.
Hansen, Nikolaus
PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2012, : 297 - 304
[38] Eigenspace sampling in the mirrored variant of (1, λ)-CMA-ES
Au, Chun-Kit
Leung, Ho-Fung
2012 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2012,
[39] Niche radius adaptation in the CMA-ES niching algorithm
Shir, Ofer M.
Back, Thomas
PARALLEL PROBLEM SOLVING FROM NATURE - PPSN IX, PROCEEDINGS, 2006, 4193 : 142 - 151
[40] Making EGO and CMA-ES Complementary for Global Optimization
Mohammadi, Hossein
Le Riche, Rodolphe
Touboul, Eric
LEARNING AND INTELLIGENT OPTIMIZATION, LION 9, 2015, 8994 : 287 - 292

← 1 2 3 4 5 →