Advanced search
1 file | 1.32 MB

Answer set programming for continuous domains: a fuzzy logic approach

Author
Organization
Abstract
Answer set programming (ASP) is a form of logic programming that originated at the end of the 1980s and the beginning of the 1990s. It is especially tailored towards solving hard search problems, which it allows to encode concisely. In the past two decades it has known great success and has – among others – been applied to planning problems, musical composition, biological modeling and decision support systems for the space shuttle. Unfortunately, ASP is not very well equipped for modeling problems in continuous domains. In this book we attempt to augment ASP with the capability of expressing continuous problems by creating an answer set programming framework based on fuzzy logic. The resulting language is called fuzzy answer set programming (FASP). After two introductory chapters, also introducing the necessary technical background, we study FASP and its extensions in Chapters 3 and 4. Then we focus on the question of whether the many extensions of FASP can be compiled to a core language in Chapter 5 and succeedingly study an implementation method for a subset of FASP in Chapter 6. As such, we focus both on theoretical aspects of the language as on more practical aspects such as implementation.

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 1.32 MB

Citation

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

Chicago
Janssen, Jeroen, Steven Schockaert, Dirk Vermeir, and Martine De Cock. 2012. Answer Set Programming for Continuous Domains: a Fuzzy Logic Approach. Atlantis Computational Intelligence Systems. Vol. 5. Paris, France: Atlantis Press.
APA
Janssen, Jeroen, Schockaert, S., Vermeir, D., & De Cock, M. (2012). Answer set programming for continuous domains: a fuzzy logic approach. Atlantis Computational Intelligence Systems (Vol. 5). Paris, France: Atlantis Press.
Vancouver
1.
Janssen J, Schockaert S, Vermeir D, De Cock M. Answer set programming for continuous domains: a fuzzy logic approach. Atlantis Computational Intelligence Systems. Paris, France: Atlantis Press; 2012.
MLA
Janssen, Jeroen, Steven Schockaert, Dirk Vermeir, et al. Answer Set Programming for Continuous Domains: a Fuzzy Logic Approach. Vol. 5. Paris, France: Atlantis Press, 2012. Print.
@book{3203603,
  abstract     = {Answer set programming (ASP) is a form of logic programming that originated at the end of the 1980s and the beginning of the 1990s. It is especially tailored towards solving hard search problems, which it allows to encode concisely. In the past two decades it has known great success and has -- among others -- been applied to planning problems, musical composition, biological modeling and decision support systems for the space shuttle. Unfortunately, ASP is not very well equipped for modeling problems in continuous domains. In this book we attempt to augment ASP with the capability of expressing continuous problems by creating an answer set programming framework based on fuzzy logic. The resulting language is called fuzzy answer set programming (FASP). After two introductory chapters, also introducing the necessary technical background, we study FASP and its extensions in Chapters 3 and 4. Then we focus on the question of whether the many extensions of FASP can be compiled to a core language in Chapter 5 and succeedingly study an implementation method for a subset of FASP in Chapter 6. As such, we focus both on theoretical aspects of the language as on more practical aspects such as implementation.},
  author       = {Janssen, Jeroen and Schockaert, Steven and Vermeir, Dirk and De Cock, Martine},
  isbn         = {9789491216596},
  issn         = {1875-7650},
  language     = {eng},
  pages        = {IX, 173},
  publisher    = {Atlantis Press},
  series       = {Atlantis Computational Intelligence Systems},
  title        = {Answer set programming for continuous domains: a fuzzy logic approach},
  url          = {http://dx.doi.org/10.2991/978-94-91216-59-6},
  volume       = {5},
  year         = {2012},
}

Altmetric
View in Altmetric