On the formal analysis of the dynamics of simulated agent societies

V. Popova, A.E. Eiben, C.M. Jonker, M.C. Schut

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

To analyze emergent behavior, a formal framework is needed to characterize the structure and dynamics of complex interaction-based multi-agent systems. We introduce an extension of an existing agent testbed for artificial societies making it possible to formally analyze the dynamics of the simulated agent system. The extension generates temporally annotated logical terms that describe parts of the dynamics of the simulated system. Based on these terms, it is possible to validate hypotheses about the system on different levels of aggregation, i.e. agent, group and system level. We present first results from a set of simple experiments in a class of artificial societies. © World Scientific Publishing Company.
Original languageEnglish
Pages (from-to)27-50
JournalInternational Journal of Cooperative Information Systems
Volume16
Issue number1
DOIs
Publication statusPublished - 2007

Fingerprint

Testbeds
Multi agent systems
Agglomeration
Industry
Experiments

Bibliographical note

PEJS07

Cite this

@article{8bf3951250704215a5662f7514b596f5,
title = "On the formal analysis of the dynamics of simulated agent societies",
abstract = "To analyze emergent behavior, a formal framework is needed to characterize the structure and dynamics of complex interaction-based multi-agent systems. We introduce an extension of an existing agent testbed for artificial societies making it possible to formally analyze the dynamics of the simulated agent system. The extension generates temporally annotated logical terms that describe parts of the dynamics of the simulated system. Based on these terms, it is possible to validate hypotheses about the system on different levels of aggregation, i.e. agent, group and system level. We present first results from a set of simple experiments in a class of artificial societies. {\circledC} World Scientific Publishing Company.",
author = "V. Popova and A.E. Eiben and C.M. Jonker and M.C. Schut",
note = "PEJS07",
year = "2007",
doi = "10.1142/S021884300700155X",
language = "English",
volume = "16",
pages = "27--50",
journal = "International Journal of Cooperative Information Systems",
issn = "0218-8430",
publisher = "World Scientific Publishing Co. Pte Ltd",
number = "1",

}

On the formal analysis of the dynamics of simulated agent societies. / Popova, V.; Eiben, A.E.; Jonker, C.M.; Schut, M.C.

In: International Journal of Cooperative Information Systems, Vol. 16, No. 1, 2007, p. 27-50.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - On the formal analysis of the dynamics of simulated agent societies

AU - Popova, V.

AU - Eiben, A.E.

AU - Jonker, C.M.

AU - Schut, M.C.

N1 - PEJS07

PY - 2007

Y1 - 2007

N2 - To analyze emergent behavior, a formal framework is needed to characterize the structure and dynamics of complex interaction-based multi-agent systems. We introduce an extension of an existing agent testbed for artificial societies making it possible to formally analyze the dynamics of the simulated agent system. The extension generates temporally annotated logical terms that describe parts of the dynamics of the simulated system. Based on these terms, it is possible to validate hypotheses about the system on different levels of aggregation, i.e. agent, group and system level. We present first results from a set of simple experiments in a class of artificial societies. © World Scientific Publishing Company.

AB - To analyze emergent behavior, a formal framework is needed to characterize the structure and dynamics of complex interaction-based multi-agent systems. We introduce an extension of an existing agent testbed for artificial societies making it possible to formally analyze the dynamics of the simulated agent system. The extension generates temporally annotated logical terms that describe parts of the dynamics of the simulated system. Based on these terms, it is possible to validate hypotheses about the system on different levels of aggregation, i.e. agent, group and system level. We present first results from a set of simple experiments in a class of artificial societies. © World Scientific Publishing Company.

U2 - 10.1142/S021884300700155X

DO - 10.1142/S021884300700155X

M3 - Article

VL - 16

SP - 27

EP - 50

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

SN - 0218-8430

IS - 1

ER -