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
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,
Agents or Equations? Case studies Tools
Agent-Based Modelling / version 0.4
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 1 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 2 / 55
Agents or Equations? Case studies Tools
1
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 3 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 4 / 55
Agents or Equations? Case studies Tools
1
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 5 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 6 / 55
Agents or Equations? Case studies Tools
1http://en.wikipedia.org/wiki/Conway’s_Game_of_Life De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 7 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 8 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 9 / 55
Agents or Equations? Case studies Tools
1
2
3
4
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 10 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 11 / 55
Agents or Equations? Case studies Tools
Summarized from [Parunak et al., 1998]
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 12 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 13 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
1
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 14 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
1
2
3
4
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 15 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 16 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
1
2
3
4
5
1
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 17 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
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
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 18 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 19 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 20 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 21 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 22 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 23 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
Acknowledgements: Perdita Robinson (CS, 2007), Graham Room (Centre for Social Policy Research)
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 24 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
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
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 25 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 26 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 27 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 28 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
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
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 30 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 31 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 32 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
Administrator Router Handler1 Handleri Handlerm Call 1 Call 2 · · · Call n Allocation Proposal Work Request or Confirmation
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 33 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
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
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 34 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 35 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 36 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 37 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
Acknowledgements: Dimitris Traskas (CACI Ltd.). More details in [Traskas and Padget, 2011].
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 38 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 39 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
1
Handset: alice bob
2
Chunk: x1 x2 x3 x4
3
Channel: c1 c2
4
Time: 1 2 3 4
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 40 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
C1 C2 Alice Bob x1
alice={},bob={} x2
alice={x1},bob={} x1
alice={x1},bob={x2} x3
alice={x1},bob={x2,x1} alice={x1,x3},bob={x2} x4
alice={x1,x3},bob={x2,x1} x2
alice={x1,x3},bob={x2,x1,x4}
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 41 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 42 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
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
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
Governor Environment Agent getPercepts() query result agent reasoning executeAction() externalEvent() newState() clingo ASP query (InstAL) InstAL translation and grounding ASP result
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 44 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
Acknowledgements: Tina Balke (Uni. Bayreuth). More details in [Balke et al., 2011].
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 45 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
What do you sensors tell you? What do other agents tell you?
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 46 / 55
Agents or Equations? Case studies Tools School selection Carbon Footprint Call routing Wireless Grids Autonomous vehicles
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 47 / 55
Agents or Equations? Case studies Tools
1
2
3
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 48 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 49 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 50 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 51 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 52 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 53 / 55
Agents or Equations? Case studies Tools
De Vos/Padget (Bath/CS) CM30174/ABM November 29, 2011 54 / 55
Agents or Equations? Case studies Tools
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