Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

A Formal Model of an Argumentative Dialogue in the Management of Emotions
  • Home
  • /
  • A Formal Model of an Argumentative Dialogue in the Management of Emotions
  1. Home /
  2. Archives /
  3. Vol. 27 No. 4 (2018): December /
  4. Articles

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

Authors

  • Magdalena Kacprzak Bialystok University of Technology
  • Anna Sawicka Polish-Japanese Academy of Information Technology in Warsaw
  • Andrzej Zbrzezny Jan Długosz University in Częstochowa
  • Krzysztof Rzeńca SWPS University of Social Sciences and Humanities in Warsaw
  • Katarzyna Żukowska SWPS University of Social Sciences and Humanities in Warsaw

DOI:

https://doi.org/10.12775/LLP.2017.024

Keywords

, argumentative dialogue, emotions, protocol, formal model

Abstract

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.

Author Biographies

Magdalena Kacprzak, Bialystok University of Technology

Faculty of Computer Science

Anna Sawicka, Polish-Japanese Academy of Information Technology in Warsaw

Intelligent Systems, Algorithms and Mathematics Chair

Andrzej Zbrzezny, Jan Długosz University in Częstochowa

Faculty of Mathematics and Natural Science

Krzysztof Rzeńca, SWPS University of Social Sciences and Humanities in Warsaw

Faculty of Psychology

Katarzyna Żukowska, SWPS University of Social Sciences and Humanities in Warsaw

Faculty of Psychology

References

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.

Logic and Logical Philosophy

Downloads

  • PDF

Published

2017-08-09

How to Cite

1.
KACPRZAK, Magdalena, SAWICKA, Anna, ZBRZEZNY, Andrzej, RZEŃCA, Krzysztof and ŻUKOWSKA, Katarzyna. A Formal Model of an Argumentative Dialogue in the Management of Emotions. Logic and Logical Philosophy. Online. 9 August 2017. Vol. 27, no. 4, pp. 471-490. [Accessed 4 July 2025]. DOI 10.12775/LLP.2017.024.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 27 No. 4 (2018): December

Section

Articles

Stats

Number of views and downloads: 757
Number of citations: 1

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

, argumentative dialogue, emotions, protocol, formal model
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop