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 条
  • [1] CMA-ES with Restarts for Solving CEC 2013 Benchmark Problems
    Loshchilov, Ilya
    2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2013, : 369 - 376
  • [2] PSA-CMA-ES: CMA-ES with Population Size Adaptation
    Nishida, Kouhei
    Akimoto, Youhei
    GECCO'18: PROCEEDINGS OF THE 2018 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2018, : 865 - 872
  • [3] CMA-ES based fuzzy clustering approach for MRI images segmentation
    Debakla M.
    Salem M.
    Bouiadjra R.B.
    Rebbah M.
    International Journal of Computers and Applications, 2023, 45 (01) : 1 - 7
  • [4] Injecting CMA-ES into MOEA/D
    Zapotecas-Martinez, Saul
    Derbel, Bilel
    Liefooghe, Arnaud
    Brockhoff, Dimo
    Aguirre, Hernan E.
    Tanaka, Kiyoshi
    GECCO'15: PROCEEDINGS OF THE 2015 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2015, : 783 - 790
  • [5] Online Selection of CMA-ES Variants
    Vermetten, Diederick
    van Rijn, Sander
    Back, Thomas
    Doerr, Carola
    PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'19), 2019, : 951 - 959
  • [6] CMA-ES and Advanced Adaptation Mechanisms
    Akimoto, Youhei
    Auger, Anne
    Hansen, Nikolaus
    PROCEEDINGS OF THE 2016 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE (GECCO'16 COMPANION), 2016, : 533 - 562
  • [7] CMA-ES and Advanced Adaptation Mechanisms
    Akimoto, Youhei
    Hansen, Nikolaus
    PROCEEDINGS OF THE 2022 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION, GECCO 2022, 2022, : 1243 - 1268
  • [8] Model complex control CMA-ES
    Tong, Xin
    Yuan, Bo
    Li, Bin
    SWARM AND EVOLUTIONARY COMPUTATION, 2019, 50
  • [9] CMA-ES and Advanced Adaptation Mechanisms
    Akimoto, Youhei
    Hansen, Nikolaus
    PROCEEDINGS OF THE 2019 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCCO'19 COMPANION), 2019, : 837 - 861
  • [10] CMA-ES and Advanced Adaptation Mechanisms
    Akimoto, Youhei
    Hansen, Nikolaus
    PROCEEDINGS OF THE 2017 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE COMPANION (GECCO'17 COMPANION), 2017, : 641 - 674
12345