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 条
  • [31] Stress control for a well-structured life
    Goldstone, David C.
    Baker, Edward N.
    JOURNAL OF BIOLOGICAL CHEMISTRY, 2018, 293 (16) : 5806 - 5807
  • [32] Modelling Well-structured Argumentation Lines
    Martinez, Diego C.
    Garcia, Alejandro J.
    Simari, Guillermo R.
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 465 - 470
  • [33] A Small yet Well-Structured Step
    Jiang, Jovia
    Liu, Tianyu
    Osterland, Anke
    Squillaci, Marco Antonio
    Wen, Xi
    SMALL STRUCTURES, 2022, 3 (01):
  • [34] Information Use in Solving a Well-Structured IS Problem: The Roles of IS and Application Domain Knowledge
    Khatri, Vijay
    Vessey, Iris
    CONCEPTUAL MODELING - ER 2010, 2010, 6412 : 46 - +
  • [35] The importance of a well-structured strategy of transitions
    Verplaetze, A
    FIFTY YEARS AFTER BRETTON WOODS: THE NEW CHALLENGE OF EAST-WEST PARTNERSHIP FOR ECONOMIC PROGRESS, 1996, : 232 - 234
  • [36] N-grams: A well-structured knowledge representation for recognition of graphical documents
    Lank, E
    Blostein, D
    PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON DOCUMENT ANALYSIS AND RECOGNITION, VOLS 1 AND 2, 1997, : 801 - 804
  • [37] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
    Stephen K. Reed
    Educational Psychology Review, 2016, 28 : 691 - 716
  • [38] Synthesis and Assembly of Well-structured Hybrid Microgels
    Suzuki, Daisuke
    Kawaguchi, Haruma
    TRANSACTIONS OF THE MATERIALS RESEARCH SOCIETY OF JAPAN, VOL 33, NO 2, 2008, 33 (02): : 365 - 368
  • [39] WELL-STRUCTURED FHMA CODEBOOKS - A GEOMETRIC APPROACH
    JEVTIC, DB
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1991, 39 (10) : 1427 - 1432
  • [40] The Structure of Ill-Structured (and Well-Structured) Problems Revisited
    Reed, Stephen K.
    EDUCATIONAL PSYCHOLOGY REVIEW, 2016, 28 (04) : 691 - 716
12345