Abstract
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifiers describe the evolution of a system where each agent has knowledge of other agents’ attitude toward a goal but not of their actions. This result is obtained without introducing standard epistemic operators. The semantics presents a mixture of Tarskian and game-theoretical elements. We apply game-theory to interpret the quantified modalities and to determine which information is available to the agents as well as their reasoning capabilities.
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
R. Alur, T. Henzinger, and O. Kupferman. Alternating-time temporal logic. In de Roever W.-P., L. H., and P. A., editors, Compositionality—The Significant Difference, LNCS 1536, pages 23–60. Springer-Verlag, 1999.
B. Bennett, C. Dixon, M. Fisher, U. Hustadt, E. Franconi, I. Horrocks, and M. De Rijke. Combinations of modal logics. Artificial Intelligence Review, 17(1), 2002.
S. Borgo. Concurrency with partial information. In CIMCA’ 03, to appear, 2003.
J.C. Bradfield. Independence: logics and concurrency. In CSL’00, LNCS 1862, pages 247–261, 2000.
J.C. Bradfield and S.B. Fröschle. On logical and concurrent equivalences. Electronic Notes in Theoretical Computer Science, 52(1), 2002.
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. MIT Press, 1995.
D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.
L. Henkin. Some remarks on infinitely long formulas. In Infinitistic Methods, Pergamon Press, pages 167–183, 1961.
J. Hintikka. Principles of Mathematics Revisited. Cambridge University Press, 1996.
R. Parikh. The logic of games and its applications. Annals of Discrete Mathematics, 24, 1985.
M. Pauly. A Modal Logic for Coalitional Power in Games. J. of Logic and Computation, 12(1):149–166, 2002.
A. Pietarinen. Reasoning about focussed knowledge in multi-agent systems. In Workshop on Cognitive Agents and Multi-Agent Interaction, 2001.
M. J. Wooldridge and N.R. Jennings. Intelligent agents: Theory and practice. Know. Eng. Review, 10(2):115–152, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Borgo, S. (2003). A Multi-agent Modal Language for Concurrency with Non-communicating Agents. In: Mařík, V., Pěchouček, M., Müller, J. (eds) Multi-Agent Systems and Applications III. CEEMAS 2003. Lecture Notes in Computer Science(), vol 2691. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45023-8_6
Download citation
DOI: https://doi.org/10.1007/3-540-45023-8_6
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40450-7
Online ISBN: 978-3-540-45023-8
eBook Packages: Springer Book Archive