Formal Analysis on Interaction Flow and Information Cocoon Based on Probabilistic Graph | IEEE Conference Publication | IEEE Xplore