Abstract
Belief Revision Games (BRGs) were recently introduced to simulate the dynamics of beliefs in a network of communicating agents. In a BRG, each agent expresses her beliefs as a propositional formula, which are iteratively revised according to the beliefs of her acquaintances. An appealing property of BRGs is that the belief sequence of each agent is always cyclic and thus can be finitely characterized. However, identifying such belief cycles is a hard task. This paper addresses the computational issues and focuses on the case where the revision policies of the agents are based on a well-known majority-based merging operator. In particular, we show how some evolution patterns in the belief sequences can be identified independently of the propositional language used by the agents to express their beliefs, allowing an exhaustive search of all possible belief cycle patterns. By further identifying beliefs that lead to similar belief cycles, we introduce algorithms to reduce the search space and perform an exhaustive analysis of the dynamics of beliefs in any given network.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
For shorter notations in the examples, ab stands for \(a\wedge b\), and \(\bar{b}\) stands for \(\lnot b\).
References
Everaere, P., Konieczny, S., Marquis, P.: The strategy-proofness landscape of merging. J. Artif. Intell. Res. 28, 49–105 (2007)
Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artif. Intell. 157, 49–79 (2004)
Konieczny, S., Pino Pérez, R.: Merging information under constraints: a logical framework. J. Logic Comput. 12, 773–808 (2002)
Marquis, P., Schwind, N.: Lost in translation: language independence in propositional logic - application to belief change. Artif. Intell. 206, 1–34 (2014)
Schwind, N., Inoue, K., Bourgne, G., Konieczny, S., Marquis, P.: Belief revision games. In: AAAI 2015, pp. 1590–1596 (2015)
Schwind, N., Inoue, K., Bourgne, G., Konieczny, S., Marquis, P.: Is promoting beliefs useful to make them accepted in networks of agents? In: IJCAI 2016, pp. 1237–1243 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Bourgne, G., Totsuka, Y., Schwind, N., Inoue, K. (2019). Identifying Belief Sequences in a Network of Communicating Agents. In: Baldoni, M., Dastani, M., Liao, B., Sakurai, Y., Zalila Wenkstern, R. (eds) PRIMA 2019: Principles and Practice of Multi-Agent Systems. PRIMA 2019. Lecture Notes in Computer Science(), vol 11873. Springer, Cham. https://doi.org/10.1007/978-3-030-33792-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-030-33792-6_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-33791-9
Online ISBN: 978-3-030-33792-6
eBook Packages: Computer ScienceComputer Science (R0)