Towards Encoding of the Transition Relation in Dialogue Games Model Checking

Anna Sawicka , Magdalena Kacprzak , Andrzej Zbrzezny


We can understand a protocol as a set of rules used by the communicating entities i.e. people or computers. These rules specify allowed interactions between them. Every day people use protocols unconsciously during their conversations since they help to achieve the goal of the conversation (e.g. a compromise, a persuasion). In the paper, we focus on argumentative dialogues in which players can perform actions representing speech acts like claim, question, scold etc. Since we consider dialogues which have an emotional undertow we want to design a system for semantic verification of properties of dialogue games with emotional reasoning. This framework is based on interpreted systems designed for a dialogue protocol in which participants have emotional skills. The GERDL language is used for a dialogue game specification. We present the idea of encoding rules describing the dialogue game given in this language. We want to verify some properties of dialogue games and we focus on the reachability property that can take into account emotions and commitments of players.
Author Anna Sawicka
Anna Sawicka,,
, Magdalena Kacprzak (FCS / DTCS)
Magdalena Kacprzak,,
- Department of Theoretical Computer Science
, Andrzej Zbrzezny
Andrzej Zbrzezny,,
Journal seriesFundamenta Informaticae, ISSN 0169-2968, e-ISSN 1875-8681, (N/A 70 pkt)
Issue year2019
Publication size in sheets0.8
Keywords in Englishdialogue game, description language, dialogue protocol, emotions
ASJC Classification1703 Computational Theory and Mathematics; 1710 Information Systems; 2602 Algebra and Number Theory; 2614 Theoretical Computer Science
Internal identifierROC 19-20
Languageen angielski
Score (nominal)70
Score sourcejournalList
ScoreMinisterial score = 70.0, 27-03-2020, ArticleFromJournal
Publication indicators Scopus SNIP (Source Normalised Impact per Paper): 2018 = 0.821; WoS Impact Factor: 2018 = 1.204 (2) - 2018=0.83 (5)
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?