Abstract
The paper presents a formal system for describing dialogues with emotional reasoning. This system has been proposed in order to develop methods of analyzing and searching for dialogue participant’s optimal strategy. The methodology used draws from a tradition of dialogue in games and game theory. Moreover the formal mathematical model is applied towards designing and implementation of a software tool. The aim of this tool is to improve communication skills during parent-child dialogues, and will be an invaluable support for learning how to talk to children. Developed formalism will also constitute the basis for semantic verification dialogue protocols (e.g. model checking).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adam, C., Gaudou, B., Herzig, A., Longin, D.: OCC’s emotions: a formalization in a BDI logic. In: Euzenat, J., Domingue, J. (eds.) AIMSA 2006. LNCS, vol. 4183, pp. 24–32. Springer, Heidelberg (2006). doi:10.1007/11861461_5
Black, E., Hunter, A.: An inquiry dialogue system. Auton. Agent. Multi-Agent Syst. 19(2), 173–209 (2009)
Budzyńska, K., Kacprzak, M., Rembelski, P.: Perseus. Software for analyzing persuasion process. Fundam. Inf. 93(1–3), 65–79 (2009)
Carofiglio, V., De Rosis, F.: In favour of cognitive models of emotions. Virtual Soc. Agents 171 (2005)
Castelfranchi, C.: Affective appraisal versus cognitive evaluation in social emotions and interactions. In: Paiva, A. (ed.) IWAI 1999. LNCS, vol. 1814, pp. 76–106. Springer, Heidelberg (2000). doi:10.1007/10720296_7
Cerutti, F., Tintarev, N., Oren, N.: Formal arguments, preferences, and natural language interfaces to humans: an empirical evaluation. In: ECAI (2014)
De Rosis, F., Pelachaud, C., Poggi, I., Carofiglio, V., De Carolis, B.: From Greta’s mind to her face: modelling the dynamics of affective states in a conversational embodied agent. Int. J. Hum.-Comput. Stud. 59(1), 81–118 (2003)
Devereux, J., Reed, C.: Strategic argumentation in rigorous persuasion dialogue. In: McBurney, P., Rahwan, I., Parsons, S., Maudet, N. (eds.) ArgMAS 2009. LNCS (LNAI), vol. 6057, pp. 94–113. Springer, Heidelberg (2010). doi:10.1007/978-3-642-12805-9_6
Dziubiński, M., Goyal, S.: Network design and defence. Games Econ. Behav. 79(1), 30–43 (2013)
Ekman, P.: An argument for basic emotions. Cognit. Emot. 6, 169–200 (1992)
Emele, D.C., Guerin, F., Norman, T.J., Edwards, P.: A framework for learning argumentation strategies. In: Proceedings of the Third International Workshop on Argumentation in Multi-agent Systems, pp. 151–154 (2006)
Hamblin, C.L.: Fallacies. Methuen and Co. Ltd., London (1970)
Hussain, A., Toni, F.: Bilateral agent negotiation with information-seeking. In: Proceedings of the 5th European Workshop on Multi-Agent Systems (2007)
Jaques, P.A., Viccari, R.M.: A BDI approach to infer student’s emotions. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS, vol. 3315, pp. 901–911. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30498-2_90
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, May 10–14, 2010, vol. 1–3, pp. 675–682. IFAAMAS (2010)
Kacprzak, M., Budzynska, K.: Reasoning about dialogical strategies. In: Graña, M., Toro, C., Howlett, R.J., Jain, L.C. (eds.) KES 2012. LNCS (LNAI), vol. 7828, pp. 171–184. Springer, Heidelberg (2013). doi:10.1007/978-3-642-37343-5_18
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, Atholl Palace Hotel, Scottish Highlands, UK, September 9–12, 2014, Frontiers in Artificial Intelligence and Applications, vol. 266, pp. 333–344. IOS Press (2014)
Kacprzak, M., Rzenca, K., Sawicka, A.Z.A., Zukowska, K.: A formal model of an argumentative dialogue in the management of emotions. In: Poznan Reasoning Week, L&C 2016/14th ArgDiap/QuestPro 2016 Abstracts (2016)
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 verification of dialogue protocols: a mathematical model. LNAI 9693, 329–339 (2016)
Kacprzak, M., Yaskorska, O.: Dialogue protocols for formal fallacies. Argumentation 28(3), 349–369 (2014)
Matt, P.-A., Toni, F.: A game-theoretic measure of argument strength for abstract argumentation. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 285–297. Springer, Heidelberg (2008). doi:10.1007/978-3-540-87803-2_24
McBurney, P., Parsons, S.: Dialogue games for agent argumentation. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 261–280. Springer US, New york (2009). doi:10.1007/978-0-387-98197-0_13
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)
Meyer, J.-J.C.: Reasoning about emotional agents. In: Proceedings of the 16th European Conference on Artificial Intelligence, pp. 129–133. IOS Press (2004)
Nawwab, F.S., Dunne, P.E., Bench-Capon, T.: Exploring the role of emotions in rational decision making. In: Proceedings of COMMA (2010)
Oatley, K.: Best Laid Schemes: The Psychology of the Emotions. Cambridge University Press, Cambridge (1992)
Ochs, M., Sadek, D., Pelachaud, C.: A formal model of emotions for an empathic rational dialog agent. Auton. Agents Multi-agent Syst. 24(3), 410–440 (2012)
Ortony, A., Clore, G.L., Collins, A.: The Cognitive Structure of Emotions. Cambridge University Press, United Kingdom (1998)
Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundam. Inform. 55(2), 167–185 (2003)
Prakken, H.: Models of persuasion dialogue. In: Simari, G., Rahwan, I. (eds.) Argumentation in AI, pp. 281–300. Springer US, New York (2009). doi:10.1007/978-0-387-98197-0_14
Procaccia, A.D., Rosenschein, J.S.: Extensive-form argumentation games. In: Gleizes, M.P., Kaminka, G.A., Nowé, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) EUMAS, pp. 312–322 (2005)
Rahwan, I., Larson, K.: Argumentation and game theory. In: Simari, G., Rahwan, I. (eds.) Argumentation in AI, pp. 321–339. Springer US, New york (2009). doi:10.1007/978-0-387-98197-0_16
Rahwan, I., Larson, K., Tohme, F.: A characterisation of strategy-proofness for grounded argumentation semantics. In: Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI) (2009)
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)
Riveret, R., Prakken, H., Rotolo, A., Sartor, G.: Heuristics in argumentation: a game theory investigation. In: Besnard, P., Doutre, S., Hunter, A. (eds.) COMMA, Frontiers in Artificial Intelligence and Applications, vol. 172, pp. 324–335. IOS Press (2008)
Rosenfeld, A., Kraus, S.: Strategical argumentative agent for human persuasion. In Proceedings of European Conference on Artificial Intelligence (2016)
Sawicka, A., Kacprzak, M., Zbrzezny, A.: A novel description language for two-agent dialogue games. In: Proceedings of IJCRS 2017, Olsztyn, Poland, 3–7 July 2017 (This issue)
Scherer, K.R., Schorr, A., Johnstone, T.: Appraisal Processes in Emotion: Theory, Methods, Research. Oxford University Press, Oxford (2001)
Silveira, R., da Silva Bitencourt, G.K., Gelaim, T., Marchi, J., de la Prieta, F.: Towards a model of open and reliable cognitive multiagent systems: dealing with trust and emotions. ADCAIJ: Adv. Distrib. Comput. Artif. Intell. J. 4(3) (2016)
Walton, D.N.: Logical Dialogue-Games and Fallacies. University Press of America, Lanham (1984)
Yuan, T., Moore, D., Grierson, A.: A conversational agent system as a test-bed to study the philosophical model DC. In: Proceedings of CMNA 2003 (2003)
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
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
Kacprzak, M. (2017). Persuasive Strategies in Dialogue Games with Emotional Reasoning. 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_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-60840-2_32
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)