2018 | 27 | 4 Special Issue on Logic, Cognition, Argumentation. Guest Editors: Mariusz Urbański, Michiel van Lambalgen and Marcin Koszowy | 471–490
Article title

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

Title variants
Languages of publication
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.
  • Faculty of Computer Science Białystok University of Technology, Poland
  • Intelligent Systems, Algorithms and Mathematics Chair Polish-Japanese Academy of Information Technology in Warsaw, Poland
  • Faculty of Mathematics and Natural Science Jan Długosz University in Czestochowa, Poland
  • Faculty of Psychology SWPS University of Social Sciences and Humanities in Warsaw, Poland
  • Faculty of Psychology SWPS University of Social Sciences and Humanities in Warsaw, Poland
  • 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.
Document Type
Publication order reference
YADDA identifier
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.