Solving satisfiability in fuzzy logics by mixing CMA-ES.
Tim BrysMadalina M. DruganPeter A. N. BosmanMartine De CockAnn NowéPublished in: GECCO (2013)
Keyphrases
- cma es
- evolution strategy
- fuzzy sets
- modal logic
- decision procedures
- fuzzy rules
- fuzzy logic
- stochastic local search
- expressive power
- covariance matrix
- computational complexity
- computational properties
- inference rules
- satisfiability problem
- propositional logic
- np complete
- neural network
- fuzzy numbers
- sat problem
- truth values
- owl dl ontology