AGOTADO EN ESTE MOMENTO

Atlantis Computational Intelligence Systems Ser.: Answer Set Programming for Continuous Domains : A Fuzzy Logic Approach by Steven Schockaert, Jeroen Janssen, Dirk Vermeir and M. De Cock (2012, Hardcover)

Acerca de este artículo

Product Information

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 thatcan take advantage of existing fuzzy reasoners.

Product Identifiers

Publisher
Atlantis Press (Zeger Karssen)
ISBN-10
9491216589
ISBN-13
9789491216589
eBay Product ID (ePID)
114260478

Product Key Features

Author
Jeroen Janssen, Steven Schockaert, M. De Cock, Dirk Vermeir
Publication Name
Answer Set Programming for Continuous Domains : a Fuzzy Logic Approach
Format
Hardcover
Language
English
Publication Year
2012
Series
Atlantis Computational Intelligence Systems Ser.
Type
Textbook
Number of Pages
X, 174 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
16 Oz

Additional Product Features

Series Volume Number
5
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Introduction.- Preliminaries.- Fuzzy Answer Set Programming.- Aggregated Fuzzy Answer Set Programming.- Core Fuzzy Answer Set Programming.- Reducing FASP to Fuzzy SAT.- Conclusions.
Copyright Date
2012
Topic
Computer Simulation, Computer Science, Logic, Logic Design
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers, Mathematics

Comprar por categoría

Atlantis Computational Intelligence Systems Ser.: Answer Set Programming for Continuous Domains : A Fuzzy Logic Approach by Steven Schockaert, Jeroen Janssen, Dirk Vermeir and M. De Cock (2012, Hardcover)

También te pueden interesar

Libros prácticos y de consulta, lógicos

Libros prácticos y de consulta de set

Libros de literatura y narrativa de set

Libros, revistas y cómics de set

Libros, revistas y cómics de set en español

Otros artículos de merchandising y memorabilia de cómics y manga set

Acerca de este artículo

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features