e-space
Manchester Metropolitan University's Research Repository

Constraint Exploration and Envelope of Simulation Trajectories

Teran, O and Edmonds, B and Wallis, S (2000) Constraint Exploration and Envelope of Simulation Trajectories. In: First International Conference on Computational Logic, 24 July - 28 July 2000, London.

[img]
Preview

Download (165kB) | Preview

Abstract

The implicit theory that a simulation represents is precisely not in the individual choices but rather in the 'envelope' of possible trajectories - what is important is the shape of the whole envelope. Typically a huge amount of computation is required when experimenting with factors bearing on the dynamics of a simulation to tease out what affects the shape of this envelope. In this paper we present a methodology aimed at systematically exploring this envelope. We propose a method for searching for tendencies and proving their necessity relative to a range of parameterisations of the model and agents' choices, and to the logic of the simulation language. The exploration consists of a forward chaining generation of the trajectories associated to and constrained by such a range of parameterisations and choices. Additionally, we propose a computational procedure that helps implement this exploration by translating a Multi Agent System simulation into a constraint-based search over possible trajectories by 'compiling' the simulation rules into a more specific form, namely by partitioning the simulation rules using appropriate modularity in the simulation. An example of this procedure is exhibited. Keywords: Constraint Search, Constraint Logic Programming, Proof, Emergence, Tendencies

Impact and Reach

Statistics

Downloads
Activity Overview
20Downloads
77Hits

Additional statistics for this dataset are available via IRStats2.

Actions (login required)

Edit Item Edit Item