CM30174 + CM50206 Intelligent Agents Marina De Vos, Julian Padget - - PowerPoint PPT Presentation

cm30174 cm50206 intelligent agents
SMART_READER_LITE
LIVE PREVIEW

CM30174 + CM50206 Intelligent Agents Marina De Vos, Julian Padget - - PowerPoint PPT Presentation

Agents or Equations? Case studies Tools CM30174 + CM50206 Intelligent Agents Marina De Vos, Julian Padget East building: x5053, x6971 Agent-Based Modelling / version 0.4 November 29, 2011 De Vos/Padget (Bath/CS) CM30174/ABM November 29,


slide-1
SLIDE 1

Agents or Equations? Case studies Tools

CM30174 + CM50206 Intelligent Agents

Marina De Vos, Julian Padget East building: x5053, x6971

Agent-Based Modelling / version 0.4

November 29, 2011

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 1 / 55

slide-2
SLIDE 2

Agents or Equations? Case studies Tools

Why do ABM?

Recall institutions: empirical evaluation of institution design In silico is cheaper than in vivo Good for feasibility studies: technology, policy, governance Get statistics to do the work: scale observation of trends Visual interpretation: hides/reveals behaviour

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 2 / 55

slide-3
SLIDE 3

Agents or Equations? Case studies Tools

Content

1

Agents or Equations?

2

Case studies School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

3

Tools

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 3 / 55

slide-4
SLIDE 4

Agents or Equations? Case studies Tools

Objectives

Illustrate the range of application of agent-based simulation Identify problems arising from the approach Contrast ABM and equational modelling Demonstrate how institutions combine analytical and empirical approaches Demonstrate the need for informative visualizations to interpret collective behaviour

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 4 / 55

slide-5
SLIDE 5

Agents or Equations? Case studies Tools

Content

1

Agents or Equations?

2

Case studies

3

Tools

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 5 / 55

slide-6
SLIDE 6

Agents or Equations? Case studies Tools

Why agent-based simulation?

We can design mechanisms and institutions We can verify institutions — analysts! But how do we test them? — empiricists! Simulation allows us to evaluate the designs empirically But it is not without risk: we have to model precisely enough for the results to be valid Agent-based modeling is a bottom-up approach using on local interaction. Allows study of mechanics of

micro-macro relationships in model and trajectories taken to reach equilibria

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 6 / 55

slide-7
SLIDE 7

Agents or Equations? Case studies Tools

How can ABM help?

Modelling and validating normative frameworks

... or social institutions ... or governance mechanisms

Populations can take many forms:

... equational ... agent-based (interaction rules, e.g. Life?1) ... AI-agents (logic, planning, reasoning)

Institutions too:

... explicit: regulatory or regimented specifications ... implicit: observable through agent (inter-)actions

1http://en.wikipedia.org/wiki/Conway’s_Game_of_Life De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 7 / 55

slide-8
SLIDE 8

Agents or Equations? Case studies Tools

Agent-based simulation

Comprises agents + environment Agents have states and behavioural rules Fixed states are parameters and dynamic ones are variables Environment may be spatial (e.g., a rectangular grid), or non-spatial (e.g., an abstract trading community) Interactions can be direct, where an action immediately changes the state of a partner, or indirect, where an action changes the environment, which, in turn, causes a partner’s state to change. Environment may be active, having own behaviour to model co-evolution with agents, or passive

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 8 / 55

slide-9
SLIDE 9

Agents or Equations? Case studies Tools

Cost of ABM

Bottom-up ⇒ behavioral rules for each agent Computational cost higher than calculating dynamics of aggregate global variables of equational models. ABMs typically do not contain pro-active, AI-type agents, because:

Consumes significant computational resources Full agency makes the system harder to understand — conflicts with aim of scientific experimentation The inherent multi-threaded nature of AI-agency inhibits replication of results — a basic requirement for scientific research. But sometimes need that complication

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 9 / 55

slide-10
SLIDE 10

Agents or Equations? Case studies Tools

Is the simulation right?

Action depends on purpose: validation (of hypotheses) vs. prediction Four complementary approaches:

1

Docking: process of aligning the outputs of one simulation with another for given scenarios

2

Parameter sweep: process of varying a parameter over a range and collecting and visualizing the data to determine the influence of a given paramter

3

Hypothesis formation and testing: running the simulation to provide evidence for or against hypothesis

