Abstract
In this paper we introduce a new approach for multi-agent simulation and statistical model checking that allows the use of very generic logical models based on the well-established situation calculus to describe the behavior of agents in the context of their environment. A consequent logic-based framework is achieved by combining the situation calculus with a first order version of bounded linear time logic (BLTL) as a property specification language. This creates a much more expressive and flexible modeling-verification workflow than existing solutions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46–57. IEEE (1977)
Wald, A., et al.: Sequential tests of statistical hypotheses. Annals of Mathematical Statistics 16, 117–186 (1945)
Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: An overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122–135. Springer, Heidelberg (2010)
Younes, H.L.S., Simmons, R.G.: Probabilistic verification of discrete event systems using acceptance sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223–235. Springer, Heidelberg (2002)
Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Verifying continuous time markov chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 269–276. Springer, Heidelberg (1996)
Reiter, R.: Knowledge in action: logical foundations for specifying and implementing dynamical systems. MIT Press (2001)
De Giacomo, G., Lespérance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence 121, 109–169 (2000)
De Giacomo, G., Lespérance, Y., Levesque, H.J., Sardina, S.: Indigolog: A high-level programming language for embedded reasoning agents. In: Multi-Agent Programming, pp. 31–72. Springer (2009)
Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K., Balan, G.: Mason: A multiagent simulation environment. Simulation 81, 517–527 (2005)
Levesque, H., Pirri, F., Reiter, R.: Foundations for the situation calculus. Linköping Electronic Articles in Computer and Information Science 3 (1998)
Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence 92, 131–167 (1997)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Kroiß, C. (2014). Simulation and Statistical Model Checking of Logic-Based Multi-Agent System Models. In: Jezic, G., Kusek, M., Lovrek, I., J. Howlett, R., Jain, L. (eds) Agent and Multi-Agent Systems: Technologies and Applications. Advances in Intelligent Systems and Computing, vol 296. Springer, Cham. https://doi.org/10.1007/978-3-319-07650-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-07650-8_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-07649-2
Online ISBN: 978-3-319-07650-8
eBook Packages: EngineeringEngineering (R0)