Advanced search
1 file | 224.01 KB

Compiling fuzzy answer set programs to fuzzy propositional theories

Author
Organization
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, Clark's completion, fuzzy logic, fuzzy ASSAT, LOGIC PROGRAMS, SEMANTICS

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 224.01 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Janssen, Jeroen, Stijn Heymans, Dirk Vermeir, and Martine De Cock. 2008. “Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.” In Lecture Notes in Computer Science, ed. MG de la Banda and E Pontelli, 5366:362–376.
APA
Janssen, Jeroen, Heymans, S., Vermeir, D., & De Cock, M. (2008). Compiling fuzzy answer set programs to fuzzy propositional theories. In M. de la Banda & E. Pontelli (Eds.), LECTURE NOTES IN COMPUTER SCIENCE (Vol. 5366, pp. 362–376). Presented at the 24th International Conference on Logic Programming (ICLP).
Vancouver
1.
Janssen J, Heymans S, Vermeir D, De Cock M. Compiling fuzzy answer set programs to fuzzy propositional theories. In: de la Banda M, Pontelli E, editors. LECTURE NOTES IN COMPUTER SCIENCE. 2008. p. 362–76.
MLA
Janssen, Jeroen, Stijn Heymans, Dirk Vermeir, et al. “Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.” Lecture Notes in Computer Science. Ed. MG de la Banda & E Pontelli. Vol. 5366. 2008. 362–376. Print.
@inproceedings{714496,
  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.},
  author       = {Janssen, Jeroen and Heymans, Stijn and Vermeir, Dirk and De Cock, Martine},
  booktitle    = {LECTURE NOTES IN COMPUTER SCIENCE},
  editor       = {de la Banda, MG and Pontelli, E},
  isbn         = {978-3-540-89981-5},
  issn         = {0302-9743},
  keyword      = {answer set programming,Clark's completion,fuzzy logic,fuzzy ASSAT,LOGIC PROGRAMS,SEMANTICS},
  language     = {eng},
  location     = {Udine, Italy},
  pages        = {362--376},
  title        = {Compiling fuzzy answer set programs to fuzzy propositional theories},
  volume       = {5366},
  year         = {2008},
}

Web of Science
Times cited: