2004
DOI: 10.1111/j.0824-7935.2004.00241.x
|View full text |Cite
|
Sign up to set email alerts
|

Logic Programs with Ordered Disjunction

Abstract: Logic programs with ordered disjunction (LPODs) contain a new connective which allows representing alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means that if possible A, but if A is not possible, then at least B. The semantics of logic programs with ordered disjunction is based on a preference relation on answer sets. We show how LPODs can be implemented using answer set solvers for normal programs. The implementation is based on a generator, which produces candida… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
130
0

Year Published

2004
2004
2020
2020

Publication Types

Select...
6
2

Relationship

1
7

Authors

Journals

citations
Cited by 79 publications
(130 citation statements)
references
References 34 publications
0
130
0
Order By: Relevance
“…Besides the approaches to introducing preferences over rules and literals, Brewka [ 2002 ] in-9 Cf. [Geffner and Pearl,1992] for another approach to preferences on literals.…”
Section: Logic Programs With Preferencementioning
confidence: 99%
“…Besides the approaches to introducing preferences over rules and literals, Brewka [ 2002 ] in-9 Cf. [Geffner and Pearl,1992] for another approach to preferences on literals.…”
Section: Logic Programs With Preferencementioning
confidence: 99%
“…First systems that relied on the relaxation of constraints if no perfect matches could be found are presented in [16] and [5] for the area of cooperative retrieval. Theoretical properties of these relaxation techniques and operators for building complex preference expressions are in detail addressed in [4] and [12].…”
Section: Related Work On Preference Frameworkmentioning
confidence: 99%
“…#minimize statements or weak constraints [2,3]). On the other hand, such quantitative ways of optimization are often insufficient for applications and in stark contrast to the vast literature on qualitative and hybrid means of optimization [4][5][6][7][8]8].…”
Section: Introductionmentioning
confidence: 99%
“…In particular, we detail how answer set optimization [5], minimization directives [2], strict partially ordered set [8], and the non-temporal part of the preference language in [7] can be implemented with asprin. Moreover, we sketch how the implementations of ordered disjunctions [4] and penalty-based answer set optimization [6] are obtained. In fact, asprin's simple interface and easy methodology reduce the implementation of customized preferences to defining whether one model is preferred to another.…”
Section: Introductionmentioning
confidence: 99%