Skip to main content
SpringerLink
Log in

Constructing and Interrogating Actor Histories

  • Chapter
  • First Online:
Exploring Intelligent Decision Support Systems

Part of the book series: Studies in Computational Intelligence ((SCI,volume 764))

  • 835 Accesses

Abstract

Complex systems, such as organizations, can be represented as executable simulation models using actor-based languages. Decision-making can be supported by system simulation so that different configurations provide a basis for what-if analysis. Actor-based models are expressed in terms of large numbers of concurrent actors that communicate using asynchronous messages leading to complex non-deterministic behaviour. This chapter addresses the problem of analyzing the results of model executions and proposes a general approach that can be added to any actor-based system. The approach uses a logic programming language with temporal extensions to query execution traces. The approach has been implemented and is shown to support a representative system model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://github.com/TonyClark/ESL.

References

  1. Ferber, J., Gutknecht, O.: A meta-model for the analysis and design of organizations in multiagent systems. In: Proceedings. International Conference on Multi Agent Systems, 1998., pp. 128–135. IEEE (1998)

    Google Scholar 

  2. Morgan, G.P., Carley, K.M.: An agent-based framework for active multi-level modeling of organizations. In: International Conference on Social Computing, Behavioral-Cultural Modeling and Prediction and Behavior Representation in Modeling and Simulation SBP-BRiMS 2016. Springer, Berlin (2016)

    Google Scholar 

  3. Pynadath, D.V., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Auton. Agent. Multi-Agent Syst. 7(1–2), 71–100 (2003)

    Article  Google Scholar 

  4. Fishwick, P.A.: Computer simulation: growth through extension. Trans. Soc. Comput. Simul. 14(1), 13–24 (1997)

    Google Scholar 

  5. McDermott, T., Rouse, W., Goodman, S., Loper, M.: Multi-level modeling of complex sociotechnical systems. Proc. Comput. Sci. 16, 1132–1141 (2013)

    Article  Google Scholar 

  6. Clark, T., Kulkarni, V., Barat, S., Barn, B.: Sense-making in a complex and complicated world. IBM Syst. J. 42(3), 462–483 (2003)

    Article  Google Scholar 

  7. Barat, S., Kulkarni, V., Clark, T., Barn, B.: Enterprise modeling as a decision making aid: a systematic mapping study. In: The Practice of Enterprise Modeling—9th IFIP WG 8.1. Working Conference, PoEM 2016, Skövde, Sweden, pp. 289–298

    Google Scholar 

  8. Barat, S., Kulkarni, V., Clark, T., Barn, B.: A simulation-based aid for organisational decisionmaking. In: 11th International Joint Conference on Software Technologies (ICSOFT 2016)—Volume 2: ICSOFT-PT, Lisbon, Portugal, July 24–26, 2016, pp. 109–116

    Google Scholar 

  9. Barat, S., Kulkarni, V., Clark, T., Barn, B.: A model based realisation of actor model to conceptualise an aid for complex dynamic decision-making. In: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017, Porto, Portugal, February 19–21, 2017, pp. 605–616

    Google Scholar 

  10. Clark, T., Kulkarni, V., Barat, S., Barn, B.: ESL: an actor-based platform for developing emergent behaviour organisation simulations. Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection—15th International Conference, PAAMS 2017, Porto, Portugal, June 21–23, 2017

    Google Scholar 

  11. Kulkarni, V., Barat, S., Clark, T., Barn, B.: A wide-spectrum approach to modelling and analysis of organisation for machine-assisted decision-making. In: Enterprise and Organizational Modeling and Simulation—11th International Workshop, EOMAS 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8–9, 2015

    Google Scholar 

  12. Kulkarni, V., Barat, S., Clark, T., Barn, B.S.: Toward overcoming accidental complexity in organisational decision-making. In: 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30–October 2, 2015, pp. 368–377 (2015)

    Google Scholar 

  13. Ricci, A., Agha, G., Bordini, R.H., Marron, A.: Special issue on programming based on actors, agents and decentralized control. Sci. Comput. Program. 98, 117–119 (2015)

    Article  Google Scholar 

  14. Clark, T., Kulkarni, V., Barat, S., Barn, B.: Actor monitors for adaptive behaviour. In: Proceedings of the 10th Innovations in Software Engineering Conference, ISEC 2017, Jaipur, India, February 5–7, 2017, pp. 85–95

    Google Scholar 

  15. De Koster, J., Van Cutsem, T., De Meuter, W.: 43 years of actors: a taxonomy of actor models and their key properties. In: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, pp. 31–40. ACM (2016)

    Google Scholar 

  16. Hewitt, C.: Actor model of computation: scalable robust information systems. arXiv preprint arXiv:1008.1459 (2010)

  17. Bosse, T., Jonker, C.M., Van der Meij, L., Sharpanskykh, A., Treur, J.: Specification and verification of dynamics in cognitive agent models. In: IAT, pp. 247–254. Citeseer (2006)

    Google Scholar 

  18. Caillou, P., Gaudou, B., Grignard, A., Truong, C.Q., Taillandier, P.: A simple-to-use BDI architecture for agent-based modeling and simulation. In: The Eleventh Conference of the European Social Simulation Association (ESSA 2015) (2015)

    Google Scholar 

  19. Galland, S., Knapen, L., Gaud, N., Janssens, D., Lamotte, O., Koukam, A., Wets, G., et al.: Multi-agent simulation of individual mobility behavior in carpooling. Transp. Res. Part C: Emerg. Technol. 45, 83–98 (2014)

    Article  Google Scholar 

  20. Singh, D., Padgham, L., Logan, B.: Integrating BDI agents with agent-based simulation platforms. Auton. Agent. Multi-Agent Syst. 30(6), 1050–1071 (2016)

    Article  Google Scholar 

  21. Bosse, T., Jonker, C.M., Van Der Meij, L., Treur, J.: LEADSTO: a language and environment for analysis of dynamics by simulation. In: German Conference on Multiagent System Technologies, pp. 165–178. Springer, Berlin (2005)

    Google Scholar 

  22. Bosse, T., Duell, R., Memon, Z.A., Treur, J., Van DerWal, C.N.: Multi-agent model for mutual absorption of emotions. ECMS 2009, 212–218 (2009)

    Article  Google Scholar 

  23. Sukthankar, G., Sycara, K.: Simultaneous team assignment and behavior recognition from spatio-temporal agent traces. AAAI 6, 716–721 (2006)

    Google Scholar 

  24. Vasconcelos, W.W., Kollingbaum, M.J., Norman, T.J.: Normative conflict resolution in multiagent systems. Auton. Agents Multi-Agent Syst. 19(2), 124–152 (2009)

    Google Scholar 

  25. Ndumu, D.T., Nwana, H.S., Lee, L.C., Collis, J.C.: Visualising and debugging distributed multi-agent systems. In: Proceedings of the IRD Annual Conference on Autonomous Agents, AGENTS ’99, pages 326–333, New York, NY, USA, 1999. ACM

    Google Scholar 

  26. Bulling, N., Van der Hoek, W.: Preface: special issue on logical aspects of multi-agent systems. Stud. Log. (Special Issue), 2016 (2016)

    Google Scholar 

  27. Winikoff, M., Cranefield, S.: On the testability of BDI agent systems. J. Artif. Intell. Res. (JAIR) 51, 71–131 (2014)

    MathSciNet  MATH  Google Scholar 

  28. Borgwardt, S., Lippmann, M., Thost, V.: Temporal query answering in the description logic DL-lite. In: International Symposium on Frontiers of Combining Systems, pp. 165–180. Springer, Berlin (2013)

    Google Scholar 

  29. Al-Kateb, M., Ghazal, A., Crolotte, A., Bhashyam, R., Chimanchode, J., Pakala, S.P.: Temporal query processing in teradata. In: Proceedings of the 16th International Conference on Extending Database Technology, pp. 573–578. ACM (2013)

    Google Scholar 

  30. Kaufmann, M., Vagenas, P., Fischer, P.M., Kossmann, D., Färber, F.: Comprehensive and interactive temporal query processing with sap hana. Proc. VLDB Endow. 6(12), 1210–1213 (2013)

    Article  Google Scholar 

  31. Kaufmann, M., Manjili, A.A., Vagenas, P., Fischer, P.M., Kossmann, D., Färber, F., May, N.: Timeline index: a unified data structure for processing queries on temporal data in SAP HANA. In: Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data, pp. 1173–1184. ACM (2013)

    Google Scholar 

  32. Kruse, R., Steinbrecher, M., Moewes, C.: Temporal pattern mining. In: 2010 International Conference on Signals and Electronic Systems (ICSES), pp. 3–8. IEEE (2010)

    Google Scholar 

  33. Räim, M., Di Ciccio, C., Maggi, F.M., Mecella, M., Mendling, J.: Log-based understanding of business processes through temporal logic query checking. In: OTM Conferences, pp. 75–92. Springer, Berlin (2014)

    Google Scholar 

  34. Borgwardt, S., Lippmann, M., Thost, V.: Temporalizing rewritable query languages over knowledge bases. In: Web Semantics: Science, Services and Agents on the World Wide Web, 50–70 (2015)

    Google Scholar 

  35. Koeman, V.J., Hindriks, K.V.: Designing a source-level debugger for cognitive agent programs. In: International Conference on Principles and Practice of Multi-Agent Systems, pp. 335–350. Springer, Berlin (2015)

    Google Scholar 

  36. Hindriks, K.V.: Debugging is explaining. In: International Conference on Principles and Practice of Multi-Agent Systems, pp. 31–45. Springer, Berlin (2012)

    Google Scholar 

  37. Agha, G.A.: Actors: a model of concurrent computation in distributed systems. Tech. rep., DTIC Document (1985)

    Google Scholar 

  38. Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. J. Funct. Program. 7(01), 1–72 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  39. Karmani, R.K., Shali, A., Agha, G.: Actor frameworks for the JVM platform: a comparative analysis. In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, pp. 11–20. ACM (2009)

    Google Scholar 

  40. Imam, S., Sarkar, V.: Savina-an actor benchmark suite. In: 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE (2014)

    Google Scholar 

  41. Gaintzarain, J., Lucio, P.: Logical foundations for more expressive declarative temporal logic programming languages. ACM Trans. Comput. Log. (TOCL) 14(4), 28 (2013)

    MathSciNet  MATH  Google Scholar 

  42. Siebers, P., Aickelin, U.: A first approach on modelling staff proactiveness in retail simulation models. J. Artif. Soc. Soc. Simul. 14(2) (2011). URL: http://jasss.soc.surrey.ac.uk/14/2/2.html

Download references

Author information

Authors and Affiliations

  1. Sheffield Hallam University, Sheffield, UK

    Tony Clark

  2. Tata Consultancy Services Research, Pune, India

    Vinay Kulkarni & Souvik Barat

  3. Middlesex University, London, UK

    Balbir Barn

Authors
  1. Tony Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vinay Kulkarni
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Souvik Barat
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Balbir Barn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tony Clark .

Editor information

Editors and Affiliations

  1. Departamento de Informática y Sistemas, Facultad de Informática, Universidad de Murcia, Murcia, Spain

    Rafael Valencia-García

  2. Departamento de Informática y Sistemas, Facultad de Informática, Universidad de Murcia, Murcia, Spain

    Mario Andrés Paredes-Valverde

  3. Departamento de Informática y Sistemas, Facultad de Informática, Universidad de Murcia, Murcia, Spain

    María del Pilar Salas-Zárate

  4. Division of Research and Postgraduate Studies, Instituto Tecnológico de Orizaba, Orizaba, Veracruz, Mexico

    Giner Alor-Hernández

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Clark, T., Kulkarni, V., Barat, S., Barn, B. (2018). Constructing and Interrogating Actor Histories. In: Valencia-García, R., Paredes-Valverde, M., Salas-Zárate, M., Alor-Hernández, G. (eds) Exploring Intelligent Decision Support Systems. Studies in Computational Intelligence, vol 764. Springer, Cham. https://doi.org/10.1007/978-3-319-74002-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74002-7_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74001-0

  • Online ISBN: 978-3-319-74002-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation