Abstract
A problem in many formalisms for reasoning about multi-agent systems, like ATL or PDL, is the inability to express that a certain complex action (as in PDL), choice or strategy (as in ATL) is performed by an agent. However, in so called STIT-logics, this is exactly the main operator: seeing to it that a certain condition is achieved. Here we present an extension of ATL, introducing ideas from STIT-theory, that can express that a group of agents A perform a certain strategy. As a demonstration of the applicability of the formalism, we show how it sheds new light on the problem of modelling ‘uniform strategies’ in epistemic versions of ATL.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS 1997), pp. 100–109. IEEE Computer Society, Los Alamitos (1997)
Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. Theoria 54, 175–199 (1988)
Belnap, N., Perloff, M.: Seeing to it that: A canonical form for agentives. In: Kyburg, H.E., Loui, R.P., Carlson, G.N. (eds.) Knowledge Representation and Defeasible Reasoning, pp. 167–190. Kluwer, Boston (1990)
Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford (2001)
Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)
Herzig, A., Troquard, N.: Knowing How to Play: Uniform Choices in Logics of Agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006), Hakodate, Japan, pp. 209–216. ACM Press, New York (2006)
Müller, T.: On the formal structure of continuous action. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, vol. 5, pp. 191–209. King’s College Publications (2005)
Jamroga, W., Ågotnes, T.: Constructive knowledge: what agents can achieve under incomplete information. Technical Report IfI-05-10, Institute of Computer Science, Clausthal University of Technology, Clausthal-Zellerfeld (2005)
Broersen, J., Herzig, A., Troquard, N.: From coalition logic to stit. In: Proceedings LCMAS 2005. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2005)
Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese 139(2), 241–280 (2004)
Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)
Jamroga, W., Hoek, W.v.d.: Agents that know how to play. Fundamenta Informaticae 63(2) (2004)
Hoek, W.v.d., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75(1), 125–157 (2003)
Neumann, J.v., Morgenstern, O.: Theory of games and economic behaviour. Princeton University Press, Princeton (1944)
Chisholm, R.: Contrary-to-duty imperatives and deontic logic. Analysis 24, 33–36 (1963)
Wansing, H.: Obligations, authorities, and history dependence. In: Wansing, H. (ed.) Essays on Non-classical Logic, pp. 247–258. World Scientific, Singapore (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broersen, J., Herzig, A., Troquard, N. (2006). A STIT-Extension of ATL. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_8
Download citation
DOI: https://doi.org/10.1007/11853886_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-39625-3
Online ISBN: 978-3-540-39627-7
eBook Packages: Computer ScienceComputer Science (R0)