Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach eBook
$39.99
Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems.
Digital edition, delivered to your inbox within 24 hours of payment. No shipping, no delivery charge.
About this eTextbook
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.
Publication details
- Author: Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock
- Publisher: Atlantis Press
- eText ISBN: 9789491216596, 9491216597
- Print ISBN: 9789491216589, 9491216589
What you receive
- A licensed digital edition of this title, supplied as PDF or EPUB. The format is set by the publisher, so email us the ISBN before ordering and we will confirm which one it is.
- Delivered to the email address on your order as a secure download link, usually within minutes and always within 24 hours of payment.
- Download links do not expire and there is no cap on re-downloads. Readable on any computer, tablet or phone, online or offline.
- This is a digital edition. Nothing is printed, packed or posted, and there is no delivery charge.
Delivery
Free on every order. This is a digital edition. Nothing is printed, packed or posted, so there is no delivery charge, no minimum order and no handling fee. The only thing added at checkout is 5% sales tax, shown on its own line before you confirm.
- Sent to the email address on your order, as a secure download link.
- Usually within a few minutes of payment clearing.
- Guaranteed within 24 hours, including weekends and holidays.
- Links do not expire and there is no cap on re-downloads.
- Delivered worldwide. No customs charge or import duty can arise.
Format. Titles are supplied as PDF or EPUB, set by the publisher. If the format matters to you, email us the eText ISBN before ordering and we will confirm which it is, normally the same business day.
Nothing arrived? Check your spam and promotions folders first. If it is not there 24 hours after payment, email us your order number and we will resend it. Full detail on the Delivery Policy.
Refunds
A digital file cannot be posted back, so there is no return process. There are situations that are refundable and situations that are not, and both are stated plainly.
Refunded in full, within 30 days of the order:
- The file is corrupt, truncated, or will not open in a reader that supports its format.
- Content is missing from the edition you were sold.
- The wrong title was delivered.
- The edition, eText ISBN, author or format does not match this page.
- You were charged twice for the same title.
- Nothing was delivered and we cannot reissue it.
Not downloaded yet? Cancel within 14 days for a full refund, no reason needed.
Not refundable: a title you downloaded and then decided you did not want, a file that does not suit your device where we did not say it would, buying the wrong edition when this page stated it correctly, and publisher printing or copy limits.
Approved refunds are issued within 2 to 5 business days to the card that paid. Full detail on the Returns & Refund Policy.
Payment
Checkout runs on Stripe. We accept Visa, Mastercard, American Express, Discover and JCB, credit or debit. That list is complete. No account is needed; guest checkout is available on every order.
What you are charged: the price on this page, plus 5% sales tax. Delivery is $0.00. There is no handling fee, no processing fee and no card surcharge. The order summary shows the full total before you confirm, and that figure is what leaves your account.
Nothing recurring. One charge per order. No subscription, no membership, no trial that converts, no saved-card auto-billing.
Security. Card numbers never reach us. Payment details are entered into fields hosted by Stripe, a PCI DSS Level 1 provider. We can see only the card brand, the last four digits and whether the payment succeeded. The whole site runs over HTTPS.
Prices are in US dollars. A card issued outside the United States is converted by your own bank at its own rate. Full detail on the Payment Policy.
About this eTextbook
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.
Publication details
- Author: Jeroen Janssen; Steven Schockaert; Dirk Vermeir; Martine De Cock
- Publisher: Atlantis Press
- eText ISBN: 9789491216596, 9491216597
- Print ISBN: 9789491216589, 9491216589
What you receive
- A licensed digital edition of this title, supplied as PDF or EPUB. The format is set by the publisher, so email us the ISBN before ordering and we will confirm which one it is.
- Delivered to the email address on your order as a secure download link, usually within minutes and always within 24 hours of payment.
- Download links do not expire and there is no cap on re-downloads. Readable on any computer, tablet or phone, online or offline.
- This is a digital edition. Nothing is printed, packed or posted, and there is no delivery charge.
Related products
Featured Titles
Featured Titles
Gynecologic Oncology: Clinical Practice and Surgical Atlas eBook
Featured Titles
Featured Titles
Featured Titles