Answer sets and qualitative decision making
Synthese 146 (1-2):171 - 187 (2005)
| Abstract | Logic programs under answer set semantics have become popular as a knowledge representation formalism in Artificial Intelligence. In this paper we investigate the possibility of using answer sets for qualitative decision making. Our approach is based on an extension of the formalism, called logic programs with ordered disjunction (LPODs). These programs contain a new connective called ordered disjunction. The new connective allows us to represent alternative, ranked options for problem solutions in the heads of rules: A × B intuitively means: 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 that LPODs can serve as a basis for qualitative decision making. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesE. Goldberg & K. Podell (1999). Adaptive Versus Veridical Decision Making and the Frontal Lobes. Consciousness and Cognition 8 (3):364-377.
Annie Pullen-Sansfaçon (2011). Ethics and Conduct in Self-Directed Groupwork: Some Lessons for the Development of a More Ethical Social Work Practice. Ethics and Social Welfare 5 (4):361-379.
Richard A. Wright (1991). Clinical Judgment and Bioethics: The Decision Making Link. Journal of Medicine and Philosophy 16 (1):71-91.
Igor Douven (2002). Decision Theory and the Rationality of Further Deliberation. Economics and Philosophy 18 (2):303-328.
F. Ben Abdelaziz, P. Lang & R. Nadeau (1999). Dominance and Efficiency in Multicriteria Decision Under Uncertainty. Theory and Decision 47 (3):191-211.
Uwe Egly, Sarah Alice Gaggl & Stefan Woltran (2011). Answer-Set Programming Encodings for Argumentation Frameworks. Argument and Computation 1 (2):147-177.
Phan H. Giang & Prakash P. Shenoy (2000). A Qualitative Linear Utility Theory for Spohn's Theory of Epistemic Beliefs. In C. Boutilier & M. Goldszmidt (eds.), Uncertainty in Artificial Intelligence 16. Morgan Kaufmann.
Leendert W. N. Torre & Yao-Hua Tan (1999). Diagnosis and Decision Making in Normative Reasoning. Artificial Intelligence and Law 7 (1).
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
