Common knowledge in well-structured perfect recall systems

被引：1
|
作者：
Garanina N.O. [1 ]
机构：
[1] Ershov Institute of Informatic Systems, Siberian Branch, Russian Academy of Sciences, pr. Akad. Lavrent’eva 6, Novosibirsk
来源：
Automatic Control and Computer Sciences | 2014年 / 48卷 / 07期
基金：
俄罗斯基础研究基金会;
关键词：
logic of common knowledge; model checking; multiagent perfect recall systems; well-structured systems;
D O I：
10.3103/S0146411614070086
中图分类号：
学科分类号：
摘要：
In this paper, a model checking problem for the μPLCn logic of common knowledge and fixpoints in well-structured multiagent systems with perfect recall is investigated. It is shown that a synchronous perfect recall environment generated by a well-structured environment and provided with a special PRS order forms a well-structured environment. This implies that the model checking problem for the disjunctive fragment of μPLCn is decidable. © 2014, Allerton Press, Inc.
引用
收藏
页码：381 / 388
页数：7
相关论文
共 50 条
  • [1] Expressiveness of well-structured pushdown systems
    Jin, Yang
    Cai, Xiao-Juan
    Li, Guo-Qiang
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2015, 49 (08): : 1084 - 1089
  • [2] Well-structured graph transformation systems
    Koenig, Barbara
    Stueckrath, Jan
    INFORMATION AND COMPUTATION, 2017, 252 : 71 - 94
  • [3] Well-structured transition systems everywhere!
    Finkel, A
    Suhnoebelen, P
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 63 - 92
  • [4] Termination and Boundedness for Well-Structured Pushdown Systems
    Lei, Suhua
    Cai, Xiaojuan
    Ogawa, Mizuhito
    2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 22 - 29
  • [5] Resilience of Well-structured Graph Transformation Systems
    Oezkan, Okan
    Wuerdemann, Nick
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (350): : 69 - 88
  • [6] Unfolding concurrent well-structured transition systems
    Herbreteau, Frederic
    Sutre, Gregoire
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 706 - +
  • [7] Ideal Abstractions for Well-Structured Transition Systems
    Zufferey, Damien
    Wies, Thomas
    Henzinger, Thomas A.
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 445 - 460
  • [8] Well-structured model checking of multiagent systems
    Shilov, N. V.
    Garanina, N. O.
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2007, 4378 : 363 - +
  • [9] The well-structured collaborators
    Kerdellant, Christine
    HISTORIA, 2023, (923): : 28 - 30
  • [10] Well-Structured Committees
    Gupta, Sushmita
    Jain, Pallavi
    Saurabh, Saket
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 189 - 195
12345