On the formal analysis of the dynamics of simulated agent societies

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

doi:https://doi.org/10.1142/S021884300700155X

On the formal analysis of the dynamics of simulated agent societies

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

Research output: Contribution to journal › Article › Academic › peer-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 language	English
Pages (from-to)	27-50
Journal	International Journal of Cooperative Information Systems
Volume	16
Issue number	1
DOIs	https://doi.org/10.1142/S021884300700155X
Publication status	Published - Mar 2007
Externally published	Yes

Access to Document

https://doi.org/10.1142/S021884300700155X

Cite this

@article{1c6206e91bbd4e26aeceb3afb56a26a4,

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. {\textcopyright} World Scientific Publishing Company.",

author = "Eiben, {A. E.} and Jonker, {C. M.} and V. Popova and Schut, {M. C.}",

year = "2007",

month = mar,

doi = "https://doi.org/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",

}

TY - JOUR

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

AU - Eiben, A. E.

AU - Jonker, C. M.

AU - Popova, V.

AU - Schut, M. C.

PY - 2007/3

Y1 - 2007/3

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.

UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33847233670&origin=inward

U2 - https://doi.org/10.1142/S021884300700155X

DO - https://doi.org/10.1142/S021884300700155X

M3 - Article

SN - 0218-8430

VL - 16

SP - 27

EP - 50

JO - International Journal of Cooperative Information Systems

JF - International Journal of Cooperative Information Systems

IS - 1

ER -

On the formal analysis of the dynamics of simulated agent societies

Abstract

Access to Document

Other files and links

Cite this