Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock · 2008
Abstract. 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 fuzzy answer set solvers, such as solvers based on fuzzy SAT-solvers or on linear programming. Keywords: answer set programming, fuzzy logic, Clark’s completion, fuzzy ASSAT. 1