|
Solving Satisfiability in Fuzzy Logics with Evolution Strategies Host Publication: Proceedings of the 31st Annual North American Fuzzy Information Processing Society Meeting Authors: T. Brys, Y. De Hauwere, M. De Cock and A. Nowé Publication Date: Aug. 2012 Number of Pages: 6
Abstract: 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 a new incomplete solver, based on a class of continuous optimization algorithms called evolution strategies. We show experimentally that our method is an important contribution to the state of the art in incomplete fuzzy-SAT solvers.
|
