Reducing fuzzy answer set programming to model finding in fuzzy logics

  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},
  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… 

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

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

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

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

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

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

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

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

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

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.



An introduction to fuzzy answer set programming

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

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

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

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.

Annotated fuzzy logic programs

  • T. Cao
  • Computer Science
    Fuzzy Sets Syst.
  • 2000

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

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

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

  • Reiner Hähnle
  • Computer Science
    Annals 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

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.