Constraint Exploration and Envelope of Simulation Trajectories

Details Constraint Exploration and Envelope of Simulation Trajectories Constraint Exploration and Envelope of Simulation Trajectories

2000-07-03

arxiv.org/abs/cs/0007001v1

Computer Science

Programming Languages

15 pages, To be presented at the First Workshop on Rule-Based Constraint Reasoning and Programming at the First International

Scientific paper

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

Affiliated with

Also associated with

No associations

Rating

Constraint Exploration and Envelope of Simulation Trajectories does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Constraint Exploration and Envelope of Simulation Trajectories, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Constraint Exploration and Envelope of Simulation Trajectories will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-728318