Answer Sets and Qualitative Decision Making

Synthese 146 (1-2):171-187 (2005)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,141

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Safe beliefs for propositional theories.Mauricio Osorio, Juan Pérez & José Arrazola - 2005 - Annals of Pure and Applied Logic 134 (1):63-82.
Preferred answer sets for extended logic programs.Gerhard Brewka & Thomas Eiter - 1999 - Artificial Intelligence 109 (1-2):297-356.
Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Answer Sets and Qualitative Optimization.Gerhard Brewka - 2006 - Logic Journal of the IGPL 14 (3):413-433.
Disjunctive logic programs, answer sets, and the cut rule.Éric Martin - 2022 - Archive for Mathematical Logic 61 (7):903-937.

Analytics

Added to PP
2009-01-28

Downloads
36 (#503,521)

6 months
15 (#175,955)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Preferences in AI: An overview.Carmel Domshlak, Eyke Hüllermeier, Souhila Kaci & Henri Prade - 2011 - Artificial Intelligence 175 (7-8):1037-1052.
The local geometry of multiattribute tradeoff preferences.Michael McGeachie & Jon Doyle - 2011 - Artificial Intelligence 175 (7-8):1122-1152.

Add more citations

References found in this work

The Foundations of Statistics.Leonard Savage - 1954 - Wiley Publications in Statistics.
The Foundations of Statistics.Leonard J. Savage - 1954 - Synthese 11 (1):86-89.
The Foundations of Statistics.Leonard J. Savage - 1956 - Philosophy of Science 23 (2):166-166.
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.

View all 7 references / Add more references