Answer set optimization

Gerhard Brewka; Ilkka Niemela; Miroslaw Truszczynski

Answer set optimization

Gerhard Brewka, Ilkka Niemela, Miroslaw Truszczynski

Computer Science

Research output: Contribution to journal › Conference article › peer-review

134 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 P_yen produces answer sets representing possible solutions. The preference program P_pref expresses user preferences. It induces a preference relation on the answer sets of P_yen 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 language	English
Pages (from-to)	867-872
Number of pages	6
Journal	IJCAI International Joint Conference on Artificial Intelligence
State	Published - 2003
Event	18th International Joint Conference on Artificial Intelligence, IJCAI 2003 - Acapulco, Mexico Duration: Aug 9 2003 → Aug 15 2003

ASJC Scopus subject areas

Artificial Intelligence

Cite this

@article{54aa051ded7d4df8984472ca13f02af5,

title = "Answer set optimization",

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.",

author = "Gerhard Brewka and Ilkka Niemela and Miroslaw Truszczynski",

year = "2003",

language = "English",

pages = "867--872",

note = "18th International Joint Conference on Artificial Intelligence, IJCAI 2003 ; Conference date: 09-08-2003 Through 15-08-2003",

}

TY - JOUR

T1 - Answer set optimization

AU - Brewka, Gerhard

AU - Niemela, Ilkka

AU - Truszczynski, Miroslaw

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84880801065&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84880801065&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84880801065

SN - 1045-0823

SP - 867

EP - 872

JO - IJCAI International Joint Conference on Artificial Intelligence

JF - IJCAI International Joint Conference on Artificial Intelligence

T2 - 18th International Joint Conference on Artificial Intelligence, IJCAI 2003

Y2 - 9 August 2003 through 15 August 2003

ER -

Answer set optimization

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this