Solving satisfiability in fuzzy logics by mixing CMA-ES

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.

[1]  Umberto Straccia,et al.  Mixed Integer Programming, General Concept Inclusions and Fuzzy Description Logics , 2007, EUSFLAT Conf..

[2]  A. Nowe,et al.  Solving satisfiability in fuzzy logics with evolution strategies , 2012, 2012 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS).

[3]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[4]  Nikolaus Hansen,et al.  The CMA Evolution Strategy: A Comparing Review , 2006, Towards a New Evolutionary Computation.

[5]  Dirk Thierens,et al.  Optimal mixing evolutionary algorithms , 2011, GECCO '11.

[6]  Reiner Hähnle,et al.  Many-valued logic and mixed integer programming , 1994, Annals of Mathematics and Artificial Intelligence.

[7]  Anne Auger,et al.  Performance evaluation of an advanced local search evolutionary algorithm , 2005, 2005 IEEE Congress on Evolutionary Computation.

[8]  Martine De Cock,et al.  Local search and restart strategies for satisfiability solving in fuzzy logics , 2013, 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems (GEFS).

[9]  Martine De Cock,et al.  An introduction to fuzzy answer set programming , 2007, Annals of Mathematics and Artificial Intelligence.

[10]  Martine De Cock,et al.  Reducing fuzzy answer set programming to model finding in fuzzy logics , 2011, Theory and Practice of Logic Programming.

[11]  Steven Schockaert,et al.  Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction , 2011, Journal of Automated Reasoning.

[12]  Manuel Ojeda-Aciego,et al.  Measuring Inconsistency in Fuzzy Answer Set Semantics , 2011, IEEE Transactions on Fuzzy Systems.

[13]  Martine De Cock,et al.  Spatial reasoning in a fuzzy region connection calculus , 2009, Artif. Intell..