Abstract
One of the major problems that artificial intelligence needs to tackle is the combination of different and potentially conflicting sources of information. Examples are multi-sensor fusion, database integration and expert systems development. In this paper we are interested in the aggregation of propositional logic-based information, a problem recently addressed in the literature on information fusion. It has applications in multi-agent systems that aim at aggregating the distributed agent-based knowledge into an (ideally) unique set of propositions. We consider a group of autonomous agents who individually hold a logically consistent set of propositions. Each set of propositions represents an agent’s beliefs on issues on which the group has to make a collective decision. To make the collective decision, several aggregation procedures have been proposed in the literature. Assuming that all propositions in question are factually right or wrong, we ask how good belief fusion is as a truth tracker. Will it single out the true set of propositions? And how does information fusion compare with other aggregation procedures? We address these questions in a probabilistic framework and show that information fusion does especially well for agents with a middling competence of hitting the truth of an individual proposition.
Dokumententyp: | Konferenzbeitrag (Paper) |
---|---|
Publikationsform: | Postprint |
Fakultät: | Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP)
Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Philosophy of Science |
Themengebiete: | 100 Philosophie und Psychologie > 100 Philosophie
100 Philosophie und Psychologie > 160 Logik |
Sprache: | Englisch |
Dokumenten ID: | 24656 |
Datum der Veröffentlichung auf Open Access LMU: | 01. Mai 2015, 06:03 |
Letzte Änderungen: | 03. Mrz. 2017, 10:55 |