Abstract
Every day we use protocols unconsciously during the conversations and the ability to abide by them is an important part of our communication skills (e.g. questioning the question is neither contributing to the conversation nor polite). The protocols can support dialogue to achieve the goal of the conversation (e.g. a compromise, a persuasion). In the paper, we focus on argumentative dialogues and we propose a description language for an argumentative dialogue game in which players can perform actions representing speech acts like claim, question, scold etc. We introduce a Game with Emotional Reasoning Description Language (GERDL), since some of the speech acts introduced by us have an emotional undertow. It will be used in our system for semantic verification of properties of dialogue games with emotional reasoning. This framework is based on interpreted system designed for a dialogue protocol in which participants have emotional skills. To represent the verified properties of the protocol we use the extension of CTL logic with commitment and emotion modalities (formulated in [8]).
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
References
Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
Bentahar, J., Ch. Meyer, J.-J., Wan, W.: Model checking agent communication. In: Dastani, M., Hindriks, K.V., Charles Meyer, J.-J. (eds.) Specification and Verification of Multi-agent Systems, pp. 67–102. Springer US, Boston (2010). doi:10.1007/978-1-4419-6984-2_3
Budzynska, K., Kacprzak, M., Sawicka, A., Yaskorska, O.: Dialogue Dynamics: Formal Approach. IFS PAS (2015)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
Emerson, E.A., Clarke, E.: Using branching-time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241–266 (1982)
Jones, A.V., Lomuscio, A.: Distributed BDD-based BMC for the verification of multi-agent systems. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010) Toronto, Canada, 2010, vol. 1–3, pp. 675–682. IFAAMAS, Richland (2010)
Kacprzak, M., Dziubinski, M., Budzynska, K.: Strategies in dialogues: a game-theoretic approach. In: Parsons, S., Oren, N., Reed, C., Cerutti, F. (eds.) Computational Models of Argument - Proceedings of COMMA 2014, Scottish Highlands, UK, 2014, Frontiers in Artificial Intelligence and Applications, vol. 266, pp. 333–344. IOS Press, Amsterdam (2014)
Kacprzak, M., Rzenca, K., Sawicka, A., Zbrzezny, A., Zukowska, K.: A formal model of an argumentative dialogue in the management of emotions, Poznan Reasoning Week, L&C 2016/14th ArgDiap/QuestPro 2016 Abstracts (2016). http://poznanreasoningweek.files.wordpress.com/2016/09/prw2016abstracts.pdf. Accessed 05 Mar 2017
Kacprzak, M., Sawicka, A.: Identification of formal fallacies in a natural dialogue. Fundam. Inform. 135(4), 403–417 (2014)
Kacprzak, M., Sawicka, A., Zbrzezny, A.: Dialogue systems: modeling and prediction of their dynamics. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A.E., Snasel, V., Alimi, A.M. (eds.) Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015. AISC, vol. 427, pp. 421–431. Springer, Cham (2016). doi:10.1007/978-3-319-29504-6_40
Kacprzak, M., Sawicka, A., Zbrzezny, A.: Towards model checking argumentative dialogues with emotional reasoning (extended abstract). In: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, pp. 257–268 (2016)
Kacprzak, M., Yaskorska, O.: Dialogue protocols for formal fallacies. Argumentation 28(3), 349–369 (2014)
Lomuscio, A., Qu, H., Raimondi, F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 19(1), 9–30 (2017)
Meski, A., Penczek, W., Szreter, M., Wozna-Szczesniak, B., Zbrzezny, A.: BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance. Auton. Agents Multi-agent Syst. 28(4), 558–604 (2014)
Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundam. Inform. 55(2), 167–185 (2003)
Penczek, W., Wozna-Szczesniak, B., Zbrzezny, A.: Towards SAT-based BMC for LTLK over interleaved interpreted systems. Fundam. Inform. 119(3–4), 373–392 (2012)
Prakken, H.: Models of persuasion dialogue. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 281–300. Springer, Heidelberg (2009). doi:10.1007/978-0-387-98197-0_14
Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. J. Appl. Logic 5(2), 235–251 (2007). Logic-Based Agent Verification
Visser, J., Bex, F., Reed, C., Garssen, B.: Correspondence between the pragma-dialectical discussion model and the argument interchange format. Stud. Logic, Gramm. Rhetor. 23(36), 189–224 (2011)
Wells, S., Reed, C.A.: A domain specific language for describing diverse systems of dialogue. J. Appl. Logic 10(4), 309–329 (2012)
Yaskorska, O., Budzynska, K., Kacprzak, M.: Proving propositional tautologies in a natural dialogue. Fundam. Inform. 128(1–2), 239–253 (2013)
Zbrzezny, A.M., Woźna-Szcześniak, B., Zbrzezny, A.: SMT-based bounded model checking for weighted epistemic ECTL. In: Pereira, F., Machado, P., Costa, E., Cardoso, A. (eds.) EPIA 2015. LNCS (LNAI), vol. 9273, pp. 651–657. Springer, Cham (2015). doi:10.1007/978-3-319-23485-4_65
Zbrzezny, A.M., Zbrzezny, A., Raimondi, F.: Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers. In: Jezic, G., Chen-Burger, Y.-H.J., Howlett, R.J., Jain, L.C. (eds.) Agent and Multi-Agent Systems: Technology and Applications. SIST, vol. 58, pp. 45–55. Springer, Cham (2016). doi:10.1007/978-3-319-39883-9_4
Acknowledgment
The research by Kacprzak have been carried out within the framework of the work S/W/1/2014 and funded by Ministry of Science and Higher Education.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Sawicka, A., Kacprzak, M., Zbrzezny, A. (2017). A Novel Description Language for Two-Agent Dialogue Games. In: Polkowski, L., et al. Rough Sets. IJCRS 2017. Lecture Notes in Computer Science(), vol 10314. Springer, Cham. https://doi.org/10.1007/978-3-319-60840-2_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-60840-2_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-60839-6
Online ISBN: 978-3-319-60840-2
eBook Packages: Computer ScienceComputer Science (R0)