Abstract
In studies of multi-agent interaction, especially in game theory, the notion of equilibrium often plays a prominent role. A typical scenario for the belief merging problem is one in which several agents pool their beliefs together to form a consistent “group” picture of the world. The aim of this paper is to define and study new notions of equilibria in belief merging. To do so, we assume the agents arrive at consistency via the use of a social belief removal function, in which each agent, using his own individual removal function, removes some belief from his stock of beliefs. We examine several notions of equilibria in this setting, assuming a general framework for individual belief removal due to Booth et al. We look at their inter-relations as well as prove their existence or otherwise. We also show how our equilibria can be seen as a generalisation of the idea of taking maximal consistent subsets of agents.
Similar content being viewed by others
References
Alchourrón C., Gärdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2): 510–530
Areces, C., & Becher, V. (2001). Iterable AGM functions. In H. Rott & M. A. Williams (Eds.), Frontiers in belief revision (pp. 261–277). Kluwer Academic Publishers.
Arrow, K., Sen, A., Suzumura, K. (eds) (2002) Handbook of social choice and welfare. Elsevier, Amsterdam
Aumann, R. (1959). Acceptable points in general cooperative n-person games. In Contributions to the theory of games (Vol. IV, pp. 287–324). Princeton: Princeton University Press.
Bochman A. (2001) A logical theory of nonmonotonic inference and belief change. Springer, Berlin
Booth R. (2006) Social contraction and belief negotiation. Information Fusion 7(1): 19–34
Booth R., Chopra S., Ghose A., Meyer T. (2005) Belief liberation (and retraction). Studia Logica 79(1): 47–72
Booth, R., Chopra, S., Meyer, T., & Ghose, A. (2004). A unifying semantics for belief change. In Proceedings of ECAI’04 (pp. 793–797).
Brams, S., & Fishburn, P. (2002). Voting procedures. In K. Arrow, A. Sen & K. Suzumura (Eds.), Handbook of social choice and welfare (Vol. 1, pp. 173–236). Elsevier.
Caminada, M., & Pigozzi, G. (2009). On judgment aggregation in abstract argumentation. Autonomous Agents and Multi-Agent Systems, 1–39.
Cantwell J. (2003) Eligible contraction. Studia Logica 73: 167–182
Coste-Marquis S., Devred C., Konieczny S., Lagasquie-Schiex M., Marquis P. (2007) On the merging of Dung’s argumentation systems. Artificial Intelligence 171(10–15): 730–753
Dietrich, F. (2007). Aggregation theory and the relevance of some issues to others. Working paper, London School of Economics.
Dokow E., Holzman R. (2009) Aggregation of binary evaluations with abstentions. Journal of Economic Theory. 145(2): 544–561
Dung P. (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial intelligence 77(2): 321–357
Falappa, M. A., Kern-Isberner, G., & Simari, G. R. (2009). Belief Revision and argumentation theory. In I. Rahwan & G. R. Simari (Eds.), Argumentation in artificial intelligence (pp. 341–360). Berlin: Springer.
Gärdenfors P. (1988) Knowledge in flux. MIT Press, Cambridge, MA
Hansson S. O. (1991) Belief contraction without recovery. Studia Logica 50(2): 251–260
Hansson S. O. (1993a) Changes on disjunctively closed bases. Journal of Logic, Language and Information 2: 255–284
Hansson S. O. (1993b) Theory contraction and base contraction unified. Journal of Symbolic Logic 58: 602–625
Katsuno, H., & Mendelzon, A. (1992). On the difference between updating a knowledge base and revising it. In Belief revision (pp. 183–203). Cambridge: Cambridge University Press.
Konieczny S., Grégoire E. (2006) Logic-based approaches to information fusion. Information Fusion 7(1): 4–18
Konieczny, S., & Pino Pérez, R. (1998). On the logic of merging. In Proceedings of KR’98 (pp. 488–498).
Konieczny S., Pino Pérez R. (2002) Merging information under constraints: A logical framework. Journal of Logic and Computation 12(5): 773–808
Kraus S., Lehmann D., Magidor M. (1991) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44: 167–207
Levi I. (1991) The fixation of belief and its undoing. Cambridge University Press, Cambridge
Levi I. (1996) For the sake of argument. Cambridge University Press, Cambridge, MA
Levi, I. (1998). Contraction and information value. Unpublished manuscript (sixth version), Columbia University.
Lindström, S., & Rabinowicz, W. (1991). Epistemic entrenchment with incomparabilities and relational belief revision. In The logic of theory change (pp. 93–126). Berlin: Springer.
List C., Puppe C. (2009) Judgment aggregation: A survey. In: Anand P., Pattanaik P., Puppe C. (eds) Handbook of rational and social choice. Oxford University Press, Oxford
Meyer, T., Foo, N., Kwok, R., & Zhang, D. (2004a). Logical foundations of negotiation: Outcome, concession and adaptation. In Proceedings of AAAI’04 (pp. 293–298).
Meyer, T., Foo, N., Kwok, R., & Zhang, D. (2004b). Logical foundations of negotiation: Strategies and preferences. In Proceedings of KR’04 (pp. 311–318).
Meyer T., Heidema J., Labuschagne W., Leenen L. (2002) Systematic withdrawal. Journal of Philosophical Logic 31(5): 415–443
Nash J. (1950) Equilibrium points in n-person games. Proceedings of the National Academy of Sciences 36(1): 48–49
Nayak A., Pagnucco M., Peppas P. (2003) Dynamic belief revision operators. Artificial Intelligence 146: 193–228
Nebel, B. (1994). Base revision operations and schemes: Semantics, representation and complexity. In Proceedings of ECAI’94 (pp. 342–345).
Osborne M., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge, MA
Pigozzi G. (2006) Belief merging and the discursive dilemma: An argument-based account to paradoxes of judgment aggregation. Synthese 152(2): 285–298
Rahwan, I., & Tohmé, F. (2010). Collective argument evaluation as judgement aggregation. In Proceedings of AAMAS.
Rott H. (1992) Preferential belief change using generalized epistemic entrenchment. Journal of Logic, Language and Information 1: 45–78
Rott H. (1999) Coherence and conservatism in the dynamics of belief. Part I: Finding the right framework. Erkenntnis 50: 387–412
Rott H., Pagnucco M. (1999) Severe withdrawal (and recovery). Journal of Philosophical Logic 28: 501–547
Zhang, D., Foo, N., Meyer, T., & Kwok, R. (2004). Negotiation as mutual belief revision. In Proceedings of AAAI’04 (pp. 317–323).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Booth, R., Meyer, T. Equilibria in social belief removal. Synthese 177 (Suppl 1), 97–123 (2010). https://doi.org/10.1007/s11229-010-9763-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-010-9763-x