Arrow’s Impossibility Theorem (AIT) roughly says that, without a “dictator” who holds sway, it’s mathematically impossible for a group of agents in that group to have their individual preferences aggregated to yield preferences for the group as a whole.

The chief goal of this project is to invent and specify formal theory that enables engineering of an AI system that, in collaboration with humans, enables this barrier to be surmounted.