A Formal Model of an Argumentative Dialogue in the Management of Emotions
Keywords, argumentative dialogue, emotions, protocol, formal model
AbstractIn 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.
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.
How to Cite
Number of views and downloads: 451
Number of citations: 1