Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

Authors:
Jeroen Janssen;Stijn Heymans;Dirk Vermeir;Martine Cock
Affiliations:
Dept. of Computer Science, Vrije Universiteit Brussel,;Dept. of Applied Mathematics and Computer Science, Universiteit Gent,;Dept. of Computer Science, Vrije Universiteit Brussel,;Dept. of Applied Mathematics and Computer Science, Universiteit Gent,
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 9
Cited 3

The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Theory of generalized annotated logic programming and its applications

Journal of Logic Programming
Mixed integer programming methods for computing nonmonotonic deductive databases

Journal of the ACM (JACM)
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Reasoning and Experimenting within Zadeh''s Fuzzy Propositional Logic

Reasoning and Experimenting within Zadeh''s Fuzzy Propositional Logic
ASSAT: computing answer sets of a logic program by SAT solvers

Artificial Intelligence - Special issue on nonmonotonic reasoning
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
An introduction to fuzzy answer set programming

Annals of Mathematics and Artificial Intelligence
Tightly integrated fuzzy description logic programs under the answer set semantics for the semantic web

RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems

Aggregated Fuzzy Answer Set Programming

Annals of Mathematics and Artificial Intelligence
A core language for fuzzy answer set programming

International Journal of Approximate Reasoning
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

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.