Abstract
In this paper we present a logic to provide a framework for the formal specification of multiagent real-time systems which allows explicit reasoning about the actions of agents, the nondeterministic model of interaction between agents and environment, the cooperation and competition of agents and the reaction time limits of a system. The logic combines Propositional Dynamic Logic PDL and Alternating-time Temporal Logic ATL and extends the formalism with reaction time constraints. We introduce a multiagent system abstract model and show how the logic can be used to specify the model properties.
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.
References
Jenings, N., Wooldridge, M.: Intelligent Agents. In: Weiss, G. (ed.) Multiagent Systems, pp. 377–421. MIT Press, Cambridge (2001)
Jenings, N., Wooldridge, M.: Applications of intelligent agents (2000)
Parunak, H.D.: Industrial and Practical Application of DAI. In: Weiss, G. (ed.) Multiagent Systems, pp. 377–421. MIT Press, Cambridge (2001)
Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics (B), vol. B, pp. 995–1072. North-Holland Pub. Co., Amsterdam (1990)
van Langevelde, I., Philipsen, A., Treur, J.: Formal specification of compositional architectures. In: ECAI 1992. Proceedings of the 10th European conference on Artificial intelligence, New York, NY, USA, pp. 272–276. John Wiley & Sons, Inc., Chichester (1992)
Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling multi-agent systems in a compositional formal framework. Int. Journal of Cooperative Information Systems 6(1), 67–94 (1997)
Fisher, M.: A survey of Concurrent MetateM - the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Spivey, J.M.: The Z notation: a reference manual. Prentice Hall International (UK) Ltd., Hertfordshire, UK (1992)
d’Inverno, M., Luck, M.: Understanding autonomous interaction. In: ECAI 1996: European Conference on Artificial Intelligence, pp. 529–533 (1996)
Pauly, M.: Logical for Social Software. PhD thesis, University of Amsterdam (2001)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(1), 672–713 (2002)
van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75(1), 125–157 (2003)
Pauly, M., Wooldridge, M.: Logic for mechanism design — a manifesto. In: GTDT-2003: Proceedings of the 2003 Workshop on Game Theory and Decision Theory in Agent Systems (2003)
Ryan, M., Schobbens, P.-Y.: Agents and roles: refinement in alternating-time temporal logic. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 100–114. Springer, Heidelberg (2002)
Agotnes, T., van der Hoek, W., Wooldridge, M.: On the logic of coalitional games. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 153–160. ACM Press, New York (2006)
Agotnes, T., van der Hoek, W., Wooldridge, M.: Temporal qualitative coalitional games. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 160–167. ACM Press, New York (2006)
Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: AAMAS 2006. Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 185–192. ACM Press, New York (2006)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. SIGACT News 32(1), 66–69 (2001)
Bugaychenko, D.Y., Soloviev, I.P.: Abstract architecture of an inteligent agent. Software Enginering 1, 36–67 (2005)
Laroussinie, F., Schnoebelen, P., Turuani, M.: On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci. 297(1-3), 297–315 (2003)
Somenzi, F.: CUDD: Colorado University Decision Diagram package, http://vlsi.colorado.edu/fabio/CUDD/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bugaychenko, D., Soloviev, I. (2007). MASL: A Logic for the Specification of Multiagent Real-Time Systems. In: Burkhard, HD., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds) Multi-Agent Systems and Applications V. CEEMAS 2007. Lecture Notes in Computer Science(), vol 4696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75254-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-75254-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75253-0
Online ISBN: 978-3-540-75254-7
eBook Packages: Computer ScienceComputer Science (R0)