A Roadmap for the Value-Loading Problem.
strategy - proofness and arrow ’ s conditions : existence and correspondence theorems for voting procedures and social welfare functions * .