Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Author :
Publisher : Springer Science & Business Media
Total Pages : 180
Release :
ISBN-10 : 9789491216596
ISBN-13 : 9491216597
Rating : 4/5 (96 Downloads)

Book Synopsis Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach by : Jeroen Janssen

Download or read book Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach written by Jeroen Janssen and published by Springer Science & Business Media. This book was released on 2012-04-26 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach Related Books

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
Language: en
Pages: 180
Authors: Jeroen Janssen
Categories: Computers
Type: BOOK - Published: 2012-04-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Answer set programming (ASP) is a declarative language tailored towards solving combinatorial optimization problems. It has been successfully applied to e.g. pl
Computational Intelligence
Language: en
Pages: 355
Authors: Christophe Sabourin
Categories: Technology & Engineering
Type: BOOK - Published: 2019-05-29 - Publisher: Springer

DOWNLOAD EBOOK

This book presents revised and extended versions of the best papers presented at the 9th International Joint Conference on Computational Intelligence (IJCCI 201
A Guided Tour of Artificial Intelligence Research
Language: en
Pages: 529
Authors: Pierre Marquis
Categories: Computers
Type: BOOK - Published: 2020-05-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as o
Enterprise Interoperability IX
Language: en
Pages: 303
Authors: Bernard Archimède
Categories: Technology & Engineering
Type: BOOK - Published: 2023-02-18 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book gathers the proceedings of the I-ESA’20 Conference, which was organised by the National Engineering School of Tarbes (ENIT), on behalf of the Europe
Computational Intelligence Systems in Industrial Engineering
Language: en
Pages: 683
Authors: Cengiz Kahraman
Categories: Technology & Engineering
Type: BOOK - Published: 2012-11-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Industrial engineering is a branch of engineering dealing with the optimization of complex processes or systems. It is concerned with the development, improveme