Answer set optimization

Gerhard Brewka, Ilkka Niemela, Miroslaw Truszczynski

Research output: Contribution to journalConference articlepeer-review

131 Scopus citations

Abstract

We investigate the combination of answer set programming and qualitative optimization techniques. Answer set optimization programs (ASO programs) have two parts. The generating program Pyen produces answer sets representing possible solutions. The preference program Ppref expresses user preferences. It induces a preference relation on the answer sets of Pyen 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.

Original languageEnglish
Pages (from-to)867-872
Number of pages6
JournalIJCAI International Joint Conference on Artificial Intelligence
StatePublished - 2003
Event18th International Joint Conference on Artificial Intelligence, IJCAI 2003 - Acapulco, Mexico
Duration: Aug 9 2003Aug 15 2003

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Answer set optimization'. Together they form a unique fingerprint.

Cite this