TY - JOUR
AU - Maly, Jan
PY - 2020/04/03
Y2 - 2021/04/11
TI - Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of Sets
JF - Proceedings of the AAAI Conference on Artificial Intelligence
JA - AAAI
VL - 34
IS - 02
SE - AAAI Technical Track: Game Theory and Economic Paradigms
DO - 10.1609/aaai.v34i02.5590
UR - https://ojs.aaai.org/index.php/AAAI/article/view/5590
SP - 2152-2159
AB - <p>The problem of lifting a preference order on a set of objects to a preference order on a family of <em>subsets</em> of this set is a fundamental problem with a wide variety of applications in AI. The process is often guided by axioms postulating properties the lifted order should have. Well-known impossibility results by Kannai and Peleg and by Barberà and Pattanaik tell us that some desirable axioms – namely dominance and (strict) independence – are not jointly satisfiable for any linear order on the objects if <em>all</em> non-empty sets of objects are to be ordered. On the other hand, if <em>not all</em> non-empty sets of objects are to be ordered, the axioms are jointly satisfiable for all linear orders on the objects for some families of sets. Such families are very important for applications as they allow for the use of lifted orders, for example, in combinatorial voting. In this paper, we determine the computational complexity of recognizing such families. We show that it is Π<sub>2</sub><sup><em>p</em></sup>-complete to decide for a given family of subsets whether dominance and independence or dominance and strict independence are jointly satisfiable <em>for all</em> linear orders on the objects if the lifted order needs to be total. Furthermore, we show that the problem remains coNP-complete if the lifted order can be incomplete. Additionally, we show that the complexity of these problem can increase exponentially if the family of sets is not given explicitly but via a succinct domain restriction.</p>
ER -