STATISTICAL MODEL CHECKING OF MULTI-AGENT SYSTEMS

被引：0

作者：

Nigro, Libero ^{[1
]}

Sciammarella, Paolo F. ^{[1
]}

机构：

[1] Univ Calabria, Software Engn Lab, DIMES, I-87036 Arcavacata Di Rende, CS, Italy

来源：

PROCEEDINGS - 31ST EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2017 | 2017年

关键词：

Statistical Model Checking; Multi-agent systems; Actors; UPPAAL SMC; Iterated Prisoner's Dilemma; EFFECTIVE CHOICE;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper proposes an original approach to modelling and simulation of multi-agent systems which is based on statistical model checking (SMC). The approach is prototyped in the context of the popular UPPAAL SMC toolbox. Usefulness and validation of the approach are checked by applying it to a known complex and adaptive model of the Iterated Prisoner's Dilemma (IPD) game, by studying the emergence of cooperation in the presence of different social interaction structures.

引用

页码：11 / 17

页数：7

共 16 条

[1]

Agha G., 1986, ACTORS MODEL CONCURR

[2]

[Anonymous], 199901002 SANT FE I

[3]

[Anonymous], COMMUNICATIONS COMPU

[4]

[Anonymous], 2007, Managing business complexity: Discovering strategic solutions with agent-based modeling and simulation

[5]

[Anonymous], 2006, The Evolution of Cooperation

[6] Beyond geography: Cooperation with persistent links in the absence of clustered neighborhoods [J].

Axelrod, R ;

Riolo, RL ;

Cohen, MD .

PERSONALITY AND SOCIAL PSYCHOLOGY REVIEW, 2002, 6 (04) :341-346

[7] MORE EFFECTIVE CHOICE IN THE PRISONERS-DILEMMA [J].

AXELROD, R .

JOURNAL OF CONFLICT RESOLUTION, 1980, 24 (03) :379-403

[8] EFFECTIVE CHOICE IN THE PRISONERS-DILEMMA [J].

AXELROD, R .

JOURNAL OF CONFLICT RESOLUTION, 1980, 24 (01) :3-25

[9]

Behrmann G, 2004, LECT NOTES COMPUT SC, V3185, P200

[10] Exploiting Social Capabilities in the Minority Game [J].

Cicirelli, Franco ;

Nigro, Libero .

ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2016, 27 (01)

← 1 2 →