Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems. - Lijun Wu 001; Kaile Su; Yabiao Han; Jingyu Chen; Xiangyu Lu (Frontiers Comput. Sci., 2017)