<div class="csl-bib-body">
<div class="csl-entry">Haret, A., Lackner, M., Pfandler, A., & Wallner, J. P. (2020). Proportional Belief Merging. In V. Conitzer & F. Sha (Eds.), <i>Proceedings of the AAAI Conference on Artificial Intelligence</i> (pp. 2822–2829). AAAI Press. https://doi.org/10.1609/aaai.v34i03.5671</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/58146
-
dc.description.abstract
In this paper we introduce proportionality to belief merging. Belief merging is a framework for aggregating information presented in the form of propositional formulas, and it generalizes many aggregation models in social choice. In our analysis, two incompatible notions of proportionality emerge: one similar to standard notions of proportionality in social choice, the other more in tune with the logic-based merging setting. Since established merging operators meet neither of these proportionality requirements, we design new proportional belief merging operators. We analyze the proposed operators against established rationality postulates, finding that current approaches to proportionality from the field of social choice are, at their core, incompatible with standard rationality postulates in belief merging. We provide characterization results that explain the underlying conflict, and provide a complexity analysis of our novel operators.
en
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.description.sponsorship
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
-
dc.publisher
AAAI Press
-
dc.relation.ispartofseries
Proceedings of the AAAI Conference on Artificial Intelligence
-
dc.subject
General Medicine
-
dc.title
Proportional Belief Merging
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Proceedings of the AAAI Conference on Artificial Intelligence
-
dc.relation.issn
2159-5399
-
dc.description.startpage
2822
-
dc.description.endpage
2829
-
dc.relation.grantno
P30930-N35
-
dc.relation.grantno
P31890-N31
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2374-3468
-
tuw.booktitle
Proceedings of the AAAI Conference on Artificial Intelligence
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Proceedings of the AAAI Conference on Artificial Intelligence
-
tuw.project.title
DK - Logic
-
tuw.project.title
EMBArg
-
tuw.project.title
HyperTrac: hypergraph Decompositions and Tractability
-
tuw.project.title
Algorithms for Sustainable Group Decision Making
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
tuw.publication.orgunit
E192 - Institut für Logic and Computation
-
tuw.publisher.doi
10.1609/aaai.v34i03.5671
-
dc.description.numberOfPages
8
-
tuw.event.name
The Thirty-Fourth AAAI Conference on Artificial Intelligence
-
tuw.event.startdate
07-02-2020
-
tuw.event.enddate
12-02-2020
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
New York, NY
-
tuw.event.country
US
-
tuw.event.presenter
Haret, Adrian
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Logic and Computation (LC)
de
wb.facultyfocus
Logic and Computation (LC)
en
wb.facultyfocus.faculty
E180
-
wb.presentation.type
science to science/art to art
-
item.fulltext
no Fulltext
-
item.cerifentitytype
Publications
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.grantfulltext
none
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.dept
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
crisitem.author.orcid
0000-0002-0247-5590
-
crisitem.author.orcid
0000-0003-2170-0770
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.funder
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)