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 条
  • [41] SOCA-DSEM: a Well-Structured SOCA Development Systems Engineering Methodology
    Rodriguez-Martinez, Laura C.
    Duran-Limon, Hector A.
    Mora, Manuel
    Rodriguez, Francisco Alvarez
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2019, 16 (01) : 19 - 44
  • [42] PREFERENTIAL FLOW PROCESSES IN WELL-STRUCTURED SOILS
    SMETTEM, KRJ
    JOURNAL OF THE GEOLOGICAL SOCIETY, 1983, 140 (MAR) : 322 - 322
  • [43] Parallel Degree of Well-Structured Workflow Nets
    Qu, Nan
    Yamaguchi, Shingo
    Ge, Qi-Wei
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2010, E93A (12) : 2730 - 2739
  • [44] Well-Structured Program Equivalence Is Highly Undecidable
    Goldblatt, Robert
    Jackson, Marcel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (03)
  • [45] Preparation of well-structured organosilane layers on silica
    Duchet, J
    Gerard, JF
    Chapel, JP
    Chabert, B
    COMPOSITE INTERFACES, 2001, 8 (3-4) : 177 - 187
  • [46] On Reachability in Acyclic Well-Structured Workflow Nets
    Yamaguchi, Shingo
    2012 THIRD INTERNATIONAL CONFERENCE ON NETWORKING AND COMPUTING (ICNC 2012), 2012, : 441 - 446
  • [47] Preferential flow variability in a well-structured soil
    Williams, AG
    Dowd, JF
    Scholefield, D
    Holden, NM
    Deeks, LK
    SOIL SCIENCE SOCIETY OF AMERICA JOURNAL, 2003, 67 (04) : 1272 - 1281
  • [48] A well-structured modified Booth multiplier design
    Wang, Li-Rong
    Jou, Shyh-Jye
    Lee, Chung-Len
    2008 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN, AUTOMATION AND TEST (VLSI-DAT), PROCEEDINGS OF TECHNICAL PROGRAM, 2008, : 85 - 88
  • [49] Wetting properties of well-structured heterogeneous substrates
    Iliev, SD
    Pesheva, NC
    LANGMUIR, 2003, 19 (23) : 9923 - 9931
  • [50] Benefits of a Well-Structured Diagnostic Process in Colon Cancer
    Klemann, Victor M. W. T.
    Wolters, Frank L.
    Konsten, Joop L. M.
    DIGESTIVE SURGERY, 2011, 28 (01) : 15 - 21
12345