4

Validation against empirical data: are the model outputs sufficiently similar to real-world observations?

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 10 / 55

slide-11
SLIDE 11

Agents or Equations? Case studies Tools

Equations vs. Agents 1/2

Equations model relationships between observables: encoded in the model inputs Agents model individual behaviour: relationships emerge as model outputs ’What-if’ experiments by changing agent behaviour Equations model system-level observables Agents model individual observables Equations typically regard population as homogeneous Agents model indivduals each with potentially different behaviours

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 11 / 55

slide-12
SLIDE 12

Agents or Equations? Case studies Tools

Equations vs. Agents 2/2

Is variation not averaged out in a large enough population? Yes, but lose capability to observe individual agent behaviour Agents can model more complex situations than equations: adding another agent or another attribute is simple Extending an equation decreases analytic tractability Equations permit proof of mathematical properties Agents generate data that constitutes evidence for/against a hypothesis

Summarized from [Parunak et al., 1998]

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 12 / 55

slide-13
SLIDE 13

Agents or Equations? Case studies Tools

Agents or Equations?

Ab initio: What do you want to model? big picture or individual interactions? What can you model? macro or micro relationships? What do you understand? what behaviour is (≈)certain? What data is available to support/deny hypotheses? can relevant indicators be collected? But, if a model exists, so much the better! use it to validate new model use new model to validate it Answer: Agents and equations

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 13 / 55

slide-14
SLIDE 14

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Content

1

Agents or Equations?

2

Case studies School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

3

Tools

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 14 / 55

slide-15
SLIDE 15

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Case studies

1

Social policy analysis: the Baker school reforms (UK, mid 1980s)

2

Evolution of the carbon footprint of the UK housing stock

3

Call routing in call centres

4

Wireless grids

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 15 / 55

slide-16
SLIDE 16

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Systems Dynamics

Systems Dynamics (SD) is widely used in studying complex systems SD models identify system variables and describe their dynamics as flows Flows take the form of high-level aggregate equations, usually ordinary or partial differential equations, hence equation-based modelling or EBM SD model is a set of equations, and execution consists of evaluating them. Good for centralized models of homogeneous entities whereas ABM suits domains with a high degree of heterogeneity, localization and distribution.

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 16 / 55

slide-17
SLIDE 17

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Quantitative System Dynamics

Tool for the analysis of dynamic inter-dependencies Methodology:

1

Map processes and lines of influence

2

Label positive (re-enforcing) or negative (dampening)

3

Identify sub-systems within the map where all the lines are positive — explosive growth

4

Likewise negative — implosive collapse

5

Known as “runaway loops”

Three questions:

1

How positive is positive? How fast will system runaway?

2

How well connected is the sub-system to the driver variables? Determines system sensitivity to runaway loops

3

What opportunities are there to dampen the runaway loops?

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 17 / 55

slide-18
SLIDE 18

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

QSD Model of UK School Policy

Parental demand for places at par- ticular schools School roll Resources/pupil School’s scope for shifting to middle- class intake Teacher morale Parental invest- ment of social capital School results League tables name and shame Special measures

Government Schools Parents

Adapted from [Room and Britton, 2006]

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 18 / 55

slide-19
SLIDE 19

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

3 class-sensitive schools

Inherent instability

  • f

system drives two schools to extremes, third is largely unaf- fected

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 19 / 55

slide-20
SLIDE 20

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

10 class-blind schools

As with previous case, but larger school population—several get driven in each direction, no middle ground

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 20 / 55

slide-21
SLIDE 21

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Stochastic shock succeeds

Can some external fac- tor change the local sit- uation? A “big enough” shock can cause ex- change of positions

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 21 / 55

slide-22
SLIDE 22

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Class blind niche

A change of policy by the “declining” school, not only improves its situation, but also holds back the competing school.

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 22 / 55

slide-23
SLIDE 23

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Implementation

Repast Agent behaviour expressed as rules using JBOSS rules — standard RETE expert system shell in Java

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 23 / 55

slide-24
SLIDE 24

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Reflections on school choice model

EBM helped validate ABM ABM identified assumption in Room-Britton model Stepping outside two-school scenario reveals unexpected results: emergent properties or modelling errors? ABM permits scenarios that are impossible to analyse in EBM: again are results reliable?

