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 条

[21] Swarming behavior of multi-agent systems
Hong SHI
JournalofControlTheoryandApplications, 2004, (04) : 313 - 318
[22] Adversarial behavior in multi-agent systems
Rehák, M
Pechoucek, M
Tozicka, J
MULTI-AGENT SYSTEMS AND APPLICATIONS IV, PROCEEDINGS, 2005, 3690 : 470 - 479
[23] On achievable goals and feasible plans in open multi-agent systems
Sichman, JS
MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 375 - 380
[24] Model Checking Multi-Agent Systems against LDLK Specifications
Kong, Jeremy
Lomuscio, Alessio
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 1138 - 1144
[25] 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
[26] Implementation of Epistemic Operators for Model Checking Multi-agent Systems
Babac, Marina Bagic
Kunstic, Marijan
COMPUTATIONAL COLLECTIVE INTELLIGENCE: SEMANTIC WEB, SOCIAL NETWORKS AND MULTIAGENT SYSTEMS, 2009, 5796 : 217 - 228
[27] Imprecise Probabilistic Model Checking for Stochastic Multi-agent Systems
Termine A.
Antonucci A.
Primiero G.
Facchini A.
SN Computer Science, 4 (5)
[28] The Impact of Strategies and Information in Model Checking for Multi-Agent Systems
Malvone, Vadim
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 391 : 63 - 70
[29] Analyzing Multi-agent Systems with Probabilistic Model Checking Approach
Song, Songzheng
Hao, Jianye
Liu, Yang
Sun, Jun
Leung, Ho-Fung
Dong, Jin Song
2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 1337 - 1340
[30] Model checking combined trust and commitments in Multi-Agent Systems
Baharloo, Narges
Bentahar, Jamal
Drawel, Nagat
Pedrycz, Witold
EXPERT SYSTEMS WITH APPLICATIONS, 2024, 243

← 1 2 3 4 5 →