More Than the Sum of Its Parts: Compact Preference Representation Over Combinatorial Domains Joel Uckelman Samenvatting: In deze dissertatie presenteren we een theorie waarmee we compact cardinale voorkeuren over combinatorische domeinen kunnen weergeven en tonen aan dat het uitvoerbaar is deze theorie te gebruiken voor veilingen en stemprocedures. Deze theorie gebruikt zogenaamde 'goalbases'. Dit zijn verzamelingen gewogen propositionele formules waarmee we utiliteitsfuncties kunnen representeren. We berekenen de utiliteitswaarde van een alternatief als de geagregeerde waarde van de gewichten van de doelen die het alternatief vervullen. Goalbase talen worden beschreven door de formules en gewichten die in de goalbases voor kunnen komen te beperken. Deze beperkingen laten zich zien als parameters waarmee de familie van goalbase talen zich laat beschrijven. Voor het praktische gebruik is het nodig eerst vast te stellen hoe de talen die bij toepassingen worden gebruikt feitelijk met deze parameters omgaan. We zullen het landschap van goalbase talen in relatie tot een drietal verschillende eigenschappen verkennen: * Uitdrukbaarheid: Gegeven een goalbase taal welke utiliteitsfuncties zijn hierin te representeren? Veel goalbase talen met natuurlijke definities komen precies overeen met klassen van utiliteitsfuncties die bekende eigenschappen hebben. Voorts laten we zien dat somige goalbase talen een unieke representatie hebben voor de representeerbare utiliteitsfuncties. Tevens verschaffen we methoden om deze representaties te vinden. * Beknoptheid: Gegeven twee goalbase talen, zijn de kortste representaties in de ene taal significant kleiner dan equivalente kortste representaties in de andere taal? Op systematische wijze bepalen we voor meer dan tweehonderd paren van talen wat de meer beknopte taal is. * Complexiteit: Gegeven een goalbase taal, hoe moeilijk is het om vragen te beantwoorden over goalbases die in deze taal zijn beschreven? Dit wordt toegespitst op een specifiek probleem. Gegeven een uitdrukking in een goalbase taal zoeken wij naar de optimale, resp. de slechtste toestand voor individuen dan wel groepen. Dit probleem blijkt onhanteerbaar te zijn voor de meer expressieve goalbase talen; voor het geval dat het probleem wel effectief oplosbaar is geven wij algoritmen met een polynomiaal begrensde rekentijd die deze effectieve oplosbaarheid aantonen. Nadat we de eigenschappen van veel goalbase talen hebben vastgesteld beschouwen we twee mogelijke toepassingen: * Combinatorische veilingen: Combinatorische veilingen kunnen over het algemeen niet uitgevoerd worden zonder een exacte bied-taal. Goalbase talen kunnen gebruikt worden als bied-taal en zijn, soms meer en soms minder, beknopt dan de bied-talen die reeds in gebruik zijn. Wij presenteren een formulering als geheeltallig lineair programmerings probleem van het 'Winner Determination Problem' (WDP) waarbij de goalbases als biedingen wor den gebruikt, en een 'branch-and-bound' heuristiek voor het rechtstreeks oplossen van het WDP. Daarnaast presenteren we experimentele resultaten die de haalbaarheid van het gebruik van goalbase talen voor veilingen van gemiddelde grootte aantonen. * Stemming: We beschouwen het probleem van onvoldoend expressieve stemprocedures en komen met een voorstel voor het stemmen met goalbases als stembiljet als mogelijke oplossing. Gewone stemmethodes die een enkele winnaar aanwijzen zijn niet gemakkelijk uit te breiden naar situaties waarbij een groep winnaars moet worden aangewezen, zoals bijvoorbeeld de verkiezing van een comit\'e; dit wordt veroorzaakt door de interactie tussen de kandidaten. We stellen een uitbreiding van 'Approval Voting' voor, waarbij in plaats van oordelen over losse groepen (zoals bij 'Approval Voting' gebruikelijk) voorkeuren over groepen worden weergegeven via preferenties voor eigenschappen die deze groepen al dan niet bezitten. Samenvattend, dit proefschrift geeft een goed beeld van het nut van goalbase talen voor het representeren van voorkeuren en een indicatie van de potenti\"ele toepassingsgebieden.