基于MSVL社交网络用户关系强度的概率大小验证方法

摘要

本发明公开了一种基于MSVL社交网络用户关系强度的概率大小验证方法，包括：利用隐马尔可夫模型对社交网络中的用户关系强度和用户的交互行为进行建模，其中将用户关系强度作为隐状态，将用户之间的交互行为作为观测序列；在已知一个观测序列的基础上，利用时序逻辑语言MSVL对隐马尔可夫模型进行实现，得出最有可能产生这种观测序列的用户关系强度变化序列；采用命题投影时序逻辑PPTL公式描述用户关系强度状态的可能性大小，在MSV平台中进行建模和验证，验证用户关系强度概率大小是否符合期望值。本发明建模和验证可以在同一框架下进行；不需要调用另外的工具，简单方便，而且MSV平台可以给出详细的验证结果。