Answer Sets and Qualitative Optimization |
| |
Authors: | Brewka Gerhard |
| |
Institution: | University of Leipzig, Dept. of Computer Science, Augustusplatz 1011, 04109 Leipzig, Germany. |
| |
Abstract: | One of the major reasons for the success of answer set programmingin recent years was the shift from a theorem proving to a constraintprogramming view: problems are represented such that stablemodels, respectively answer sets, rather than theorems correspondto solutions. This shift in perspective proved extremely fruitfulin many areas. We believe that going one step further from a"hard" to a "soft" constraint programming paradigm, or, in otherwords, to a paradigm of qualitative optimization, will proveequally fruitful. In this paper we try to support this claimby showing that several generic problems in logic based problemsolving can be understood as qualitative optimization problems,and that these problems have simple and elegant formulationsgiven adequate optimization constructs in the knowledge representationlanguage. |
| |
Keywords: | Answer set programming preferences qualitative optimization |
本文献已被 Oxford 等数据库收录! |
|