Prioritized component systems
Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński · 2005
We introduce a flexible framework to specify problem so-lutions (outcomes) and preferences among them. The pro-posal combines ideas from answer-set programming (ASP), answer-set optimization (ASO) and CP-nets. The problem domain is structured into components. ASP techniques are used to specify values of components, as well as global (inter-component) constraints among these values. ASO methods are used to describe preferences among the values of a com-ponent and CP-net techniques to represent inter-component dependencies and corresponding preferences.