Abstract
In this work we consider preference relations that might not be total. Partial preferences may be helpful to represent those situations where, due to lack of information or vacillating desires, the decision maker would like to maintain different options “alive” and defer the final decision. In particular, we show that, when totality is relaxed, different axiomatizations of classical Decision Theory are no longer equivalent but form a hierarchy where some of them are more restrictive than others. We compare such axiomatizations with respect to theoretical aspects—such as their ability to propagate comparability/incomparability over lotteries and the induced topology—and to different preference elicitation methodologies that are applicable in concrete domains. We also provide a polynomial-time procedure based on the bipartite matching problem to determine whether one lottery is preferred to another.
Similar content being viewed by others
Notes
Together with Newell, he won the Turing Award in 1975 for his contributions on “artificial intelligence, the psychology of human cognition, and list processing” (http://amturing.acm.org/award_winners/simon_1031467.cfm).
In Greek mythology, Eteocles and Polynices, sons of Oedipus, contended for the city of Thebes and killed each other in battle.
A preorder is a reflexive and transitive relation, clearly Axiom 1 implies reflexivity.
To the best of our knowledge, such an extensive analysis of axioms’ interdependencies has not been shown elsewhere.
By “linearly closed” the authors means that the intersection of D with any line is a closed set. This in particular implies that D is closed.
We refer to [1] for a concrete application domain where a user/agent interface provides a set of statements \(\mathsf {S}\) over service-level agreements.
It is an open question whether Theorem 20 holds for \(\text {PDT}_{4/5}\).
Instantiating the relations \(=_c\) and \(<_c\) is not more complex than calculating the transitive closure of a relation, hence it can be done in \(O(\vert \mathcal {A} \vert ^3)\). Then, on the one hand, checking \(f\sim _c g\) means to verify that, for all equivalent classes \([a]]\) induced by \(=_c\), \(f([[a]])=g([[a]])\), which can be done in \(O(\vert \mathcal {A} \vert )\). On the other hand, checking \(f\prec _c g\) means to verify that \(f\twoheadrightarrow _c g\), by Theorem 6 this is essentially equivalent to a bipartite-matching problem that can be solved again in \(O(\vert \mathcal {A} \vert ^3)\) [47].
Here, \(\delta \) is interpreted as a constant function and hence \((Y + \delta )(\omega )=Y(\omega )+\delta \).
Note that this can happen even if the user’s statements are a total order of \(\mathcal {A} \). For example, consider the user’s statements \(a< b<c<d\). Two possible utilities are: \(u_1(a)=1\), \(u_1(b)=5\), \(u_1(c)=6\), \(u_1(d)=10\), and \(u_2(a)=1\), \(u_2(b)=4\), \(u_2(c)=5\), \(u_2(d)=10\). Then, given \(f=\frac{1}{2}[a]+\frac{1}{2}[d]\) and \(g=\frac{1}{2}[b]+\frac{1}{2}[c]\), it is immediate to see that \(f\cdot u_1< g\cdot u_1\) whereas \(f\cdot u_2> g\cdot u_2\).
References
Anisetti, M., Ardagna, C. A. Bonatti, P. A. Damiani, E., Faella, M., Galdi, C., & Sauro, L. (2014). E-auctions for multi-cloud service provisioning. In Proceedings of the IEEE international conference on services computing, SCC 2014, Anchorage, AK, USA. June 27–July 2, 2014.
Arrow, K. J. (1959). Rational Choice Functions and Orderings. Economica, 26(102), 21–27.
Aumann, R. J. (1962). Utility Theory without the completeness axiom. Econometrica, 30(3), 445–462.
Aydogan, R. & Yolum, P. (2010). Effective negotiation with partial preference information. In Proceedings of 9th international conference on autonomous agents and multiagent systems (AAMAS10), Toronto, Canada. May 10–14, 2010 (Vol. 1–3, pp. 1605–1606).
Aydogan, R., & Yolum, P. (2012). Learning opponent’s preferences for effective negotiation: An approach based on concept learning. Autonomous Agents and Multi-agent Systems, 24(1), 104–140.
Bonatti, P. A., Faella, M., Galdi, C. & Sauro, L. (2011). Towards a mechanism for incentivating privacy. In Proceedings of the 16th European symposium on research in computer security (ESORICS11), Leuven, Belgium. September 12–14, 2011.
Bonatti, P. A., Faella, M., Galdi, C. & Sauro, L. (2013). Auctions for partial heterogeneous preferences. In Proceedings of mathematical foundations of computer science 2013—38th international symposium (MFCS 2013), Klosterneuburg, Austria. August 26–30, 2013.
Bonatti, P. A., Faella, M., Galdi, C., & Sauro, L. (2016).Generalized Agent-mediated Procurement Auctions. In Proceedings of the international conference on autonomous agents and multi-agent systems (AAMAS16), Singapore. May 09–13, 2016.
Boutilier, C., Brafman, R. I., Domshlak, C., & Hoos, H. H. (2004). CP-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research, 21, 135–191.
Brafman, R. I., Domshlak, C., & Shimony, Solomon E. (2006). On graphical modeling of preference and importance. Journal of Artificial Intelligence Research, 25, 389–424.
Bridges, D. S. & Mehta, G. B. (1995). Representations of preferences orderings (1st edn). Series lecture notes in economics and mathematical systems (Vol. 422). Berlin: Springer.
Cornelio, C., Grandi, U., Goldsmith, J., Mattei, N., Rossi, F. & Venable, K. B. (2015). Reasoning with PCP-nets in a multi-agent context. In Proceedings of the 2015 international conference on autonomous agents and multiagent systems (AAMAS15), Istanbul, Turkey (pp. 969–977). May 4–8, 2015.
Drummond, J. & Boutilier, C. (2013). Elicitation and approximately stable matching with partial preferences. In Proceedings of the 23rd international joint conference on artificial intelligence (IJCAI13), Beijing, China. August 3–9, 2013.
Dubra, J. (2011). Continuity and completeness under risk. Mathematical Social Sciences, 61, 80–81.
Dubra, J., Maccheroni, F., & Ok, Efe A. (2004). Expected utility theory without the completeness axiom. Journal of Economic Theory, 115(1), 118–133.
Eliaz, K., & Ok, E. A. (2006). Indifference or indeciveness? Choice-theoretic foundation ofs of incomplete preferences. Games and Economic Behaviour, 56, 61–86.
Evren, O., & Ok, E. A. (2011). On the multi-utility representation of preference relations. Journal of Mathematical Economics, 47, 554–563.
Fishburn, P. C. (1970). Utility theory for decision making. New York: Wiley.
Fishburn, P. C. (1976). On linear extention majority graphs on partial orders. Journal of Combinatorial Theory, 21, 65–70.
Fishburn, P. C. (1982). The foundations of expected utility (1st edn). In G. Eberlein & W. Leinfellner (Eds.), Theory and decision library (Vol. 31). Dordrecht: Springer.
Fishburn, P. C. (1999). Preference structures and their numerical representations. Theoretical Computer Science, 217, 359–383.
Gilboa, I. (2009). Theory of decision under uncertainty. Cambridge: Cambridge University Press.
Goldsmith, J., Lang, J., Truszczynski, M., & Wilson, N. (2008). The computational complexity of dominance and consistency in CP-nets. Journal of Artificial Intelligence Research, 33, 403–432.
Kadane, J. B., Schervish, M. J., & Seidenfeld, T. (1999). Rethinking the foundations of statistics. Cambridge: Cambridge University Press.
Mandler, M. (2005). Incomplete preferences and rational intransitivity of choice. Games and Economic Behaviour, 50, 255–277.
McCord, M. R., & Roy, B. (1996). Multicriteria methodology for decision aiding. Berlin: Springer.
Myerson, R. B. (1997). Game theory: Analysis of conflict. Cambridge: Harvard University Press.
Nisan, N., Roughgarden, T., Tardos, E., & Vazirani, V. V. (2007). Algorithmic game theory. New York, NY: Cambridge University Press.
Ok, E. A. (2002). Utility representation of an incomplete preference relation. Journal of Economic Theory, 104, 429–449.
Ok, E. A., & Dubra, J. (2002). A model of procedural decision making in the presence of risk. International Economic Review, 43, 1053–1080.
Peleg, B. (1970). A new karzanov-type \(O(n^3)\) max-flow algorithm. Econometrica, 38(1), 93–96.
Pini, M. S., Rossi, F., Venable, K. B. & Walsh, T. (2007). Incompleteness and incomparability in preference aggregation. In Proceedings of 20th international joint conference on artificial intelligence (IJCAI07), Hyderabad, India (pp. 1464–1469). January 6–12.
Pini, M. S., Rossi, F., Venable, K. B., & Walsh, T. (2011). Incompleteness and incomparability in preference aggregation: Complexity results. Artificial Intelligence, 175, 1272–1289.
Reffgen, A. (2011). Generalizing the Gibbard–Satterthwaite theorem: Partial preferences, the degree of manipulation, and multi-valuedness. Social Choice and Welfare, 37(1), 39–59. doi:10.1007/s00355-010-0479-0.
Rockafellar, R. T. (1972). Convex analysis. Princeton: Princeton University Press.
Rossi, F., Brent Venable, K., & Walsh, T. (2008). Preferences in constraint satisfaction and optimization. AI Magazine, 29(4), 58–68.
Russell, W., & Hadar, J. (1969). Rules for ordering uncertain prospects. American Economic Review, 59, 25–34.
Samuelson, P. A. (1938). A note on the pure theory of consumer’s behaviour. Economica, 5(17), 61–71.
Sauro, L. (2015). On the hierarchical nature of partial preferences. In Proceedings of the 18th international conference on principles and practice of multi-agent systems, PRIMA15, Bertinoro, Italy. October 26–30, 2015.
Savage, L. J. (1954). The foundations of statistics. New York: Wiley.
Sen, A., & Majumdar, M. (1976). A note on representing partial orderings. Review of Economic Studies, 43(3), 543–545.
Shapley, L. S., & Baucells, M. (1998). Multiperson utility. Note working paper No. 779. Department of Economics, UCLA. Available at http://www.econ.ucla.edu/workingpapers/wp779.pdf.
Shapley, L. S., & Baucells, M. (2008). Multiperson utility. Games and Economic Behavior, 62, 329–347.
Simon, H. (1955). A behavioral model of rational choice. The Quarterly Journal of Economics, 69(1), 99–118. doi:10.2307/1884852.
Sondermann, D. (1980). Utility representation of partial orders. Journal of Economic Theory, 23, 183–188.
van Neumann, J., & Morgenstern, O. (1944). Theory of games and economic behavior. Princeton: Princeton University Press.
Waissi, G. R. (1992). A new karzanov-type \(O(n^3)\) max-flow algorithm. Journal of Artificial Intelligence Research, 16((2), 65–72.
Walley, P. (1991). Statistical reasoning with imprecise probabilities. London: Chapman and Hall.
Wilson, N. (2004). Extending CP-nets with stronger conditional preference statements. In Proceedings of the nineteenth national conference on artificial intelligence (AAAI04), San Jose, California. July 25–29, 2004.
Xia, L., & Conitzer, V. (2011). Determining possible and necessary winners under common voting rules given partial orders. Journal of Artificial Intelligence Research, 41, 25–67.
Acknowledgements
This work has been supported by the Italian PRIN project Security Horizons.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Sauro, L. On the hierarchical nature of partial preferences over lotteries. Auton Agent Multi-Agent Syst 31, 1467–1505 (2017). https://doi.org/10.1007/s10458-017-9368-6
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10458-017-9368-6