A Formal Model of an Argumentative Dialogue in the Management of Emotions

Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny, Krzysztof Rzeńca, Katarzyna Żukowska

DOI: http://dx.doi.org/10.12775/LLP.2017.024


In this research, we focus on designing an interactive tool which will be used as an aid in learning how to manage emotions during argumentative dialogues. To this end, a collection of examples illustrating the typical human’s reactions was collated and used to explain mechanisms that appear in dialogues. We present a theoretical background of the project, i.e., a formal system to represent the change of intensity of emotions in argumentative dialogues. We rely here on persuasive dialogue games. A formal language for expressing properties of protocols for dialogues with emotional reasoning is proposed. We suggest that awareness of emotions improves communication between parents and children, and that it is an important element of both raising communication skills in adults and development of communication skills in children.


: argumentative dialogue; emotions; protocol; formal model

Full Text:



Bartneck, C., “Integrating the OCC model of emotions in embodied characters”, 2002.

Becker, C., S. Kopp, and I. Wachsmuth, “Simulating the emotion dynamics of a multimodal conversational agent”, pages 154–165 in Workshop on Affective Dialogue Systems, Lecture Notes in Computer Science, Springer, 2004. DOI: 10.1007/978-3-540-24842-2_15

Becker-Asano, C., WASABI: Affect Simulation for Agents with Believable Interactivity.

Ekman, P., and W.V. Freisen, “Constants across cultures in the face of emotion”, Journal of Personality and Social Psychology 17, 2 (1971): 124–129. DOI: 10.1037/h0030377

Ekman, P., Darwin and Facial Expression, London: Academic Press, 1973.

Ekman, P., “An argument for basic emotions”, Cognition and Emotion 6 (1992): 169–200.

El-Nasr, M.S., J. Yen, and T.R. Ioerger, “Flame – fuzzy logic adaptive model of emotions”, Autonomous Agents and Multi-Agent Systems 3, 3 (2000): 219–257.

Emerson, E.A., and E. Clarke, “Using branching-time temporal logic to synthesize synchronization skeletons”, Science of Computer Programming 2, 3 (1982): 241–266. DOI: 10.1016/0167-6423(83)90017-5

Faber, A., and E. Mazlish, How to Talk So Kids Will Listen and Listen So Kids Will Talk, New York: Scribner, 2012.

Fagin, R., J.Y. Halpern, Y. Moses, and M.Y. Vardi, Reasoning about Knowledge, MIT Press, 1995.

Frijda, N.H., The Emotions, Cambridge: Cambridge University Press, 1986.

Goleman, D., Emotional Intelligence, Bantam Books, 1995.

Hamblin, C., Fallacies, Methuen, London, 1970.

Jones, A.V., and A. Lomuscio, “Distributed BDD-based BMC for the verification of multi-agent systems”, pages 675–682 in W. van der Hoek, G.A. Kaminka, Y. Lespérance, M. Luck, and S. Sen (eds.), 9th International Conference on Autonomous Agents and Multiagent Systems (AA-MAS 2010), Toronto, Canada, May 10–14, 2010, Volume 1–3, IFAAMAS, 2010.

Kacprzak, M., M. Dziubinski, and K. Budzynska, “Strategies in dialogues: A game-theoretic approach”, pages 333–344 in S. Parsons, N. Oren, C. Reed, and F. Cerutti (eds.), Computational Models of Argument – Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9–12, 2014, vol. 266 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2014.

Kacprzak, M., and A. Sawicka, “Identification of formal fallacies in a natural dialogue”, Fundamenta Informaticae 135, 4 (2014): 403–417.

Kacprzak, M., and O. Yaskorska, “Dialogue protocols for formal fallacies”, Argumentation 28, 3 (2014): 349–369. DOI: 10.1007/s10503-014-9324-4

Lazarus, R.S., Emotion and Adaptation, New York: Oxford University Press, 1991.

Lomuscio, A., W. Penczek, and H. Qu, “Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems”, pages 659–666 in W. van der Hoek at el. (eds.), 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10–14, 2010, Volume 1–3, IFAAMAS, 2010.

Marsella, S.C., and J. Gratch, “EMA: A computational model of appraisal dynamics”, in Agent Construction and Emotions: Modeling the Cognitive Antecedents and Consequences of Emotion, 2006.

Nawwab, F.S., P.E. Dunne, and T. Bench-Capon, “Exploring the role of emotions in rational decision making”, in Proc. of COMMA, 2010.

Penczek, W., and A. Lomuscio, “Verifying epistemic properties of multiagent systems via bounded model checking”, Fundam. Inform. 55, 2 (2003): 167–185.

Prakken, H., “Formal systems for persuasion dialogue”, The Knowledge Engineering Review 21, 2 (2006): 163–188. DOI: 10.1017/S0269888906000865

Prakken, H., “Models of persuasion dialogue”, pages 281–300 in Argumentation in AI, Springer, 2009. DOI: 10.1007/978-0-387-98197-0_14

Raimondi, F., and A. Lomuscio, “Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams”, Journal of Applied Logic 5, 2 (2007): 235–251. DOI: 10.1016/j.jal.2005.12.010

Silveira, R., G. Kleine da Silva Bitencourt, T.Â. Gelaim, J. Marchi, and F. de la Prieta, “Towards a model of open and reliable cognitive multiagent systems: Dealing with trust and emotions”, ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal 4, 3 (2016). DOI: 10.14201/ADCAIJ2015435786

Smith, C.A., K.N. Haynes, R.S. Lazarus, and L.K. Pope, “Patterns of cognitive appraisal in emotion”, Journal of Personality and Social Psychology 65 (1993): 916–929.

van der Hoek, W., and M. Wooldridge, “Model checking knowledge and time”, pages 95–111 in D. Bosnacki and S. Leue (eds.), Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11–13, 2002, Proceedings, vol. 2318 of Lecture Notes in Computer Science,

Springer, 2002. DOI: 10.1007/3-540-46017-9_9

Walton, D.N., and E.C.W. Krabbe, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, State University of N.Y. Press, 1995.

Yaskorska, O., K. Budzynska, and M. Kacprzak, “Proving propositional tautologies in a natural dialogue”, Fundamenta Informaticae 128, 1–2 (2013): 239–253.

Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism