A Declarative Model for Social Deduction Games with Communication

  • Lucas Araujo Carvalho UFRJ
  • Geraldo Xexéo UFRJ

Resumo


Introduction: Social deduction games combine hidden roles, asymmetric information, and strategic communication, making them useful environments for studying deception in games and AI agents. Objective: This paper introduces SDGM, an early-stage declarative model in which hidden roles, phase-based actions, and communication channels are treated as first-class constructs. Steps: We define SDGM’s main abstractions, distinguish material state from communicative trace, and illustrate its concrete syntax through a reduced version of Werewolf. Expected Results: SDGM is expected to support structured descriptions, future simulation, expressiveness analysis, and deception tracing in multiagent settings.

Palavras-chave: General Game Playing, Deception, Social Deduction Games

Referências

Farrell, J. e Rabin, M. (1996). Cheap talk. Journal of Economic perspectives, 10(3):103–118.

Love, N., Hinrichs, T., Haley, D., Schkufza, E., e Genesereth, M. (2006). General game playing: Game description language specification. Technical Report LG-2006-01, Stanford University, Stanford Logic Group.

Piette, É., Soemers, D. J. N. J., Stephenson, M., Sironi, C. F., Winands, M. H. M., e Browne, C. (2020). Ludii – the ludemic general game system. In Giacomo, G. D., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarín, A., e Lang, J., editors, Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020), volume 325 of Frontiers in Artificial Intelligence and Applications, pages 411–418. IOS Press.

Starace, J., Tafoya, J., Singh, A., e Soule, T. (2026). Deceptive algorithms in games: A systematic literature review. Entertainment Computing, 56:101078.

Thielscher, M. (2010). A general game description language for incomplete information games. Proceedings of the AAAI Conference on Artificial Intelligence, 24(1):994–999.

Thielscher, M. (2017). Gdl-iii: A description language for epistemic general game playing. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI-17, pages 1276–1282.

Ward, F. R., Belardinelli, F., Toni, F., e Everitt, T. (2023). Honesty is the best policy: defining and mitigating ai deception. In Proceedings of the 37th International Conference on Neural Information Processing Systems, NIPS ’23, Red Hook, NY, USA. Curran Associates Inc.
Publicado
29/09/2026
CARVALHO, Lucas Araujo; XEXÉO, Geraldo. A Declarative Model for Social Deduction Games with Communication. In: TRILHA DE COMPUTAÇÃO – ARTIGOS CURTOS - SIMPÓSIO BRASILEIRO DE JOGOS E ENTRETENIMENTO DIGITAL (SBGAMES), 25. , 2026, Goiânia/GO. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2026 . p. 159-164. DOI: https://doi.org/10.5753/sbgames_estendido.2026.25949.