Solving Satisfiability in Fuzzy Logics with Evolution Strategies

Tim Brys; Yann-Michaël De Hauwere; Martine De Cock; Ann Nowe

Solving Satisfiability in Fuzzy Logics with Evolution Strategies

Tim Brys, Yann-Michaël De Hauwere, Martine De Cock, Ann Nowe

Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)

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.

Original language	English
Title of host publication	24th Benelux Conference on Artificial Intelligence
Number of pages	2
Publication status	Published - 25 Oct 2012
Event	24th Benelux Conference on Artificial Intelligence - BNAIC 2012 - Maastricht, Netherlands Duration: 25 Oct 2012 → 26 Oct 2012

Conference

Conference	24th Benelux Conference on Artificial Intelligence - BNAIC 2012
Country/Territory	Netherlands
City	Maastricht
Period	25/10/12 → 26/10/12

Keywords

Satisfiability
Fuzzy Logics
Evolution Strategies

Handle.net

Persistent link

Cite this

@inbook{2d74907e12de4688841a94056b9a78bd,

title = "Solving Satisfiability in Fuzzy Logics with Evolution Strategies",

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.",

keywords = "Satisfiability, Fuzzy Logics, Evolution Strategies",

author = "Tim Brys and {De Hauwere}, Yann-Micha{\"e}l and {De Cock}, Martine and Ann Nowe",

year = "2012",

month = oct,

day = "25",

language = "English",

booktitle = "24th Benelux Conference on Artificial Intelligence",

note = "24th Benelux Conference on Artificial Intelligence - BNAIC 2012 ; Conference date: 25-10-2012 Through 26-10-2012",

}

TY - CHAP

T1 - Solving Satisfiability in Fuzzy Logics with Evolution Strategies

AU - Brys, Tim

AU - De Hauwere, Yann-Michaël

AU - De Cock, Martine

AU - Nowe, Ann

PY - 2012/10/25

Y1 - 2012/10/25

N2 - 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.

AB - 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.

KW - Satisfiability

KW - Fuzzy Logics

KW - Evolution Strategies

M3 - Meeting abstract (Book)

BT - 24th Benelux Conference on Artificial Intelligence

T2 - 24th Benelux Conference on Artificial Intelligence - BNAIC 2012

Y2 - 25 October 2012 through 26 October 2012

ER -

Solving Satisfiability in Fuzzy Logics with Evolution Strategies

Abstract

Conference

Keywords

Handle.net

Fingerprint

Cite this