Checking multi-agent systems behavior properties

被引：0
|
作者：
Dekhtyar, M [1 ]
Dikovsky, A [1 ]
Valiev, M [1 ]
机构：
[1] Tver State Univ, Dept CS, Tver 170013, Russia
来源：
2002 IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE SYSTEMS, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/ICAIS.2002.1048119
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The complexity of checking multi-agent systems behavior properties is studied. The behavior properties are formulated using first order temporal logic languages and are checked relative to the state transition systems determined by the multi-agent system definition. Various tight complexity bounds of the behavior properties are established under natural structural and semantic restrictions on agent programs and actions. Several interesting deterministic or nondeterministic polynomial time problem classes are established.
引用
收藏
页码：308 / 313
页数：6
相关论文
共 50 条
  • [1] On feasible cases of checking multi-agent systems behavior
    Dekhtyar, M
    Dikovsky, A
    Valiev, M
    THEORETICAL COMPUTER SCIENCE, 2003, 303 (01) : 63 - 81
  • [2] Model checking game properties of multi-agent systems
    Henzinger, TA
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 543 - 543
  • [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] Checking social properties of multi-agent systems with activity theory
    Fuentes, R
    Gómez-Sanz, JJ
    Pavón, J
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, 2004, 3315 : 1 - 11
  • [6] Abstraction for model checking multi-agent systems
    Zhou, Conghua
    Sun, Bo
    Liu, Zhifeng
    FRONTIERS OF COMPUTER SCIENCE IN CHINA, 2011, 5 (01): : 14 - 25
  • [7] Model Checking Multi-agent Systems with APTL
    Wang, Haiyang
    Duan, Zhenhua
    Tian, Cong
    AD HOC & SENSOR WIRELESS NETWORKS, 2017, 37 (1-4) : 35 - 52
  • [8] 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
  • [9] 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
  • [10] 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
12345