Zhizheng Zhang, Hancheng Xing
Decision making with varying kinds of preferences simultaneously is pervasive in realities. In such sights it is essential to know the interaction among the kinds of preferences and the general principles of reasoning with the kinds of preferences. In this paper, we introduce MKPL: a many-kinds-preferences logic, to formalize four kinds of preference. Firstly, we consider four kinds of preferences four interpretations on sets of ordered alternatives. Secondly, we study such properties as reflexive, symmetric, transitive of every kind of preference on partial ordered alternatives, and study the transform of preference kinds considering the changes of subsets of alternatives. Then, we develop MKPL by extending proposition logic with four preference connectives. Moreover, we propose a decision procedure of MKPL.
Subjects: 11. Knowledge Representation; 3.5 Qualitative Reasoning
Submitted: May 11, 2007