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
- 著者名:
- シリーズ名:
- 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)
類似資料:
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
2
電子ブック
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer | |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer Netherlands |
Springer Berlin Heidelberg : Imprint: Springer |