Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?

Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?

Jan Maly, Miroslaw Truszczynski, Stefan Woltran

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
Main track. Pages 433-439. https://doi.org/10.24963/ijcai.2018/60

Lifting a preference order on elements of some universe to a preference order on subsets of this universe is often guided by postulated properties the lifted order should have. Well-known impossibility results pose severe limits on when such liftings exist if all non-empty subsets of the universe are to be ordered. The extent to which these negative results carry over to other families of sets is not known. In this paper, we consider families of sets that induce connected subgraphs in graphs. For such families, common in applications, we study whether lifted orders satisfying the well-studied axioms of dominance and (strict) independence exist for every or, in another setting, only for some underlying order on elements (strong and weak orderability). We characterize families that are strongly and weakly orderable under dominance and strict independence, and obtain a tight bound on the class of families that are strongly orderable under dominance and independence.
Keywords:
Knowledge Representation and Reasoning: Preference Modelling and Preference-Based Reasoning
Agent-based and Multi-agent Systems: Computational Social Choice