Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach. 1st ed. 2012

種類:

電子ブック

責任表示:

by Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock

出版情報:

Paris : Atlantis Press : Imprint: Atlantis Press, 2012

著者名:

• Janssen, Jeroen.
• Schockaert, Steven.
• Vermeir, Dirk.
• De Cock, Martine.
• SpringerLink (Online service)

シリーズ名:

Atlantis Computational Intelligence Systems ; 5

ISBN:

9789491216596 [9491216597]    

注記:

Introduction -- Preliminaries -- Fuzzy Answer Set Programming -- Aggregated Fuzzy Answer Set Programming -- Core Fuzzy Answer Set Programming -- Reducing FASP to Fuzzy SAT -- Conclusions.
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 shou

ローカル注記:

学内専用E-BOOKS (local access only)