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 条

[21] The lens design using the CMA-ES algorithm
Nagata, Y
GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS, 2004, 3103 : 1189 - 1200
[22] Warm Starting CMA-ES for Hyperparameter Optimization
Nomura, Masahiro
Watanabe, Shuhei
Akimoto, Youhei
Ozaki, Yoshihiko
Onishi, Masaki
THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 9188 - 9196
[23] Hybrid of PSO and CMA-ES for Global Optimization
Xu, Peilan
Luo, Wenjian
Lin, Xin
Qiao, Yingying
Zhu, Tao
2019 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2019, : 27 - 33
[24] An Asynchronous Implementation of the Limited Memory CMA-ES
Arkhipov, Viktor
Buzdalov, Maxim
Shalyto, Anatoly
2015 IEEE 14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA), 2015, : 707 - 712
[25] A CMA-ES with Multiplicative Covariance Matrix Updates
Krause, Oswin
Glasmachers, Tobias
GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 281 - 288
[26] Sequential Sampling for Noisy Optimisation with CMA-ES
Groves, Matthew
Branke, Juergen
GECCO'18: PROCEEDINGS OF THE 2018 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2018, : 1023 - 1030
[27] Reducing the Space-Time Complexity of the CMA-ES
Knight, James N.
Lunacek, Monte
GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 658 - 665
[28] Doubly Trained Evolution Control for the Surrogate CMA-ES
Pitra, Zbynek
Bajer, Lukas
Holena, Martin
PARALLEL PROBLEM SOLVING FROM NATURE - PPSN XIV, 2016, 9921 : 59 - 68
[29] Optimization of microwave circuit parameters by CMA-ES method
Hayashi, Kosuke
Khige, Koichi
IEICE COMMUNICATIONS EXPRESS, 2021, 10 (09): : 681 - 687
[30] CMA-ES with Surrogate Model Adapting to Fitness Landscape
Tsukada, Kento
Hasegawa, Taku
Mori, Naoki
Matsumoto, Keinosuke
INTELLIGENT AND EVOLUTIONARY SYSTEMS, IES 2016, 2017, 8 : 417 - 429

← 1 2 3 4 5 →