• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
Advanced Search
Wu Lijun, Su Kaile, Chen Qingliang, Yang Zhihua. Algorithm Research on “On the Fly” Model Checking Temporal Logics of Knowledge in Multi-Agent Systems[J]. Journal of Computer Research and Development, 2006, 43(8): 1417-1424.
Citation: Wu Lijun, Su Kaile, Chen Qingliang, Yang Zhihua. Algorithm Research on “On the Fly” Model Checking Temporal Logics of Knowledge in Multi-Agent Systems[J]. Journal of Computer Research and Development, 2006, 43(8): 1417-1424.

Algorithm Research on “On the Fly” Model Checking Temporal Logics of Knowledge in Multi-Agent Systems

More Information
  • Published Date: August 14, 2006
  • Temporal logics of knowledge have been widely used in the distributed systems community and in the expression for the specifications of protocols. The model checking for temporal logics of knowledge becomes a new and important research domain. So approaches to the “on the fly” model checking the temporal logics of knowledge are discussed. Based on the “on the fly” model checking approaches for temporal logics, and according to automata theory and the semantics of knowledge, the “on the fly” model checking approaches to the temporal logics of knowledge are presented. These approaches, making the model checking for the specifications with knowledge operators, need only to construct a small portion of state space of system before a counterexample is found, and so avoid memory-shortage and state-explosion and realize “on the fly” model checking for the temporal logic of knowledge. And the time complexity of the algorithm is polynomial. Finally, the application to the verification of the TMN cryptographic protocol is illustrated to show the effectiveness of the approach.
  • Related Articles

    [1]Liu Linfeng, Yu Zixing, Zhu He. A Link Prediction Method Based on Gated Recurrent Units for Mobile Social Network[J]. Journal of Computer Research and Development, 2023, 60(3): 705-716. DOI: 10.7544/issn1000-1239.202110432
    [2]Jiao Xu, Xiao Yingyuan, Zheng Wenguang, Zhu Ke. Research Progress of Recommendation Technology in Location-Based Social Networks[J]. Journal of Computer Research and Development, 2018, 55(10): 2291-2306. DOI: 10.7544/issn1000-1239.2018.20170489
    [3]Liu Yong, Han Xue, Li Jinbao, Ren Qianqian, Wang Nan. Collaboration Algorithm in Social Networks Based on Tasks with Partial Relation[J]. Journal of Computer Research and Development, 2016, 53(11): 2654-2665. DOI: 10.7544/issn1000-1239.2016.20150617
    [4]Hu Kaixian, Liang Ying, Xu Hongbo, Bi Xiaodi, Zuo Yao. A Method for Social Network User Identity Feature Recognition[J]. Journal of Computer Research and Development, 2016, 53(11): 2630-2644. DOI: 10.7544/issn1000-1239.2016.20150219
    [5]LiJin, YueKun, ZhangDehai, LiuWeiyi. Robust Influence Blocking Maximization in Social Networks[J]. Journal of Computer Research and Development, 2016, 53(3): 601-610. DOI: 10.7544/issn1000-1239.2016.20148341
    [6]Sun Huanliang, Jin Mingyu, Liu Junling, Yu Ge. Methods for Team Formation Problem with Grouping Task in Social Networks[J]. Journal of Computer Research and Development, 2015, 52(11): 2535-2544. DOI: 10.7544/issn1000-1239.2015.20148136
    [7]Lan Mengwei, Li Cuiping, Wang Shaoqing, Zhao Kankan, Lin Zhixia, Zou Benyou, Chen Hong. Survey of Sign Prediction Algorithms in Signed Social Networks[J]. Journal of Computer Research and Development, 2015, 52(2): 410-422. DOI: 10.7544/issn1000-1239.2015.20140210
    [8]Wang Li, Cheng Suqi, Shen Huawei, Cheng Xueqi. Structure Inference and Prediction in the Co-Evolution of Social Networks[J]. Journal of Computer Research and Development, 2013, 50(12): 2492-2503.
    [9]Li Peng, Wang Bin, Shi Zhiwei, Cui Yachao, and Li Hengxun. Tag-TextRank: A Webpage Keyword Extraction Method Based on Tags[J]. Journal of Computer Research and Development, 2012, 49(11): 2344-2351.
    [10]Kang Le, Jing Jiwu, and Wang Yuewu. The Trust Expansion and Control in Social Network Service[J]. Journal of Computer Research and Development, 2010, 47(9): 1611-1621.

Catalog

    Article views (779) PDF downloads (637) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return