David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 146 (1-2):171 - 187 (2005)
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||Philosophy Philosophy Epistemology Logic Metaphysics Philosophy of Language|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Leonard J. Savage (1954). The Foundations of Statistics. Wiley Publications in Statistics.
Citations of this work BETA
No citations found.
Similar books and articles
E. 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).
Added to index2009-01-28
Total downloads5 ( #359,112 of 1,724,852 )
Recent downloads (6 months)2 ( #268,597 of 1,724,852 )
How can I increase my downloads?