Acknowledgements: Perdita Robinson (CS, 2007), Graham Room (Centre for Social Policy Research)

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 24 / 55

slide-25
SLIDE 25

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Exercise: Intelligent vehicles

Groups: 2–3 people Objective: Sketch a simulation scenario for autonomous vehicles to use ad-hoc networks to organize themselves Plan:

Pair up Core activity [10 mins in all]

Identify potential scenarios Choose one to explore in more detail Consider what information is needed (sources) and what communication is required Identify expected outcomes Repeat as desired

Reflect and discuss [10 mins]

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 25 / 55

slide-26
SLIDE 26

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Carbon Footprint Evolution

“In 2004, more than a quarter of the UKs carbon dioxide emissions a major cause of climate change came from the energy we use to heat, light and run our homes. So its vital to ensure that homes are built in a way that minimises the use of energy and reduces these harmful emissions.” (Communities and Local Government, 2008)

Use ABM to explore the environmental impact of changes to the UK housing stock DECarb [Natarajan and Levermore, 2007]: EBM of transformation of housing stock Validation by back-casting: like fore-casting, but backwards! From 1996 to 1970.

Within 0.9% of actual carbon emissions Within 5.4% of actual energy consumption

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 26 / 55

slide-27
SLIDE 27

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Validation + Extension

Objectives:

ABM of housing stock using DECarb front-end Validation by back-casting NEW: Detailed demolition model NEW: Energy-related behaviours NEW: Influence of government policy

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 27 / 55

slide-28
SLIDE 28

DECarb

The user can define the scenario they wish to explore using a series of malleable graphs

slide-29
SLIDE 29

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Modelling the UK Housing Stock

Every household in the UK can be modelled as an individual entity—an agent Due to computational resources, every agent currently represents around 200 households Potential to model every household with individual behavioural characteristics Marionettes: ABM technique, where behaviour is defined globally, but each agent has local state

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 28 / 55

slide-30
SLIDE 30

Results Obtained Using Marionettes

slide-31
SLIDE 31

Results Obtained Using Marionettes

slide-32
SLIDE 32

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Reflections on carbon footprint model

EBM helped validate ABM ABM also helped identify some anomalies in EBM ABM permits exploration of scenarios that are infeasible to model using existing DECarb model ABM permits modelling heterogeneous populations of behaviours with the capacity even for individual variation

Acknowledgements: Liam Elliott (CS, 2008), Sukumar Natarajan (Architecture). More details in [Natarajan et al., 2011].

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 29 / 55

slide-33
SLIDE 33

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Call routing in call centres

Fundamental to the operation of most large organisations And also emergency services and government agencies Function: route calls, monitor KPIs and collect data. Aim:

Forecast future call volumes Allocate shifts efficiently Experiment with business models Optimize performance + Maintain cost/service tradeoff

Challenges: poor QoS, high staff turnover, arising from

Long waiting queues Inexperienced operators Inaccurate call allocations Inefficient management of staffing levels

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 30 / 55

slide-34
SLIDE 34

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Conventional architecture

Call Router Call Handler1 · · · Call Handlern allocate status,skills

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 31 / 55

slide-35
SLIDE 35

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Perception and Reality

Human view: but modelling directly

Complex protocols Large state spaces Hard-to-maintain agents Complex call router Centralized decision-making, loss of resilience

Agent view: individuals that

Play roles Function as a collective Distribute work among themselves Implement observably the organization

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 32 / 55

slide-36
SLIDE 36

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Hierarchical model (ICD)

Administrator Router Handler1 Handleri Handlerm Call 1 Call 2 · · · Call n Allocation Proposal Work Request or Confirmation

JADE: complex FSMs, not scalable, not robust Cougaar: 560 call handlers processing 43,365 calls over a (simulated) day Docks with Call Centre Workshop (CCW) simulator, but (much) slower Synthetic and empirical data (Sun Alliance, HSBC, LLoyds, Virgin Mobile)

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 33 / 55

slide-37
SLIDE 37

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Self-organizing model (IRN)

Cluster B Skill Group B Negotiation order Cluster A Skill Group A

Administrator

Sending new calls

HA1 HA2 HA3 HA4 HA1 HA2 HA3 HA4 HA5

1

Administrator sends call to skill group

2

Skill group identifies handler

3

Or queues call for next available Simple, inefficient, non-resilient... but satisifies KPIs!

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 34 / 55

