2008 | OriginalPaper | Chapter
Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories
Authors : Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock
Published in: Logic Programming
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.