Abstract
The paper proposes an extension of the modal logic \({\cal AG}_n\) with operators for reasoning about different types of strategies which agents may adopt in order to win a dialogue game. We model agent communication using the paradigm of formal systems of dialogues and in particular, a system proposed by Prakken. In the paper, the traditional notion of a winning strategy is extended with a notion of a strategy giving a chance for success and a notion of a strategy giving a particular degree of chances for victory. Then, using the framework of Alternating-time Temporal Logic (ATL) we specify \({\cal AG}_n\) operators which allow the investigation of the dialogical strategies.
Keywords
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
Foundation for Intelligent Physical Agents (FIPA). FIPA communicative act library specification (2002), http://www.fipa.org
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
Black, E., Hunter, A.: An inquiry dialogue system. Autonomous Agents and Multi-Agent Systems 19(2), 173–209 (2009)
Budzyńska, K., Kacprzak, M.: A logic for reasoning about persuasion. Fundamenta Informaticae 85, 51–65 (2008)
Budzynska, K., Kacprzak, M.: Formal framework for analysis of agent persuasion dialogue games. In: Proc. of CS&P, pp. 85–96 (2010)
Budzyńska, K., Kacprzak, M., Rembelski, P.: Perseus. software for analyzing persuasion process. Fundamenta Informaticae 93(1-3), 65–79 (2009)
Bulling, N., Dix, J., Jamroga, W.: Model checking logics of strategic ability: Complexity. In: Specification and Verification of Multi-Agent Systems, pp. 125–159 (2010)
Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63(2-3), 185–219 (2004)
Larson, K., Rahwan, I.: Welfare properties of argumentation-based semantics. In: Proceedings of the 2nd COMSOC (2008)
Maudet, N., Chaib-draa, B.: Commitment-based and dialogue-game based protocols: new trends in agent communication languages. The Knowledge Engineering Review 17(2), 157–179 (2002)
McBurney, P., Parsons, S.: Dialogue games in multi-agent systems. Informal Logic 22(3), 257–274 (2002)
Prakken, H.: Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation (15), 1009–1040 (2005)
Prakken, H.: Formal systems for persuasion dialogue. The Knowledge Engineering Review 21, 163–188 (2006)
Rahwan, I., Larson, K., Tohme, F.: A characterisation of strategy-proofness for grounded argumentation semantics. In: Proceedings of the 21st IJCAI (2009)
Sklar, E., Parsons, S.: Towards the application of argumentation-based dialogues for education. In: Proceedings of AAMAS 2004, vol. 3, pp.1420–1421 (2004)
Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of N.Y. Press (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kacprzak, M., Budzynska, K. (2013). Reasoning about Dialogical Strategies. In: Graña, M., Toro, C., Howlett, R.J., Jain, L.C. (eds) Knowledge Engineering, Machine Learning and Lattice Computing with Applications. KES 2012. Lecture Notes in Computer Science(), vol 7828. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37343-5_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-37343-5_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37342-8
Online ISBN: 978-3-642-37343-5
eBook Packages: Computer ScienceComputer Science (R0)