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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
References
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)
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)
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)
Fishwick, P.A.: Computer simulation: growth through extension. Trans. Soc. Comput. Simul. 14(1), 13–24 (1997)
McDermott, T., Rouse, W., Goodman, S., Loper, M.: Multi-level modeling of complex sociotechnical systems. Proc. Comput. Sci. 16, 1132–1141 (2013)
Clark, T., Kulkarni, V., Barat, S., Barn, B.: Sense-making in a complex and complicated world. IBM Syst. J. 42(3), 462–483 (2003)
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
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
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
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
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
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)
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)
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
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)
Hewitt, C.: Actor model of computation: scalable robust information systems. arXiv preprint arXiv:1008.1459 (2010)
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)
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)
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)
Singh, D., Padgham, L., Logan, B.: Integrating BDI agents with agent-based simulation platforms. Auton. Agent. Multi-Agent Syst. 30(6), 1050–1071 (2016)
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)
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)
Sukthankar, G., Sycara, K.: Simultaneous team assignment and behavior recognition from spatio-temporal agent traces. AAAI 6, 716–721 (2006)
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)
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
Bulling, N., Van der Hoek, W.: Preface: special issue on logical aspects of multi-agent systems. Stud. Log. (Special Issue), 2016 (2016)
Winikoff, M., Cranefield, S.: On the testability of BDI agent systems. J. Artif. Intell. Res. (JAIR) 51, 71–131 (2014)
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)
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)
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)
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)
Kruse, R., Steinbrecher, M., Moewes, C.: Temporal pattern mining. In: 2010 International Conference on Signals and Electronic Systems (ICSES), pp. 3–8. IEEE (2010)
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)
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)
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)
Hindriks, K.V.: Debugging is explaining. In: International Conference on Principles and Practice of Multi-Agent Systems, pp. 31–45. Springer, Berlin (2012)
Agha, G.A.: Actors: a model of concurrent computation in distributed systems. Tech. rep., DTIC Document (1985)
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)
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)
Imam, S., Sarkar, V.: Savina-an actor benchmark suite. In: 4th International Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE (2014)
Gaintzarain, J., Lucio, P.: Logical foundations for more expressive declarative temporal logic programming languages. ACM Trans. Comput. Log. (TOCL) 14(4), 28 (2013)
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
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
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)