Atlantis Computational Intelligence Systems

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Authors: Janssen, J., Schockaert, S., Vermeir, D., De Cock, M.

  • Contains an extensive survey on the current state-of-the-art w.r.t. the combination of answer set programming with continuous logics Shows how answer set programming can be used for solving continuous domains with real-world examples Contains a chapter detailing an implementation method for fuzzy answer set programming Contains a chapter detailing the front-end design of a fuzzy answer set solver

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-94-91216-59-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.00
price for USA
  • ISBN 978-94-91216-58-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $149.00
price for USA
  • ISBN 978-94-6239-041-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. planning problems, configuration and verification of software, diagnosis and database repairs. However, ASP is not directly suitable for modeling problems with continuous domains. Such problems occur naturally in diverse fields such as the design of gas and electricity networks, computer vision and investment portfolios. To overcome this problem we study FASP, a combination of ASP with fuzzy logic -- a class of manyvalued logics that can handle continuity. We specifically focus on the following issues: 1. An important question when modeling continuous optimization problems is how we should handle overconstrained problems, i.e. problems that have no solutions. In many cases we can opt to accept an imperfect solution, i.e. a solution that does not satisfy all the stated rules (constraints). However, this leads to the question: what imperfect solutions should we choose? We investigate this question and improve upon the state-of-the-art by proposing an approach based on aggregation functions. 2. Users of a programming language often want a rich language that is easy to model in. However, implementers and theoreticians prefer a small language that is easy to implement and reason about. We create a bridge between these two desires by proposing a small core language for FASP and by showing that this language is capable of expressing many of its common extensions such as constraints, monotonically decreasing functions, aggregators, S-implicators and classical negation. 3. A well-known technique for solving ASP consists of translating a program P to a propositional theory whose models exactly correspond to the answer sets of P. We show how this technique can be generalized to FASP, paving the way to implement efficient fuzzy answer set solvers that can take advantage of existing fuzzy reasoners.

Table of contents (7 chapters)

  • Introduction

    Janssen, Jeroen (et al.)

    Pages 1-10

  • Preliminaries

    Janssen, Jeroen (et al.)

    Pages 11-34

  • Fuzzy Answer Set Programming

    Janssen, Jeroen (et al.)

    Pages 35-48

  • Aggregated Fuzzy Answer Set Programming

    Janssen, Jeroen (et al.)

    Pages 49-95

  • Core Fuzzy Answer Set Programming

    Janssen, Jeroen (et al.)

    Pages 97-131

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-94-91216-59-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $149.00
price for USA
  • ISBN 978-94-91216-58-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $149.00
price for USA
  • ISBN 978-94-6239-041-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Authors
Series Title
Atlantis Computational Intelligence Systems
Series Volume
5
Copyright
2012
Publisher
Atlantis Press
Copyright Holder
Atlantis Press
eBook ISBN
978-94-91216-59-6
DOI
10.2991/978-94-91216-59-6
Hardcover ISBN
978-94-91216-58-9
Softcover ISBN
978-94-6239-041-6
Series ISSN
1875-7650
Edition Number
1
Number of Pages
X, 174
Topics