Answer Set Optimization

We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating program produces answer sets representing possible solutions. The preference program expresses user preferences. It induces a preference relation on the answer sets of based on the degree to which rules are satisfied. We discuss possible applications of ASO programming, give complexity results and propose implementation techniques. We also analyze the relationship between A SO programs and CP-networks.

Authors

• Gerhard Brewka
• Ilkka Niemela
• Miroslaw Truszczynski

Keywords

No keywords are indexed for this paper.