slide-38
SLIDE 38

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Key Performance Indicators (synthetic data)

Overall: agent models appear to perform similarly and track CCW

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 35 / 55

slide-39
SLIDE 39

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Service levels (synthetic)

Basket metric that combines previous four

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 36 / 55

slide-40
SLIDE 40

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Service levels (actual)

Green line is service target

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 37 / 55

slide-41
SLIDE 41

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Reflections on call routing

ABM shows self-organization is a viable alternative: within 5% of CCW on service level Too easy to make agents too complicated system lock-up Direct modelling of human organizations does not always make the best use of software agents Better to build equivalent models than facsimilies? Potential to simulate and control with the same sytem

Acknowledgements: Dimitris Traskas (CACI Ltd.). More details in [Traskas and Padget, 2011].

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 38 / 55

slide-42
SLIDE 42

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Scenario

Next generation mobile phones (4G) Problem: higher demands, same infrastructure Solution? use handsets as part of network Benefits:

Faster download times: split content, downloading subset with 3G, get rest with wifi from neighbouring handsets Extend battery cycle: trade off high-cost 3G for low-cost wifi communication Reduced load on infrastructure network

Test case: digital content to distribute to a several nodes that also have a cheap (in terms of power and money) connection via an ad-hoc network

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 39 / 55

slide-43
SLIDE 43

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Off-line model

Focus on static properties of normative system (useful for verification and design of protocols) Fast to build, but high chance of over-specification of constraints Assumption of limited autonomy of actors Starting point for on-line model Initial problem:

1

Handset: alice bob

2

Chunk: x1 x2 x3 x4

3

Channel: c1 c2

4

Time: 1 2 3 4

Off-line specification > 150 lines

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 40 / 55

slide-44
SLIDE 44

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Visualization

C1 C2 Alice Bob x1

  • bserved(obtain(alice,x1,c1),i01)

alice={},bob={} x2

  • bserved(obtain(bob,x2,c2),i02)

alice={x1},bob={} x1

  • bserved(download(bob,alice,x1),i03)

alice={x1},bob={x2} x3

  • bserved(obtain(alice,x3,c1),i04)

alice={x1},bob={x2,x1} alice={x1,x3},bob={x2} x4

  • bserved(obtain(bob,x4,c2),i06)

alice={x1,x3},bob={x2,x1} x2

  • bserved(download(alice,bob,x2),i07)

alice={x1,x3},bob={x2,x1,x4}

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 41 / 55

slide-45
SLIDE 45

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

On-line model

Focus on assisting the running of and adherence to a protocol Inclusion of autonomous participant that can reflect upon a normative state More realistic with regard to open systems More complex and harder to build ASP queries take time, but provide essential information:

about current state, including applicable norms potential impact of own actions what might happen in the future

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 42 / 55

slide-46
SLIDE 46

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

On-line sharing specification

1

download(A,X,C) generates intDownload(A,X,C);

2 3

intDownload(A,X,C) initiates hasChunk(A,X);

4

intDownload(A,X,C) terminates downloadChunk(A,X);

5

intDownload(A,X,C) terminates perm(download(A,X,C1));

6 7

send(A,X) generates intSend(A) if hasChunk(A,X);

8 9

intSend(B) initiates perm(intReceive(B,X));

10 11

send(A,X) generates intReceive(B,X);

12 13

intReceive(A,X) initiates hasChunk(A,X);

14

intReceive(A,X) terminates perm(intReceive(A,X));

15

intReceive(A,X) terminates pow(intReceive(A,X));

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 43 / 55

slide-47
SLIDE 47

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

The Online Reasoning Process

Governor Environment Agent getPercepts() query result agent reasoning executeAction() externalEvent() newState() clingo ASP query (InstAL) InstAL translation and grounding ASP result

Figure: Interaction of the components

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 44 / 55

slide-48
SLIDE 48

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Reflections on Wireless Grids

AI-type agents Use of Jason agent platform (Agentspeak) Awkward connection to to institutional model (ASP , clingo) Agent behaviour can be affected by institution “what-if” policy experiments

Acknowledgements: Tina Balke (Uni. Bayreuth). More details in [Balke et al., 2011].

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 45 / 55

slide-49
SLIDE 49

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Autonomous vehicles

Objectives:

Situational awareness for agents

What do you sensors tell you? What do other agents tell you?

