Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking

Oana Andrei, Gabriel Murray
2018 Proceedings of the Group Interaction Frontiers in Technology on ZZZ - GIFT'18  
A major challenge in Computational Social Science consists in modelling and explaining the temporal dynamics of human communication. Understanding small group interactions can help shed light on sociological and social psychological questions relating to human communications. Previous work showed how Markov rewards models can be used to analyse group interaction in meeting. We explore further the potential of these models by formulating queries over interaction as probabilistic temporal logic
more » ... operties and analysing them with probabilistic model checking. For this study, we analyse a dataset taken from a standard corpus of scenario and non-scenario meetings and demonstrate the expressiveness of our approach to validate expected interactions and identify patterns of interest.
doi:10.1145/3279981.3279988 dblp:conf/icmi/AndreiM18 fatcat:r3ooeywpyzbgxkx266d4qkkzza