Advanced search
1 file | 218.81 KB

A finite-valued solver for disjunctive fuzzy answer set programs

Mushthofa Mushthofa (UGent) , Steven Schockaert (UGent) and Martine De Cock (UGent)
Author
Organization
Project
Bioinformatics: from nucleotids to networks (N2N)
Abstract
Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm which extends the flexibility and expressiveness of classical Answer Set Programming (ASP), with the aim of modeling continuous application domains. In contrast to the availability of efficient ASP solvers, there have been few attempts at implementing FASP solvers. In this paper, we propose an implementation of FASP based on a reduction to classical ASP. We also develop a prototype implementation of this method. To the best of our knowledge, this is the first solver for disjunctive FASP programs. Moreover, we experimentally show that our solver performs well in comparison to an existing solver (under reasonable assumptions) for the more restrictive class of normal FASP programs.
Keywords
logic programming, LOGIC, answer set programming, many-valued and fuzzy logic, SATISFIABILITY

Downloads

  • ECAI2014 final.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 218.81 KB

Citation

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

Chicago
Mushthofa, Mushthofa, Steven Schockaert, and Martine De Cock. 2014. “A Finite-valued Solver for Disjunctive Fuzzy Answer Set Programs.” In Frontiers in Artificial Intelligence and Applications, ed. Torsten Schaub, Gerhard Friedrich, and Barry O’Sullivan, 263:645–650. Amsterdam, The Netherlands: IOS Press.
APA
Mushthofa, M., Schockaert, S., & De Cock, M. (2014). A finite-valued solver for disjunctive fuzzy answer set programs. In T. Schaub, G. Friedrich, & B. O’Sullivan (Eds.), Frontiers in Artificial Intelligence and Applications (Vol. 263, pp. 645–650). Presented at the 21st European conference on Artificial Intelligence (ECAI 2014), Amsterdam, The Netherlands: IOS Press.
Vancouver
1.
Mushthofa M, Schockaert S, De Cock M. A finite-valued solver for disjunctive fuzzy answer set programs. In: Schaub T, Friedrich G, O’Sullivan B, editors. Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press; 2014. p. 645–50.
MLA
Mushthofa, Mushthofa, Steven Schockaert, and Martine De Cock. “A Finite-valued Solver for Disjunctive Fuzzy Answer Set Programs.” Frontiers in Artificial Intelligence and Applications. Ed. Torsten Schaub, Gerhard Friedrich, & Barry O’Sullivan. Vol. 263. Amsterdam, The Netherlands: IOS Press, 2014. 645–650. Print.
@inproceedings{5696871,
  abstract     = {Fuzzy Answer Set Programming (FASP) is a declarative programming paradigm which extends the flexibility and expressiveness of classical Answer Set Programming (ASP), with the aim of modeling continuous application domains. In contrast to the availability of efficient ASP solvers, there have been few attempts at implementing FASP solvers. In this paper, we propose an implementation of FASP based on a reduction to classical ASP. We also develop a prototype implementation of this method. To the best of our knowledge, this is the first solver for disjunctive FASP programs. Moreover, we experimentally show that our solver performs well in comparison to an existing solver (under reasonable assumptions) for the more restrictive class of normal FASP programs.},
  author       = {Mushthofa, Mushthofa and Schockaert, Steven and De Cock, Martine},
  booktitle    = {Frontiers in Artificial Intelligence and Applications},
  editor       = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry},
  isbn         = {9781614994183},
  issn         = {0922-6389},
  keyword      = {logic programming,LOGIC,answer set programming,many-valued and fuzzy logic,SATISFIABILITY},
  language     = {eng},
  location     = {Prague, Czech Republic},
  pages        = {645--650},
  publisher    = {IOS Press},
  title        = {A finite-valued solver for disjunctive fuzzy answer set programs},
  url          = {http://dx.doi.org/10.3233/978-1-61499-419-0-645},
  volume       = {263},
  year         = {2014},
}

Altmetric
View in Altmetric
Web of Science
Times cited: