Grossi & Pigozzi

153 Pages·2014·1.22 MB·English

SSSeeerririeieess s I ISISSSSSNNN:: : 1 11999333999---444666000888 GGG
RRR
OOO
SSS &&&
SSSyyynnnttthhheeeSSSiiiSSS LLLeeeccctttuuurrreeeSSS ooonnn AAArrrtttiiifffiiiccciiiAAALLL SISISI MMMOOORRRGGGAAANNN CCCLLLAAAYYYPPPOOOOOOLLL PPPUUUBBBLLLIIISSSHHHEEERRRSSS
• P • P • P
iiinnnttteeeLLLLLLiiigggeeennnccceee AAAnnnddd MMMAAAccchhhiiinnneee LLLeeeAAArrrnnniiinnnggg IGIGIG
OOO
ZZZ
ZZZ
III
SSSeeerrriieieesss E EEdddiitittooorrrsss:: : RRRooonnnaaalldldd J JJ.. . B BBrrraaaccchhhmmmaaannn,, , Y YYaaahhhoooooo!! ! R RReeessseeeaaarrrccchhh
WWWiililllliliaiaammm W WW.. . C CCooohhheeennn,, , C CCaaarrrnnneeegggiieiee M MMeeellllloloonnn U UUnnniivivveeerrrsssiitittyyy
PPPeeettteeerrr S SStttooonnneee,, , U UUnnniivivveeerrrsssiitittyyy o oofff T TTeeexxxaaasss a aattt A AAuuussstttiininn JJJuuudddgggmmmeeennnttt AAAggggggrrreeegggaaatttiiiooonnn
JJJuuudddgggmmmeeennnttt AAAggggggrrreeegggaaatttiiiooonnn
AAA PPPrrriiimmmeeerrr
AAA PPPrrriiimmmeeerrr
DDDaaavvviididdeee G GGrrrooossssssii,i, , U UUnnniivivveeerrrssisitittyyy o ooff f L LLiivivveeerrrpppooooooll,l, , U UUKKK
GGGaaabbbrrriieieelllllalaa P PPiigiggooozzzzzzii,i, , U UUnnniivivveeerrrssisititétéé P PPaaarrriisis s D DDaaauuuppphhhiininneee,, , F FFrrraaannnccecee
JJJuuudddgggmmmeeennntt t a aaggggggrrreeegggaaattitioioonnn i isiss a aa m mmaaatththheeemmmaaattiticiccaaall l t ththheeeooorrryyy o ooff f c ccooollllleleecccttitivivveee d ddeeeccciisissiioioonnn---mmmaaakkkiininnggg.. . I IItt t c ccooonnnccceeerrrnnnsss t ththheee m mmeeetththh---
ooodddsss w wwhhheeerrreeebbbyyy i ininndddiivivviididduuuaaall l o oopppiininniioioonnnsss a aabbbooouuutt t l loloogggiiciccaaalllllylyy i ininntteteerrrcccooonnnnnneeeccctteteeddd i isisssssuuueeesss o ooff f i ininntteteerrreeessstt t c ccaaannn,, , o oorrr c ccaaannnnnnooott,t, , b bbeee
JUJUJU
aaaggggggrrreeegggaaatteteeddd i ininnttotoo o oonnneee c ccooollllleleecccttitivivveee s ssttataannnccceee.. . A AAggggggrrreeegggaaattitioioonnn p pprrrooobbblleleemmmsss h hhaaavvveee t trtrraaadddiitititioioonnnaaalllllylyy b bbeeeeeennn o ooff f i ininntteteerrreeessstt t f fofoorrr DDD
GGG
MMM
dddiisissccciipippllilininneeesss l lilikikkeee e eecccooonnnooommmiiciccsss a aannnddd t ththheee p ppooollilitititiciccaaall l s ssccciieieennnccceeesss,, , a aasss w wweeelllll l a aasss p pphhhiililoloosssoooppphhhyyy,, , w wwhhheeerrreee j jujuudddgggmmmeeennntt t a aaggggggrrreeegggaaa---
EEE
NNN
ttitioioonnn i ititstsseeellflf f o oorrriigiggiininnaaatteteesss f frfrrooommm,, , b bbuuutt t h hhaaavvveee r rreeeccceeennnttltlylyy c ccaaapppttutuurrreeeddd t ththheee a aattttteteennnttitioioonnn o ooff f d ddiisissccciipippllilininneeesss l lilikikkeee c ccooommmpppuuutteteerrr s sscccii-i-- TTT
A A A
eeennnccceee,, , a aarrrttitifiifificcciiaiaall l i ininntteteellllliligiggeeennnccceee a aannnddd m mmuuulltltiti-i--aaagggeeennntt t s ssyyyssstteteemmmsss.. . J JJuuudddgggmmmeeennntt t a aaggggggrrreeegggaaattitioioonnn h hhaaasss e eemmmeeerrrgggeeeddd i ininn t ththheee l lalaassstt t GGG
GGG
dddeeecccaaadddeee aaasss aaa uuunnniififyfyyiininnggg pppaaarrraaadddiigiggmmm ffofoorrr tththheee ffofoorrrmmmaaallilizizzaaattitioioonnn aaannnddd uuunnndddeeerrrsssttataannndddiininnggg oooff f aaaggggggrrreeegggaaattitioioonnn ppprrrooobbblleleemmmsss.. . RRR
EEE
GGG
SSSttitilillll,l, , n nnooo c ccooommmppprrreeehhheeennnsssiivivveee p pprrreeessseeennnttataattitioioonnn o ooff f t ththheee t ththheeeooorrryyy i isiss a aavvvaaaiililalaabbbllelee t totoo d ddaaattetee.. . Th ThThiisiss S SSyyynnntththheeesssiisiss L LLeeecccttutuurrreee a aaiimimmsss a aatt t AAA
TTT
fififilllllilininnggg t ththhiisiss g ggaaappp p pprrreeessseeennnttitininnggg t ththheee k kkeeeyyy m mmooottitivivvaaattitioioonnnsss,, , r rreeesssuuulltltstss,, , a aabbbsssttrtrraaacccttitioioonnnsss a aannnddd t teteeccchhhnnniiqiqquuueeesss u uunnndddeeerrrpppiininnnnniininnggg i itit.t. . IOIOIO
NNN

DDDaaavvviiidddeee GGGrrrooossssssiii
GGGaaabbbrrriiieeellllllaaa PPPiiigggooozzzzzziii
AAABBBOOOUUUTTT SSSYYYNNNTTTHHHEEESSSIIISSS
ThThThiisiss v vvooolluluummmeee i isiss a aa p pprrriininntteteeddd v vveeerrrsssiioioonnn o ooff f a aa w wwooorrkrkk t ththhaaatt t a aappppppeeeaaarrrsss i ininn t ththheee S SSyyynnntththheeessisisis s
DDDiigiggiititataall l L LLiibibbrrraaarrryyy o ooff f E EEnnngggiininneeeeeerrriininnggg a aannnddd C CCooommmpppuuutteteerrr S SSccicieieennnccecee.. . SSSyyynnntththheeesssiisiss LLLeeecccttutuurrereesss
MMM
ppprroroovvviididdeee c ccooonnnccciisisesee, , ,o oorririgiggiininnaaall l p pprrereesseseennnttataattitioioonnnss s o ooff f i imimmpppooorrtrtataannntt t r rereesseseeaaarrcrcchhh a aannnddd d ddeeevvveeelloloopppmmmeeennntt t OOO
ttotoopppiiciccss,s, , p ppuuubbbllilisishshheeeddd q qquuuiicicckkkllyly,y, , i ininn d ddiigiggiititataall l a aannnddd p pprririninntt t f fofoorrmrmmaaattsts.s. . F FFooorr r m mmooorreree i ininnffofoorrmrmmaaattitioioonnn RRR
GGG
vvviisisisitit t w wwwwwwww..m.mmooorrrgggaaannncccllalaayyypppooooooll.l.c.ccooommm AAA
NNN
&&& SSSyyynnnttthhheeeSSSiiiSSS LLLeeeccctttuuurrreeeSSS ooonnn AAArrrtttiiifffiiiccciiiAAALLL
IIISSSBBBNNN::: 999777888---111---666222777000555---000888777---666 CCC
MMMOOORRRGGGAAANNN&&&CCCLLLAAAYYYPPPOOOOOOLLL PPPUUUBBBLLLIIISSSHHHEEERRRSSS 999000000000000 LLL
AAA iiinnnttteeeLLLLLLiiigggeeennnccceee AAAnnnddd MMMAAAccchhhiiinnneee LLLeeeAAArrrnnniiinnnggg
YYY
PPP
wwwwwwwww...mmmooorrrgggaaannnccclllaaayyypppoooooolll...cccooommm OOO
999777888111666222777000555000888777666
OOO
LLL RRRooonnnaaalldldd J JJ.. . B BBrrraaaccchhhmmmaaannn,, , W WWiililllliliaiaammm W WW.. . C CCooohhheeennn,, , a aannnddd P PPeeettteeerrr S SStttooonnneee,, , S SSeeerrriiieeesss E EEdddiiitttooorrrsss

Judgment Aggregation: A Primer

