Regarding impossibility results, there is now also Brian Tomasik’s Three Types of Negative Utilitarianism.
There are also these two attempted formalizations of notions of welfare:
Daswani and Leike (2015): A Definition of Happiness for Reinforcement Learning Agents.
Formalizing preference utilitarianism in physical world models, which I have written.
Regarding impossibility results, there is now also Brian Tomasik’s Three Types of Negative Utilitarianism.
There are also these two attempted formalizations of notions of welfare:
Daswani and Leike (2015): A Definition of Happiness for Reinforcement Learning Agents.
Formalizing preference utilitarianism in physical world models, which I have written.