A rank based description language for qualitative preferences

In this paper we develop a language for representing complex qualitative preferences among problem solutions. We use ranked knowledge bases to represent prioritized goals. A basic preference description, that is a ranked knowledge base together with a preference strategy, defines a preference relation on models which represent problem solutions. Our language allows us to express nested combinations of preference descriptions using various connectives. This gives the user the possibility to represent her preferences in a natural, concise and flexible manner.

[1]  Gerhard Brewka,et al.  Complex Preferences for Answer Set Optimization , 2004, KR.

[2]  K. Arrow.  A Difficulty in the Concept of Social Welfare , 1950, Journal of Political Economy.

[3]  Moisés Goldszmidt,et al.  System-Z+: A Formalism for Reasoning with Variable-Strength Defaults , 1991, AAAI.

[4]  Didier Dubois,et al.  Representing Default Rules in Possibilistic Logic , 1992, KR.

[5]  Eugene C. Freuder,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[6]  Pierre-Yves Schobbens,et al.  Operators and Laws for Combining Preference Relations , 2002, J. Log. Comput..

[7]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[8]  Thomas Schiex,et al.  Selecting preferred solutions in Fuzzy Constraint Satisfaction Problems , 1993 .

[9]  Francesca Rossi,et al.  Semiring-based constraint satisfaction and optimization , 1997, JACM.

[10]  Ronen I. Brafman,et al.  Reasoning With Conditional Ceteris Paribus Preference Statements , 1999, UAI.

[11]  Didier Dubois,et al.  Bipolar Representation and Fusion of Preferences on the Possibilistic Logic framework , 2002, KR.

[12]  Jérôme Lang,et al.  Logical Preference Representation and Combinatorial Vote , 2004, Annals of Mathematics and Artificial Intelligence.

[13]  Enrico Pontelli,et al.  Planning with Preferences Using Logic Programming , 2004, LPNMR.

[14]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[15]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[16]  Gerhard Brewka,et al.  Preferred Subtheories: An Extended Logical Framework for Default Reasoning , 1989, IJCAI.