Abstract
In the study of group belief formation, groups of agents are often assumed to possess a topological structure. Here we investigate some ways in which this topological structure may provide the semantical basis for logics of group belief. We impose a partial order on a set of agents first to be able to express preferences of agents by their doxastic abilities, secondly to express the idea of a coalition (well formed group) and thirdly to give a natural semantics for the group belief operator. We define the group belief of a set of agents in two different ways and study their corresponding logics. We also study a logic where doxastic preference is expressed by a binary operator. We prove completeness and discuss correspondences between the logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Topological structures in groups are also used to formalise group attitudes in Dunin-Keplicz and Verbrugge [3]. As they emphasise, this structure may be based on power or dependency relations that reflect different social commitments. [3] considers different group topologies but the approach is somewhat different from ours. The topologies are mainly used to model different forms of communication between agents in a group. A related, formal account of group beliefs is studied in [2] using a concept of (group) epistemic profile to model doxastic reasoning. However epistemic profiles are an additional feature, not derived from the group topological structure.
- 2.
See e.g. [3] and further references given there.
References
Balbiani, P., Gasquet, O., Schwarzentruber, F.: Agents that look at one another. Logic J. IGPL 21(3), 438–467 (2013)
Dunin-Kęplicz, B., Szałas, A.: Epistemic profiles and belief structures. In: Jezic, G., Kusek, M., Nguyen, N.-T., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2012. LNCS (LNAI), vol. 7327, pp. 360–369. Springer, Heidelberg (2012). doi:10.1007/978-3-642-30947-2_40
Dunin-Keplicz, B., Verbrugge, R.: Teamwork in Multi-Agent Systems: A Formal Approach, 1st edn. Wiley, New York (2010)
Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)
Gaudou, B., Herzig, A., Longin, D., Lorini, E.: On modal logics of group belief. In: Herzig, A., Lorini, E. (eds.) The Cognitive Foundations of Group Attitudes and Social Interaction. SPS, vol. 5, pp. 75–106. Springer, Heidelberg (2015). doi:10.1007/978-3-319-21732-1_4
Gilbert, M.: Modelling collective belief. Synthese 73(1), 185–204 (1987)
List, C., Pettit, P.: Group Agency: The Possibility, Design and Status of Corporate Agents. OUP, Cambridge (2011)
Lorini, E., Longin, D., Gaudou, B., Herzig, A.: The logic of acceptance: grounding institutions on agents’ attitudes. J. Logic Comput. 19(6), 901–940 (2009)
Quinton, A.: Social objects. In: Proceedings of the Aristotelian Society, pp. 1–27 (1976)
Tuomela, R.: Group beliefs. Synthese 91(3), 285–318 (1992)
Uridia, L., Walther, D.: Completeness via modal definitions. In: Proceedings of TBILLS16. (submitted to)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Balbiani, P., Pearce, D., Uridia, L. (2016). On Logics of Group Belief in Structured Coalitions. In: Michael, L., Kakas, A. (eds) Logics in Artificial Intelligence. JELIA 2016. Lecture Notes in Computer Science(), vol 10021. Springer, Cham. https://doi.org/10.1007/978-3-319-48758-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-48758-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48757-1
Online ISBN: 978-3-319-48758-8
eBook Packages: Computer ScienceComputer Science (R0)