# Reducing fuzzy answer set programming to model finding in fuzzy logics

@article{Janssen2011ReducingFA, title={Reducing fuzzy answer set programming to model finding in fuzzy logics}, author={Jeroen Janssen and Dirk Vermeir and Steven Schockaert and Martine De Cock}, journal={Theory and Practice of Logic Programming}, year={2011}, volume={12}, pages={811 - 842} }

Abstract In recent years, answer set programming (ASP) has been extended to deal with multivalued predicates. The resulting formalismsallow for the modeling of continuous problems as elegantly as ASP allows for the modeling of discrete problems, by combining thestable model semantics underlying ASP with fuzzy logics. However, contrary to the case of classical ASP where manyefficient solvers have been constructed, to date there is no efficient fuzzy ASP solver. A well-knowntechnique for…

## 17 Citations

### Foundations of a DPLL-Based Solver for Fuzzy Answer Set Programs

- Computer ScienceIJCCI
- 2017

The inner works of a DPLL-based fuzzy SAT solver for propositional product logic should provide foundations for the technical implementation of the solver, utilizing the fuzzy generalization of the DPLL algorithm.

### A finite-valued solver for disjunctive fuzzy answer set programs

- Computer ScienceECAI
- 2014

This paper proposes an implementation of FASP based on a reduction to classical ASP, and develops a prototype implementation of this method, believed to be the first solver for disjunctive FASp programs.

### Solving Fuzzy Answer Set Programs in Product Logic

- Computer ScienceIJCCI
- 2017

This work investigates the methods used in state-of-the-art classical ASP solvers with the aim of designing a FASP solver for product propositional logic and bases its approach on the conversion into fuzzy SAT (satisfiability problem) and the fuzzy generalization of the DPLL algorithm.

### Fuzzy answer set computation via satisfiability modulo theories

- Computer ScienceTheory and Practice of Logic Programming
- 2015

A translation of FASP programs into satisfiability modulo theories (SMT), which in general produces quantified formulas because of the minimality of the semantics, is analyzed.

### Aggregated Fuzzy Answer Set Programming

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2011

This paper develops an alternative, based on aggregator functions that specify which (combination of) rules are most important to satisfy, that extends upon previous work by allowing aggregator expressions to define partially ordered preferences, and by the use of a fixpoint semantics.

### Solving satisfiability in fuzzy logics with evolution strategies

- Computer Science2012 Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS)
- 2012

This paper proposes a new incomplete solver, based on a class of continuous optimization algorithms called evolution strategies, and shows experimentally that this method is an important contribution to the state of the art in incomplete fuzzy-SAT solvers.

### Solving satisfiability in fuzzy logics by mixing CMA-ES

- Computer ScienceGECCO '13
- 2013

This paper proposes new benchmark problems and analyzes the function landscape of different problem classes, focussing on plateaus, and develops Mixing CMA-ES (M-CMA- ES), an extension to C MA-ES that is well suited to solving problems with many large plateaus.

### Minimal Undefinedness for Fuzzy Answer Sets

- Computer ScienceAAAI
- 2017

This paper presents algorithms that minimize undefinedness of fuzzy answer sets, and implements them through the minimization of a measure of undefinedness.

### On the Computation of Paracoherent Answer Sets

- Computer ScienceAAAI
- 2017

Several different algorithms to compute semi-stable and semi-equilibrium models are proposed and implemented into an answer set solving framework and an empirical performance comparison among the new algorithms on benchmarks from ASP competitions is given.

## References

SHOWING 1-10 OF 70 REFERENCES

### An introduction to fuzzy answer set programming

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2007

The presented framework turns out to be a proper extension of classical answer set programming, as it is shown that there are only minor restrictions one has to demand on the fuzzy operations used, in order to be able to retrieve the classical semantics using FASP.

### Possibilistic Answer Set Programming Revisited

- Computer ScienceUAI
- 2010

This work introduces a characterization of answer sets of classical ASP programs in terms of possibilistic logic where an ASP program specifies a set of constraints on possibility distributions, and naturally generalized to defineanswer sets of PASP programs.

### The Well-Founded Semantics in Normal Logic Programs with Uncertainty

- Computer ScienceFLOPS
- 2002

The focus in this paper is to introduce nonmonotonic negation in the parametric IB framework, a unifying umbrella for IB frameworks, based on the well-founded semantics, one of the most widely studied and used semantics of (classical) logic programs with negation.

### A Fuzzy Description Logic with Product T-norm

- Computer Science2007 IEEE International Fuzzy Systems Conference
- 2007

This work proposes a novel semantics combining the common product t-norm with the standard negation, and shows some interesting properties of the logic and proposes a reasoning algorithm based on a mixture of tableaux rules and the reduction to mixed integer quadratically constrained programming.

### Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description

- Computer ScienceUNCL@ICALP
- 2002

### Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

- Computer ScienceICLP
- 2008

We show how a fuzzy answer set program can be compiled to an equivalent fuzzy propositional theory whose models correspond to the answer sets of the program. This creates a basis for constructing…

### Possibilistic uncertainty handling for answer set programming

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2006

This work uses possibility theory to extend the non monotonic semantics of stable models for logic programs with default negation by means of a possibility distribution, and defines a clear semantics of such programs by introducing what is a possibilistic stable model.

### Many-valued logic and mixed integer programming

- Computer ScienceAnnals of Mathematics and Artificial Intelligence
- 2005

This work generalizes prepositional semantic tableaux for classical and many-valued logics to constraint tableaux, a relatively efficient satisfiability checking procedure for classical, finitely-valued and for a wide range of infinitely-valued propositional logics.

### Possibilistic Stable Models

- Computer ScienceIJCAI
- 2005

This work defines a new framework to use notions from possibility theory to extend the stable model semantics by taking into account a certainty level, expressed in terms of necessity measure, on each rule of a normal logic program.