To establish collective behaviours To work out how much information to reveal To experiment with institutional models in a dynamic environment

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 46 / 55

slide-50
SLIDE 50

Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles

Implementation + visualization

Jason platform – BDI agents Tankcoders – networked 3D virtual environment Convoy formation:

Obstacle detection 2-car convoy 5-car convoy

Replace simulated cars by Lego robots

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 47 / 55

slide-51
SLIDE 51

Agents or Equations? Case studies Tools

Content

1

Agents or Equations?

2

Case studies

3

Tools

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 48 / 55

slide-52
SLIDE 52

Agents or Equations? Case studies Tools

Repast

http://repast.sourceforge.net/ Repast (REcursive Porous Agent Simulation Toolkit) Offers a relatively simple Java API for the construction and monitoring of discrete-even simulations Extend the class <name> to make different kinds of agents Override the step method to define the agent’s actions Examine the state of other agents by At each cycle of the simulation, the step method of each agent is called. Technology is relatively straightforward: challenge is in defining the right experiments and drawing appropriate conclusions.

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 49 / 55

slide-53
SLIDE 53

Agents or Equations? Case studies Tools

NetLogo

http://ccl.northwestern.edu/netlogo/ Written in Java Targetted at social science simulations Features

User programs in a dialect of Logo extended to support agents Can link agents to make aggregates, networks, and graps Cross-platform reproduciblity Visualization of environment in 2D and 3D, interface builder Speed control Extensive model library

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 50 / 55

slide-54
SLIDE 54

Agents or Equations? Case studies Tools

Mason

http://www.cs.gmu.edu/˜eclab/projects/mason/ Multi-Agent Simulator Of Neighborhoods Claims to be a fast discrete-event multiagent simulation library core in Java Extensive model library Visualization in 2D and 3D Support for checkpointing and migration Reproducibility across platforms

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 51 / 55

slide-55
SLIDE 55

Agents or Equations? Case studies Tools

Summary 1/2

Why use ABM?

Allows modeller to concentrate on interactions between components: bottom-up Ease of modification/extension: new behaviour, additional events Heterogenous populations

Why not to use ABM!

Results are empirical not analytical: evidence not proof Validation is difficult Loss of perspective: need top-down approach too

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 52 / 55

slide-56
SLIDE 56

Agents or Equations? Case studies Tools

Summary 2/2

Attractive method for modelling/exploring mechanism design Tradeoff: simple model but lots of run-time — plan experiments carefully Possibility of exploring mixed human/simulation environments using avatars (participatory simulation) But easy to generate unsound results — and bugs are hard to spot!

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 53 / 55

slide-57
SLIDE 57

Agents or Equations? Case studies Tools

Recommended Reading

Wooldridge: does not discuss ABM [Parunak et al., 1998] compares equational and agent based simulation [Gilbert and Bankes, 2002] gives a brief survey and evaluation of software platforms for ABM www.pnas.org, May (suppl. 3), 2002 has a collection of papers about agent-based modelling

De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 54 / 55

slide-58
SLIDE 58

Agents or Equations? Case studies Tools

References

Balke, T., Vos, M. D., and Padget, J. (2011). Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Computer Systems, 27(8):1092–1102. Gilbert, N. and Bankes, S. (2002). Platforms and methods for agent-based modeling. Proceedings of the National Academy of Sciences, 99 (suppl. 3):7197–7198. Available via www.pnas.orgcgidoi10. 1073pnas.072079499. Natarajan, S. and Levermore, G. (2007). Predicting future UK housing stock and carbon emissions. Energy Policy, 35(11):5719–5727. Natarajan, S., Padget, J., and Elliott, L. (2011). Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy & Buildings, 43:2602–2612. http://dx.doi.org/10.1016/j. enbuild.2011.05.013. Parunak, H. V. D., Savit, R., and Riolo, R. L. (1998). Agent-based modeling vs. equation-based modeling: A case study and users’ guide. In Sichman, J. S., Conte, R., and Gilbert, N., editors, MABS, volume 1534 of Lecture Notes in Computer Science, pages 10–25. Springer. Room, G. and Britton, N. (2006). The dynamics of social exclusion. International Journal of Social Welfare, 15. DOI:10.1111/j.1468-2397.2006.00417.x. Traskas, D. and Padget, J. (2011). A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26(5):347–367. De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 55 / 55