On feasible cases of checking multi-agent systems behavior

被引：5
|
作者：
Dekhtyar, M [1 ]
Dikovsky, A
Valiev, M
机构：
[1] Tver State Univ, Dept Comp Sci, Tver 170000, Russia
[2] Univ Nantes, IRIN, F-44322 Nantes 03, France
[3] MV Keldysh Appl Math Inst, Moscow 125047, Russia
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 303卷 / 01期
关键词：
multi-agent system; temporal logics; model checking; complexity;
D O I：
10.1016/S0304-3975(02)00445-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system definition. We show that there are deterministic or nondeterministic polynomial time check algorithms under some realistic structural and semantic restrictions on agent programs and actions. (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：63 / 81
页数：19
相关论文
共 50 条
  • [1] Checking multi-agent systems behavior properties
    Dekhtyar, M
    Dikovsky, A
    Valiev, M
    2002 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE SYSTEMS, PROCEEDINGS, 2002, : 308 - 313
  • [2] Feasible formations of multi-agent systems
    Tabuada, P
    Pappas, GJ
    Lima, P
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 56 - 61
  • [3] Model checking multi-agent systems
    Yuan Mengting
    Yu Chao
    2007 INTERNATIONAL CONFERENCE ON SERVICE SYSTEMS AND SERVICE MANAGEMENT, VOLS 1-3, 2007, : 567 - +
  • [4] Model Checking Multi-Agent Systems
    Bourahla, Mustapha
    Benmohamed, Mohamed
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2005, 29 (02): : 189 - 197
  • [5] Abstraction for model checking multi-agent systems
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
  • [6] Model Checking Multi-agent Systems with APTL
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
  • [7] A model checking algorithm for multi-agent systems
    Benerecetti, M
    Giunchiglia, F
    Serafini, L
    INTELLIGENT AGENTS V: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1999, 1555 : 163 - 176
  • [8] Module Checking of Pushdown Multi-agent Systems
    Bozzelli, Laura
    Murano, Aniello
    Peron, Adriano
    KR2020: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2020, : 162 - 171
  • [9] STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS
    Nigro, Libero
    Sciammarella, Paolo F.
    PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017, 2017, : 11 - 17
  • [10] Abstraction for model checking multi-agent systems
    Conghua Zhou
    Bo Sun
    Zhifeng Liu
    Frontiers of Computer Science in China, 2011, 5 : 14 - 25
12345