Login (DCU Staff Only)
Login (DCU Staff Only)

DORAS | DCU Research Repository

Explore open access research and scholarly works from DCU

Advanced Search

Replication in agent based models using formal methods and multiple updating strategies

Kehoe, Joseph (2017) Replication in agent based models using formal methods and multiple updating strategies. PhD thesis, Dublin City University.

Abstract
Agent based Modelling is now a standard form of modelling in the field of social simulations. One of the outstanding issues in this field is known as the Replication Problem. Simply stated this is the inability of researchers to independently replicate the results of Agent Based Models published by other researchers. This thesis outlines a two-part proposed solution to this problem that uses formal methods to precisely specify Agent Based Models and employs multiple updating strategies to demonstrate that any simulation results are independent of updating strategy. A novel synchronous updating algorithm is presented that allows synchronous updating to be extended from Cellular Automata based simulations to Agent Based Simulations. Asymptotic analysis of the novel synchronous algorithm shows that it is O(n log n) in time and O(n) in space. It is demonstrated that the new algorithm does not suffer from the deficiencies of existing asynchronous algorithms and that it also allows collision detection to be incorporated into agent behaviours. The applicability of this approach is demonstrated by specifying and then reproducing the results of Sugarscape, a well known and complex Agent Based Social Simulation. The first formal specification of Sugarscape is presented and used to identify the ambiguities that have made replication of the original results so difficult. A framework is developed that implements the new algorithm alongside existing asynchronous algorithms and is used to implement Sugarscape and compare the different updating approaches. This is the first synchronous implementation of Sugarscape and the only synchronous implementation of any Agent Based Model of comparable complexity. It is also the first comparison of synchronous and asynchronous updating applied to the same Agent Based Model.
Metadata
Item Type:Thesis (PhD)
Date of Award:12 November 2017
Refereed:No
Supervisor(s):Crane, Martin and Ruskin, Heather J.
Uncontrolled Keywords:Agent based Modelling; Replication Problem; Agent Based Models; Agent Based Social Simulations; Formal Methods, Z Notation, Synchronous Updating; Asynchronous Updating; Algorithms
Subjects:UNSPECIFIED
DCU Faculties and Centres:Research Initiatives and Centres > Scientific Computing and Complex Systems Modelling (Sci-Sym)
DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 3.0 License. View License
ID Code:21839
Deposited On:10 Nov 2017 13:02 by Martin Crane . Last Modified 24 Jan 2023 14:49
Documents

Full text available as:

[thumbnail of PhD Thesis]
Preview
PDF (PhD Thesis) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Creative Commons: Attribution-Noncommercial-No Derivative Works 3.0
2MB
Downloads

Downloads

Downloads per month over past year

Archive Staff Only: edit this record