Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories [chapter]

Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
2008 Lecture Notes in Computer Science  
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.
doi:10.1007/978-3-540-89982-2_34 fatcat:2vqqo2pgjngx3nigx4f6wdjlne