Exponential improvement of time complexity of model checking for multiagent systems with perfect recall

被引：0
|
作者：
N. O. Garanina
机构：
[1] Russian Academy of Sciences,Ershov Institute of Information Systems, Siberian Branch
来源：
Programming and Computer Software | 2012年 / 38卷
关键词：
Model Check; Multiagent System; Propositional Variable; Label Transition System; Computation Tree Logic;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The model checking algorithm for a combination of the computation tree logic (CTL) and the propositional logic of knowledge (PLK) in multiagent systems with perfect recall is revised. The proposed approach is based on data structures that are exponentially smaller than the structures used in the previous version of this checking algorithm. Thus, the time complexity of this algorithm is exponentially reduced.
引用
收藏
页码：294 / 303
页数：9
相关论文
共 50 条
  • [1] Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
    Garanina, N. O.
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 2012, 38 (06) : 294 - 303
  • [2] The Complexity of Model Checking Succinct Multiagent Systems
    Huang, Xiaowei
    Chen, Qingliang
    Su, Kaile
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1076 - 1082
  • [3] Model checking multiagent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (03) : 401 - 423
  • [4] Bounded model checking of strategy ability with perfect recall
    Huang, Xiaowei
    [J]. ARTIFICIAL INTELLIGENCE, 2015, 222 : 182 - 200
  • [5] Model Checking for Probabilistic Multiagent Systems
    Chen Fu
    Andrea Turrini
    Xiaowei Huang
    Lei Song
    Yuan Feng
    Li-Jun Zhang
    [J]. Journal of Computer Science and Technology, 2023, 38 : 1162 - 1186
  • [6] Model Checking for Probabilistic Multiagent Systems
    Fu, Chen
    Turrini, Andrea
    Huang, Xiaowei
    Song, Lei
    Feng, Yuan
    Zhang, Li-Jun
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 38 (05) : 1162 - 1186
  • [7] Approximating Perfect Recall When Model Checking Strategic Abilities
    Belardinelli, Francesco
    Lomuscio, Alessio
    Malvone, Vadim
    [J]. SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 435 - 444
  • [8] Model checking hybrid multiagent systems for the RoboCup
    Furbach, Ulrich
    Murray, Jan
    Schmidsberger, Falk
    Stolzenburg, Frieder
    [J]. ROBOCUP 2007: ROBOT SOCCER WORLD CUP XI, 2008, 5001 : 262 - +
  • [9] Validation of multiagent systems by symbolic model checking
    Benerecetti, M
    Cimatti, A
    [J]. AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 32 - 46
  • [10] Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
    Dima, Catalin
    [J]. COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2009, 5405 : 117 - 131
12345