Synthesis Lectures on Artificial
Intelligence and Machine
Learning
Editors
RonaldJ.Brachman,Yahoo!Labs
WilliamW.Cohen,CarnegieMellonUniversity
PeterStone,UniversityofTexasatAustin
JudgmentAggregation:APrimer
DavideGrossiandGabriellaPigozzi
2014
AnIntroductiontoConstraint-BasedTemporalReasoning
RomanBártak,RobertA.Morris,andK.BrentVenable
2014
ReasoningwithProbabilisticandDeterministicGraphicalModels:ExactAlgorithms
RinaDechter
2013
IntroductiontoIntelligentSystemsinTrafficandTransportation
AnaL.C.BazzanandFranziskaKlügl
2013
AConciseIntroductiontoModelsandMethodsforAutomatedPlanning
HectorGeffnerandBlaiBonet
2013
EssentialPrinciplesforAutonomousRobotics
HenryHexmoor
2013
Case-BasedReasoning:AConciseIntroduction
BeatrizLópez
2013
iv
AnswerSetSolvinginPractice
MartinGebser,RolandKaminski,BenjaminKaufmann,andTorstenSchaub
2012
PlanningwithMarkovDecisionProcesses:AnAIPerspective
MausamandAndreyKolobov
2012
ActiveLearning
BurrSettles
2012
ComputationalAspectsofCooperativeGameeory
GeorgiosChalkiadakis,EdithElkind,andMichaelWooldridge
2011
RepresentationsandTechniquesfor3DObjectRecognitionandSceneInterpretation
DerekHoiemandSilvioSavarese
2011
AShortIntroductiontoPreferences:BetweenArtificialIntelligenceandSocialChoice
FrancescaRossi,KristenBrentVenable,andTobyWalsh
2011
HumanComputation
EdithLawandLuisvonAhn
2011
TradingAgents
MichaelP.Wellman
2011
VisualObjectRecognition
KristenGraumanandBastianLeibe
2011
LearningwithSupportVectorMachines
ColinCampbellandYimingYing
2011
AlgorithmsforReinforcementLearning
CsabaSzepesvári
2010
DataIntegration:eRelationalLogicApproach
MichaelGenesereth
2010
v
MarkovLogic:AnInterfaceLayerforArtificialIntelligence
PedroDomingosandDanielLowd
2009
IntroductiontoSemi-SupervisedLearning
XiaojinZhuandAndrewB.Goldberg
2009
ActionProgrammingLanguages
Michaelielscher
2008
RepresentationDiscoveryusingHarmonicAnalysis
SridharMahadevan
2008
EssentialsofGameeory:AConciseMultidisciplinaryIntroduction
KevinLeyton-BrownandYoavShoham
2008
AConciseIntroductiontoMultiagentSystemsandDistributedArtificialIntelligence
NikosVlassis
2007
IntelligentAutonomousRobotics:ARobotSoccerCaseStudy
PeterStone
2007
Copyright©2014byMorgan&Claypool
Allrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedin
anyformorbyanymeans—electronic,mechanical,photocopy,recording,oranyotherexceptforbriefquotations
inprintedreviews,withoutthepriorpermissionofthepublisher.
JudgmentAggregation:APrimer
DavideGrossiandGabriellaPigozzi
www.morganclaypool.com
ISBN:9781627050876 paperback
ISBN:9781627050883 ebook
DOI10.2200/S00559ED1V01Y201312AIM027
APublicationintheMorgan&ClaypoolPublishersseries
SYNTHESISLECTURESONARTIFICIALINTELLIGENCEANDMACHINELEARNING
Lecture#27
SeriesEditors:RonaldJ.Brachman,Yahoo!Labs
WilliamW.Cohen,CarnegieMellonUniversity
PeterStone,UniversityofTexasatAustin
SeriesISSN
SynthesisLecturesonArtificialIntelligenceandMachineLearning
Print1939-4608 Electronic1939-4616
Judgment Aggregation: A Primer
Davide Grossi
UniversityofLiverpool
Gabriella Pigozzi
UniversitéParisDauphine
SYNTHESISLECTURESONARTIFICIALINTELLIGENCEANDMACHINE
LEARNING#27
M
&C Morgan &cLaypool publishers
ABSTRACT
Judgment aggregation is a mathematical theory of collective decision-making. It concerns the
methods whereby individual opinions about logically interconnected issues of interest can, or
cannot, be aggregated into one collective stance. Aggregation problems have traditionally been
of interest for disciplines like economics and the political sciences, as well as philosophy, where
judgmentaggregationitselforiginatesfrom,buthaverecentlycapturedtheattentionofdisciplines
likecomputerscience,artificialintelligenceandmulti-agentsystems.Judgmentaggregationhas
emerged in the last decade as a unifying paradigm for the formalization and understanding of
aggregationproblems.Still,nocomprehensivepresentationofthetheoryisavailabletodate.is
SynthesisLectureaimsatfillingthisgappresentingthekeymotivations,results,abstractionsand
techniquesunderpinningit.
KEYWORDS
judgmentaggregation,collectivedecision-making,logic,socialchoicetheory,com-
putationalsocialchoice,preferenceaggregation,votingparadoxes,aggregationrules,
impossibilityresults,manipulability,ultrafilters,opinionpooling,deliberation