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

Andrei, O. and Murray, G. (2018) Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. In: Group Interaction Frontiers in Technology (GIFT 2018), Boulder, CO, USA, 16 Oct 2018, p. 5. ISBN 9781450360777 (doi:10.1145/3279981.3279988)

168313.pdf - Accepted Version



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 properties 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.

Item Type:Conference Proceedings
Additional Information:Also funded by the University of Glasgow John Robertson Bequest Fund.
Glasgow Author(s) Enlighten ID:Andrei, Dr Oana
Authors: Andrei, O., and Murray, G.
College/School:College of Science and Engineering > School of Computing Science
First Published:First published in Proceedings of the Group Interaction Frontiers in Technology (GIFT '18): 5
Publisher Policy:Reproduced in accordance with the publisher copyright policy

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
679481Science of sensor systems software (SSSS)Muffy CalderEngineering and Physical Sciences Research Council (EPSRC)EP/N007565/1COM - COMPUTING SCIENCE