Abstract
A proof-theoretical treatment of collectively accepted group beliefs is presented through a multi-agent sequent system for an axiomatization of the logic of acceptance. The system is based on a labelled sequent calculus for propositional multi-agent epistemic logic with labels that correspond to possible worlds and a notation for internalized accessibility relations between worlds. The system is contraction- and cut-free. Extensions of the basic system are considered, in particular with rules that allow the possibility of operative members or legislators. Completeness with respect to the underlying Kripke semantics follows from a general direct and uniform argument for labelled sequent calculi extended with mathematical rules for frame properties. As an example of the use of the calculus we present an analysis of the discursive dilemma.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Cohen, L. J. (1992). An essay on belief & acceptance. New York: Oxford University Press.
de Boer, M., Herzig, A., de Lima, T., & Lorini, E. (2009). Tableaux for acceptance logic. In M. Baldoni, J. Bentahar, J. Lloyd, & M. B. van Riemsdijk (Eds.), Declarative agent languages and technologies: Seventh international workshop, DALT 2009, workshop notes (pp. 17–32).
Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. MIT Press.
Fischer, F. A. & Nickles, M. (2006). Computational opinions. In Proceedings of the 17th European conference on artificial intelligence (ECAI’06) (pp. 240–244).
Gaudou, B., Herzig, A., & Longin, D. (2006). Grounding and the expression of belief. In Proceedings of the tenth international conference on principles of knowledge representation and reasoning (pp. 221–229). AAAI Press.
Gaudou, B., Herzig, A., & Longin, D. (2011). Group belief and grounding in conversation. In A. Trognon, M. Batt, J. Caelen, & D. Vernant (Eds.), Logical properties of dialogue (pp. 59–96). Presses Universitaires de Nancy. http://www.univ-nancy2.fr/pun/.
Gaudou, B., Herzig, A., Longin, D., & Nickles, M. (2006). A new semantics for the FIPA agent communication language based on social attitudes. In Proceedings of the 17th European conference on artificial intelligence (ECAI’06) (pp. 245–249).
Gaudou, B., Longin, D., Lorini, E., & Tummolini, L. (2008). Anchoring institutions in agents’ attitudes: Towards a logical framework for autonomous multi-agent systems. In Proceedings of 7th international conference on autonomous agents and multiagent systems (AAMAS 2008) (pp. 728–735).
Gilbert, M. (1987). Modelling collective belief. Synthese, 73, 185–204.
Gilbert, M. (1989). On social facts. Routledge.
Hakli, R. (2006). Group beliefs and the distinction between belief and acceptance. Cognitive Systems Research, 7, 286–297.
Hakli, R., & Negri, S. (2007). Proof theory for distributed knowledge. In Computational logic in multi-agent systems. 8th international conference (CLIMA-VIII). LNCS 5056 (pp. 100–116). Springer.
Herzig, A., de Lima, T., & Lorini, E. (2009). On the dynamics of institutional agreements. Synthese (Knowledge, Rationality & Action), 171, 321–355, 923–957.
Kripke, S. (1963). Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 9, 67–96.
List, C., & Pettit, P. (2002). Aggregating sets of judgments: An impossibility result. Economics and Philosophy, 18, 89–110.
Lorini, E., Longin, D., Gaudou, B., & Herzig, A. (2009). The logic of acceptance: Grounding institutions on agents’ attitudes. Journal of Logic and Computation, 19(6), 901–940.
Negri, S. (2003). Contraction-free sequent calculi for geometric theories with an application to Barr’s theorem. Archive for Mathematical Logic, 42, 389–401.
Negri, S. (2005). Proof analysis in modal logic. Journal of Philosophical Logic, 34, 507–544.
Negri, S. (2009). Kripke completeness revisited. In G. Primiero & S. Rahman (Eds.), Acts of knowledge: History, philosophy and logic (pp. 233–266). College Publications.
Negri, S., & von Plato, J. (1998). Cut elimination in the presence of axioms. The Bulletin of Symbolic Logic, 4, 418–435.
Negri, S., & von Plato, J. (2001). Structural proof theory. Cambridge University Press.
Negri, S., & von Plato, J. (2011). Proof analysis: A contribution to Hilbert’s last problem. Cambridge University Press.
Pauly, M. (2007). Axiomatizing collective judgements in a minimal logical language. Synthese, 158, 233–250.
Searle, J. R. (1995). The construction of social reality. New York: The Free Press.
Shoham, Y., & Leyton-Brown, K. (2009). Multiagent systems: Algorithmic, game-theoretic, and logical foundations. New York: Cambridge University Press.
Troelstra, A. S., & Schwichtenberg, H. (2000). Basic proof theory (2nd ed.). New York: Cambridge University Press.
Tuomela, R. (1992). Group beliefs. Synthese, 91, 285–318.
Tuomela, R. (2007). The philosophy of sociality. Oxford University Press.
Wansing, H. (1998). Displaying modal logic. Dordrecht: Kluwer Academic Publishers.
Ågotnes, T., van der Hoek, W., & Wooldridge, M. (2007). Reasoning about judgment and preference aggregation. In Proceedings of the sixth international joint conference on autonomous agents and multiagent systems (AAMAS 2007) (pp. 554–561).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Hakli, R., Negri, S. Reasoning About Collectively Accepted Group Beliefs. J Philos Logic 40, 531–555 (2011). https://doi.org/10.1007/s10992-011-9188-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-011-9188-0